Vijay D'Silva - RankMe

16 papers A* 4A 5B 1Misc 2Journal 2Unranked 2

Year	Rank	Type	Title / 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