| 2016 | IJCAI | Bchi, Lindenbaum, Tarski: A Program Analysis Appetizer. | Vijay D'Silva, Caterina Urban |
| 2015 | CADE | Abstract Interpretation as Automated Deduction. | Vijay D'Silva, Caterina Urban |
| 2015 | CAV | Conflict-Driven Conditional Termination. | Vijay D'Silva, Caterina Urban |
| 2015 | HotOS | ASPIRE: Iterative Specification Synthesis for Security. | Kevin Zhijie Chen, Warren He, Devdatta Akhawe, Vijay D'Silva, Prateek Mittal, Dawn Song |
| 2015 | SP | The Correctness-Security Gap in Compiler Optimization. | Vijay D'Silva, Mathias Payer, Dawn Xiaodong Song |
| 2013 | CONCUR | Generalizing Simulation to Abstract Domains. | Vijay D'Silva |
| 2013 | NDSS | Contextual Policy Enforcement in Android Applications with Permission Event Graphs. | Kevin Zhijie Chen, Noah M. Johnson, Vijay D'Silva, Shuaifu Dai, Kyle MacNamara, Thomas R. Magrino, Edward XueJun Wu, Martin C. Rinard, Dawn Xiaodong Song |
| 2010 | ESOP | Propositional Interpolation and Abstract Interpretation. | Vijay D'Silva |
| 2008 | DATE | A Formal Approach To The Protocol Converter Problem. | Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran |
| 2007 | EMSOFT | Existential abstractions for distributed reactive systems via syntactic transformations. | Vijay D'Silva, Sampada Sonalkar, S. Ramesh |
| 2004 | CAV | A Toolset for Modelling and Verification of GALS Systems. | S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi |
| 2004 | DATE | Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures. | Vijay D'Silva, S. Ramesh, Arcot Sowmya |
| 2004 | VLSID | Bridge Over Troubled Wrappers: Automated Interface Synthesis. | Vijay D'Silva, S. Ramesh, Arcot Sowmya |