Vijay D'Silva
|
Room Room 446, Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
I am interested in automata theory, logic and program correctness. My current focus is completeness results in the theory of abstract interpretation and termination of program analyzers. In the recent past, I have investigated the use of Craig interpolants in verification. In the slightly more remote past I worked on the design and analysis of synchronous bus protocols.Biography
B. Tech (2002), IIT Bombay. Dipl. Inf. (2006), University of Zurich.
Recent News
Miscellaneous
Two papers co-authored by Oxford Computer Scientists have been accepted to the Tools and Algorithms for the Construction and Analysis of Systems conference
Selected Publications
| Interpolant Strength Vijay D'Silva‚ Daniel Kroening‚ Mitra Purandare and Georg Weissenbacher In Proceedings of the International Conference on Verification‚ Model Checking‚ and Abstract Interpretation (VMCAI). Vol. 5944 of Lecture Notes in Computer Science. Pages 129−145. Springer. January, 2010. Extended version available as technical report. Download slides. Details | BibTeX | Link | DOI (10.1007/978-3-642-11319-2_12) |
| Propositional Interpolation and Abstract Interpretation Vijay D'Silva In Andrew Gordon, editor, Proceedings of the European Symposium on Programming. Vol. 6012/2010 of Lecture Notes in Computer Science. Pages 185−204. Springer.. 2010. Presentation slides. Paper from Springer. Details | BibTeX | Link (pdf) | DOI (10.1007/978-3-642-11957-6) |
| Fixed Points in Multi−Cycle Path Detection Vijay D'Silva and Daniel Kroening In Bashir Al−Hashimi, editor, Proceedings of the Conference on Design Automation and Test in Europe (DATE). IEEE. April, 2009. |
Info
|
Themes |
|
|
Activities |
|
|
Projects |
|
|
Supervisor |
|
