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",
}