Vijay D'Silva

16 papers A* 4A 5B 1Misc 2Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2017 J jnl
Abstract Interpretation as Automated Deduction.
J. Autom. Reason.
Vijay D'Silva, Caterina Urban
2016 A* conf
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer.
IJCAI
Vijay D'Silva, Caterina Urban
2015 A conf
ASPIRE: Iterative Specification Synthesis for Security.
HotOS
Kevin Zhijie Chen, Warren He, Devdatta Akhawe, Vijay D'Silva, Prateek Mittal, Dawn Song
2015 A conf
Abstract Interpretation as Automated Deduction.
CADE
Vijay D'Silva, Caterina Urban
2015 — conf
Conflict-Driven Conditional Termination.
CAV (2)
Vijay D'Silva, Caterina Urban
2015 — conf
The Correctness-Security Gap in Compiler Optimization.
IEEE Symposium on Security and Privacy Workshops
Vijay D'Silva, Mathias Payer, Dawn Xiaodong Song
2013 A* conf
BLITZ: Compositional bounded model checking for real-world programs.
ASE
Chia Yuan Cho, Vijay D'Silva, Dawn Song
2013 A* conf
Contextual Policy Enforcement in Android Applications with Permission Event Graphs.
NDSS
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
2013 B conf
Generalizing Simulation to Abstract Domains.
CONCUR
Vijay D'Silva
2010 A conf
Propositional Interpolation and Abstract Interpretation.
ESOP
Vijay D'Silva
2009 J jnl
Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis.
ACM Trans. Design Autom. Electr. Syst.
Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran
2008 A conf
A Formal Approach To The Protocol Converter Problem.
DATE
Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran
2007 Misc conf
Existential abstractions for distributed reactive systems via syntactic transformations.
EMSOFT
Vijay D'Silva, Sampada Sonalkar, S. Ramesh
2004 A* conf
A Toolset for Modelling and Verification of GALS Systems.
CAV
S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi
2004 Misc conf
Bridge Over Troubled Wrappers: Automated Interface Synthesis.
VLSI Design
Vijay D'Silva, S. Ramesh, Arcot Sowmya
2004 A conf
Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures.
DATE
Vijay D'Silva, S. Ramesh, Arcot Sowmya