Leopold Haller
|
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 Conflict Driven Learning V. D'Silva‚ L. Haller and D. Kroening In Proc. of the Symposium on Principles of Programming Languages. ACM. 2013. |
| An Abstract Interpretation of DPLL(T) M. Brain‚ V. D'Silva‚ L. Haller‚ A. Griggio and D. Kroening In Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation. 2013. |
| Satisfiability Solvers are Static Analysers V. D'Silva‚ L. Haller and D. Kroening In Proc. of Static Analysis Symposium. Pages 317−333. Springer. 2012. |
Info
|
Themes |
|
|
Activities |
|
|
Supervisor |
|
