@inproceedings{NDSS:2013, title = "Contextual Policy Enforcement in Android Programs with Permission Event Graphs", author = "Kevin Chen and Noah Johnson and Vijay D'Silva and Shuaifu Dai and Tom Magrino and Kyle Macnamarra and Edward Wu and Martin Rinard and Dawn Song", year = "2013", booktitle = "Proc.~of the Conference on Networked and Distributed System Security", } @inproceedings{abstract-syntax.VMCAI:2013, title = "Abstraction of Syntax", author = "V. D'Silva and D. Kroening", year = "2013", booktitle = "Proc.~of the conference on Verification, Model Checking and Abstract Interpretation", publisher = "Springer-Verlag", } @inproceedings{our-work.POPL:2013, title = "Abstract Conflict Driven Learning", author = "V. D'Silva and L. Haller and D. Kroening", year = "2013", booktitle = "Proc.~of the Symposium on Principles of Programming Languages", publisher = "ACM", } @inproceedings{our-work.VMCAI:2013, title = "An Abstract Interpretation of {DPLL(T)}", author = "M. Brain and V. D'Silva and L. Haller and A. Griggio and D. Kroening", year = "2013", booktitle = "Proc.~of the conference on Verification, Model Checking and Abstract Interpretation", } @inproceedings{dhkt.tacas.2012, title = "Numeric Bounds Analysis with Conflict-Driven Learning", author = "Vijay D'Silva and Leopold Haller and Daniel Kroening and Michael Tautschnig", year = "2012", booktitle = "TACAS", url = "https://www.cs.ox.ac.uk/people/leopold.haller/papers/tacas2012.pdf", } @inproceedings{our-work.SAS:2012, title = "Satisfiability Solvers are Static Analysers", author = "V. D'Silva and L. Haller and D. Kroening", year = "2012", booktitle = "Proc.~of Static Analysis Symposium", pages = "317-333", publisher = "Springer", } @article{fac.2010, title = "A lazy approach to symmetry reduction", author = "Thomas Wahl and Vijay D'Silva", year = "2010", journal = "Formal Aspects of Computing", number = "6", pages = "713-733", volume = "22", } @inproceedings{esop2010, title = "Propositional Interpolation and Abstract Interpretation", author = "Vijay D'Silva", year = "2010", booktitle = "Proceedings of the European Symposium on Programming", copyright = "2010", editor = "Andrew Gordon", isbn = "978-3-642-11956-9", issn = "0302-9743 (Print) 1611-3349 (Online)", location = "Cyprus", note = "<a href="http://www.comlab.ox.ac.uk/people/Vijay.DSilva/talks/dsilva_ESOP_2010_talk.pdf">Presentation slides.</a> <a href="http://www.springerlink.com/content/a2j172132410g558/">Paper from Springer.</a>", pages = "185-204", publisher = "Springer.", series = "Lecture Notes in Computer Science", url = "http://www.comlab.ox.ac.uk/people/Vijay.DSilva/papers/dsilva_esop2010_interpolation_abstract_interpretation.pdf", volume = "6012/2010", doi = "10.1007/978-3-642-11957-6", } @inproceedings{dkpwvmcai, title = "Interpolant Strength", author = "Vijay D'Silva and Daniel Kroening and Mitra Purandare and Georg Weissenbacher", year = "2010", booktitle = "Proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)", month = "January", note = "Extended version available as <a href="http://www.inf.ethz.ch/research/disstechreps/techreports/show?serial=652&lang=en">technical report</a>. <a href="http://www.georg.weissenbacher.name/slides/vmcai2010.pdf">Download slides.</a>", pages = "129-145", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://dx.doi.org/10.1007/978-3-642-11319-2_12", volume = "5944", doi = "10.1007/978-3-642-11319-2_12", } @misc{History-Talk, title = "Tales from Verification History", author = "Vijay D'Silva", year = "2009", } @article{dsilva_TODAES09, title = "Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis", author = "Karin Avnit and Vijay D'Silva and Arcot Sowmya and S. Ramesh and Sri Parameswaran", year = "2009", address = "New York, NY, USA", isbn = "1084-4309", journal = "Transaction on Design Automation of Electronic Systems (TODAES)", month = "March", number = "2", pages = "1--41", publisher = "ACM", url = "http://portal.acm.org/citation.cfm?doid=1497561.1497562#", volume = "14", doi = "10.1145/1497561.1497562", } @conference{dsilva_kroening_date09, title = "Fixed Points in Multi-Cycle Path Detection", author = "Vijay D'Silva and Daniel Kroening", year = "2009", booktitle = "Proceedings of the Conference on Design Automation and Test in Europe (DATE)", editor = "Bashir Al-Hashimi", location = "Nice, France", month = "April", publisher = "IEEE", } @unpublished{dsilva_RRR08, title = "Restructuring Resolution Refutations for Interpolation", author = "Vijay D'Silva and Daniel Kroening and Mitra Purandare and Georg Weissenbacher", year = "2008", month = "October", url = "http://www.inf.ethz.ch/personal/vdsilva/publications/dkpw_restructuring_resolution_refutations.pdf", } @conference{dsilva_purandare_kroening_VMCAI08, title = "Approximation Refinement for Interpolation-Based Model Checking", author = "Vijay D'Silva and Mitra Purandare and Daniel Kroening", year = "2008", address = "Heidelberg, Germany", booktitle = "Proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)", copyright = "2008", editor = "Francesco Logozzo and Doron Peled and Lenore D. Zuck", isbn = "978-3-540-78162-2", issn = "0302-9743", month = "January", pages = "68--82", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://www.springerlink.com/content/0vx4605k3w51u873/", volume = "4905", doi = "10.1007/978-3-540-78163-9", } @conference{dsilva_DATE08, title = "A Formal Approach To The Protocol Converter Problem", author = "Karin Avnit and Vijay D'Silva and Arcot Sowmya and S. Ramesh and Sri Parameswaran", year = "2008", booktitle = "Proceedings of the Conference on Design, Automation and Test in Europe (DATE)", editor = "Zebo Peng", isbn = "978-3-9810801-3-1", location = "Munich, Germany", month = "March", pages = "294--299", publisher = "ACM/IEEE", url = "http://portal.acm.org/citation.cfm?id=1403447", doi = "10.1145/1403375.1403447", } @article{dkw2008, title = "A Survey of Automated Techniques for Formal Software Verification", author = "Vijay D'Silva and Daniel Kroening and Georg Weissenbacher", year = "2008", journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)", month = "July", number = "7", pages = "1165-1178", publisher = "IEEE", url = "http://dx.doi.org/10.1109/TCAD.2008.923410", volume = "27", doi = "10.1109/TCAD.2008.923410", } @conference{dsilva_EMSOFT07, title = "Existential abstractions for distributed reactive systems via syntactic transformations", author = "Vijay D'Silva and Sampada Sonalkar and S. Ramesh", year = "2007", booktitle = "Proceedings of the 7th ACM \& IEEE international conference on Embedded software (EMSOFT)", copyright = "ACM", editor = "Christoph M. Kirsch and Reinhard Wilhelm", isbn = "978-1-59593-825-1", location = "Salzburg, Austria", month = "September", pages = "240 - 248", doi = "10.1145/1289927.1289965", } @article{dsilva_IET-CDT-05, title = "Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures", author = "Vijay D'Silva and S. Ramesh and Arcot Sowmya", year = "2005", editor = "Georges Gielen", journal = "IEE Proceedings - Computers and Digital Techniques", month = "January", number = "1", pages = "20--27", url = "http://scitation.aip.org/getabs/servlet/GetabsServlet?prog=normal&id=ICDTEA000152000001000020000001&idtype=cvips&gifs=Yes", volume = "152", doi = "10.1049/ip-cdt:20045097", } @conference{dsilva_CAV04, title = "A Toolset for Modelling and Verification of GALS Systems", author = "S. Ramesh and Sampada Sonalkar and Vijay D'Silva and Naveen Chandra and B. Vijayalakshmi", year = "2004", booktitle = "16th International Conference on Computer Aided Verification (CAV)", editor = "Rajeev Alur and Doron Peled", isbn = "3-540-22342-8", location = "Boston, U.S.A", month = "July", pages = "506-509", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://springerlink.metapress.com/content/1tc5rj1d4ab88akx/?p=7d24d5a25d48407a96bc4cee1c0dfaa3&pi=46", volume = "3114", } @conference{dsilva_VLSI04, title = "Bridge Over Troubled Wrappers: Automated Interface Synthesis", author = "Vijay D'Silva and S. Ramesh and Arcot Sowmya", year = "2004", address = "Washington, DC, USA", booktitle = "Proceedings of the 17th International Conference on VLSI Design", editor = "Dinesh Sharma and Srimat Chakradar", isbn = "0-7695-2072-3", month = "January", pages = "189", publisher = "IEEE Computer Society", url = "http://ieeexplore.ieee.org/iel5/8911/28180/01260923.pdf?arnumber=1260923", doi = "http://doi.ieeecomputersociety.org/10.1109/ICVD.2004.1260923", } @inproceedings{dsilva_DATE04, title = "Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures", author = "Vijay D'Silva and S. Ramesh and Arcot Sowmya", year = "2004", booktitle = "Proceedings of the Conference on Design Automation and Test in Europe (DATE)", editor = "Georges Gielen", isbn = "0-7695-2085-5-1", location = "Paris, France", month = "February", pages = "10390--10395", publisher = "ACM/IEEE", url = "http://portal.acm.org/citation.cfm?id=969073", volume = "1", }