Vijay Victor D'Silva

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 4

Top Venues

VMCAI

POPL

SAS

CoRR

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Vijay Victor D'Silva, Daniel Kroening, Marcelo Sousa
Independence Abstractions and Models of Concurrency. VMCAI (2017)
Vijay Victor D'Silva, Marcelo Sousa
Complete Abstractions and Subclassical Modal Logics. VMCAI (2017)
Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening
Abstract Interpretation with Unfoldings. CoRR (2017)
Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening
Abstract Interpretation with Unfoldings. CAV (2) (2017)
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening
Abstract satisfaction. POPL (2014)
Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
Deciding floating-point logic with abstract conflict driven clause learning. Formal Methods Syst. Des. 45 (2) (2014)
Vijay Victor D'Silva, Daniel Kroening
Abstraction of Syntax. VMCAI (2013)
Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. SAS (2013)
Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening
An Abstract Interpretation of DPLL(T). VMCAI (2013)
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening
Abstract conflict driven learning. POPL (2013)
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening
Satisfiability Solvers Are Static Analysers. SAS (2012)
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig
Numeric Bounds Analysis with Conflict-Driven Learning. TACAS (2012)
Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher
Interpolant Strength. VMCAI (2010)
Thomas Wahl, Vijay Victor D'Silva
A lazy approach to symmetry reduction. Formal Aspects Comput. 22 (6) (2010)
Vijay Victor D'Silva, Daniel Kroening
Fixed points for multi-cycle path detection. DATE (2009)
Vijay Victor D'Silva, Mitra Purandare, Daniel Kroening
Approximation Refinement for Interpolation-Based Model Checking. VMCAI (2008)
Vijay Victor D'Silva, Daniel Kroening, Georg Weissenbacher
A Survey of Automated Techniques for Formal Software Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (7) (2008)

Vijay Victor D'Silva.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vijay Victor D'Silva