Vijay D'Silva

According to our database, Vijay D'Silva authored at least 15 papers between 2004 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Abstract Interpretation as Automated Deduction.

Vijay D'Silva, Caterina Urban

J. Autom. Reason., 2017

2016

Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer.

Vijay D'Silva, Caterina Urban

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

The Correctness-Security Gap in Compiler Optimization.

Vijay D'Silva, Mathias Payer, Dawn Xiaodong Song

Proceedings of the 2015 IEEE Symposium on Security and Privacy Workshops, 2015

ASPIRE: Iterative Specification Synthesis for Security.

Kevin Zhijie Chen, Warren He, Devdatta Akhawe, Vijay D'Silva, Prateek Mittal, Dawn Song

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

Conflict-Driven Conditional Termination.

Vijay D'Silva, Caterina Urban

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2013

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

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

BLITZ: Compositional bounded model checking for real-world programs.

Chia Yuan Cho, Vijay D'Silva, Dawn Song

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Generalizing Simulation to Abstract Domains.

Vijay D'Silva

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2010

Propositional Interpolation and Abstract Interpretation.

Vijay D'Silva

Proceedings of the Programming Languages and Systems, 2010

2009

Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis.

Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran

ACM Trans. Design Autom. Electr. Syst., 2009

2008

A Formal Approach To The Protocol Converter Problem.

Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Existential abstractions for distributed reactive systems via syntactic transformations.

Vijay D'Silva, Sampada Sonalkar, S. Ramesh

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2004

Bridge Over Troubled Wrappers: Automated Interface Synthesis.

Vijay D'Silva, S. Ramesh, Arcot Sowmya

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures.

Vijay D'Silva, S. Ramesh, Arcot Sowmya

Proceedings of the 2004 Design, 2004

A Toolset for Modelling and Verification of GALS Systems.

S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi

Proceedings of the Computer Aided Verification, 16th International Conference, 2004