Vijay D'Silva : Publications
[1] |
Contextual Policy Enforcement in Android Programs with Permission Event Graphs Kevin Chen‚ Noah Johnson‚ Vijay D'Silva‚ Shuaifu Dai‚ Tom Magrino‚ Kyle Macnamarra‚ Edward Wu‚ Martin Rinard and Dawn Song In Proc. of the Conference on Networked and Distributed System Security. 2013. |
[2] |
Abstraction of Syntax V. D'Silva and D. Kroening In Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation. Springer−Verlag. 2013. |
[3] |
Abstract Conflict Driven Learning V. D'Silva‚ L. Haller and D. Kroening In Proc. of the Symposium on Principles of Programming Languages. ACM. 2013. |
[4] |
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. |
[5] |
Numeric Bounds Analysis with Conflict−Driven Learning Vijay D'Silva‚ Leopold Haller‚ Daniel Kroening and Michael Tautschnig In TACAS. 2012. |
[6] |
Satisfiability Solvers are Static Analysers V. D'Silva‚ L. Haller and D. Kroening In Proc. of Static Analysis Symposium. Pages 317−333. Springer. 2012. |
[7] |
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 | DOI (10.1007/978-3-642-11319-2_12) | Link |
[8] |
A lazy approach to symmetry reduction Thomas Wahl and Vijay D'Silva In Formal Aspects of Computing. Vol. 22. No. 6. Pages 713−733. 2010. |
[9] |
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 | DOI (10.1007/978-3-642-11957-6) | Download (pdf) |
[10] |
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. |
[11] |
Provably correct on−chip communication: A formal approach to automatic protocol converter synthesis Karin Avnit‚ Vijay D'Silva‚ Arcot Sowmya‚ S. Ramesh and Sri Parameswaran In Transaction on Design Automation of Electronic Systems (TODAES). Vol. 14. No. 2. Pages 1–41. March, 2009. |
[12] |
Tales from Verification History Vijay D'Silva 2009. |
[13] |
A Survey of Automated Techniques for Formal Software Verification Vijay D'Silva‚ Daniel Kroening and Georg Weissenbacher In IEEE Transactions on Computer−Aided Design of Integrated Circuits and Systems (TCAD). Vol. 27. No. 7. Pages 1165−1178. July, 2008. |
[14] |
A Formal Approach To The Protocol Converter Problem Karin Avnit‚ Vijay D'Silva‚ Arcot Sowmya‚ S. Ramesh and Sri Parameswaran In Zebo Peng, editor, Proceedings of the Conference on Design‚ Automation and Test in Europe (DATE). Pages 294–299. ACM/IEEE. March, 2008. |
[15] |
Restructuring Resolution Refutations for Interpolation Vijay D'Silva‚ Daniel Kroening‚ Mitra Purandare and Georg Weissenbacher October, 2008. |
[16] |
Approximation Refinement for Interpolation−Based Model Checking Vijay D'Silva‚ Mitra Purandare and Daniel Kroening In Francesco Logozzo‚ Doron Peled and Lenore D. Zuck, editors, Proceedings of the International Conference on Verification‚ Model Checking‚ and Abstract Interpretation (VMCAI). Vol. 4905 of Lecture Notes in Computer Science. Pages 68–82. Heidelberg‚ Germany. January, 2008. Springer. |
[17] |
Existential abstractions for distributed reactive systems via syntactic transformations Vijay D'Silva‚ Sampada Sonalkar and S. Ramesh In Christoph M. Kirsch and Reinhard Wilhelm, editors, Proceedings of the 7th ACM & IEEE international conference on Embedded software (EMSOFT). Pages 240 − 248. September, 2007. |
[18] |
Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures Vijay D'Silva‚ S. Ramesh and Arcot Sowmya In IEE Proceedings − Computers and Digital Techniques. Vol. 152. No. 1. Pages 20–27. January, 2005. |
[19] |
A Toolset for Modelling and Verification of GALS Systems S. Ramesh‚ Sampada Sonalkar‚ Vijay D'Silva‚ Naveen Chandra and B. Vijayalakshmi In Rajeev Alur and Doron Peled, editors, 16th International Conference on Computer Aided Verification (CAV). Vol. 3114 of Lecture Notes in Computer Science. Pages 506−509. Springer. July, 2004. |
[20] |
Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures Vijay D'Silva‚ S. Ramesh and Arcot Sowmya In Georges Gielen, editor, Proceedings of the Conference on Design Automation and Test in Europe (DATE). Vol. 1. Pages 10390–10395. ACM/IEEE. February, 2004. |
[21] |
Bridge Over Troubled Wrappers: Automated Interface Synthesis Vijay D'Silva‚ S. Ramesh and Arcot Sowmya In Dinesh Sharma and Srimat Chakradar, editors, Proceedings of the 17th International Conference on VLSI Design. Pages 189. Washington‚ DC‚ USA. January, 2004. IEEE Computer Society. Details | BibTeX | DOI (http://doi.ieeecomputersociety.org/10.1109/ICVD.2004.1260923) | Link |