Vijay D'Silva
- Research Area(s)
- Algorithms and Theory
- Security, Privacy and Abuse Prevention
- Software Systems
Google Publications
-
Abstract Interpretation as Automated Deduction
Vijay D'Silva, Caterina Urban
Automated Deduction - CADE 25, Springer International Publishing (2015), pp. 450-464
-
Conflict-Driven Conditional Termination
Vijay D'Silva, Caterina Urban
Computer Aided Verification, Springer International Publishing (2015), pp. 271-286
-
The Correctness-Security Gap in Compiler Optimization
Vijay D'Silva, Mathias Payer, Dawn Song
Security and Privacy Workshops (SPW), 2015 IEEE, IEEE, pp. 73-87
