Vijay D'Silva

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 2

Top Topics

Abstract Interpretation

Policy Enforcement

Top Venues

IEEE Symposium on Security and Privacy Workshops

Publications

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