Skip to main content

Vijay D'Silva : Publications

Click here to download all publications in a single bibtex file

@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",
}
@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",
}
@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",
}
@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",
}
@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",
}
@misc{History-Talk,
  title = "Tales from Verification History",
  author = "Vijay D'Silva",
  year = "2009",
}
@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_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",
}
@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_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",
}
@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",
}
@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",
}