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.
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.
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.
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.
Abstract Conflict Driven Learning
V. D'Silva‚ L. Haller and D. Kroening
In Proc. of the Symposium on Principles of Programming Languages. ACM. 2013.