Leopold Haller
Themes:
Interests
I am interested in unifying decision procedure and abstract interpretation research. My theoretical interest is in dissolving the conceptual boundary between the two fields. My practical focus is on building decision procedures and program analysers that deeply integrate the generality and speed of abstract interpretation with the efficiency and precision of modern decision procedures.
You can find slides for various talks I've given here.
Biography
I joined Daniel Kroening's group in Oxford in 2008 as a doctoral student. Before that, I was a student at TU Vienna and JKU Linz. My master's and bachelor's projects were supervised, respectively, by Uwe Egly and Armin Biere.
Selected Publications
-
Abstract satisfaction
Vijay D'Silva‚ Leopold Haller and Daniel Kroening
In Proceedings of the 41st annual ACM SIGPLAN−SIGACT symposium on Principles of programming languages. Pages 139–150. ACM. 2014.
Details about Abstract satisfaction | BibTeX data for Abstract satisfaction
-
Deciding floating−point logic with abstract conflict driven clause learning
Martin Brain‚ Vijay D’Silva‚ Alberto Griggio‚ Leopold Haller and Daniel Kroening
In Formal Methods in System Design. Pages 1–33. 2013.
Details about Deciding floating−point logic with abstract conflict driven clause learning | BibTeX data for Deciding floating−point logic with abstract conflict driven clause learning
-
Abstract Conflict Driven Learning
V. D'Silva‚ L. Haller and D. Kroening
In Proc. of the Symposium on Principles of Programming Languages. ACM. 2013.
Details about Abstract Conflict Driven Learning | BibTeX data for Abstract Conflict Driven Learning