Vijay D'Silva

Vijay D'Silva

I am an engineer in the infrastructure security team. I have both foundational and applied research interests. Foundational topics I have studied include automata theory, logic, program analysis and the connections between these three. I currently work on digital forensics and data visualization.
Authored Publications
Sort By
  • Title
  • Title, descending
  • Year
  • Year, descending
    Google
Buchi, Lindenbaum, Tarski: A Program Analysis Appetizer
Caterina Urban
Proceedings of the International Joint Conference on Artificial Intelligence, AAAI Press (2016) (to appear)
Abstract Interpretation as Automated Deduction
Caterina Urban
Journal of Automated Reasoning (2016), pp. 1-28 (to appear)
Abstract Interpretation as Automated Deduction
Caterina Urban
Automated Deduction - CADE 25, Springer International Publishing (2015), pp. 450-464
Conflict-Driven Conditional Termination
Caterina Urban
Computer Aided Verification, Springer International Publishing (2015), pp. 271-286
The Correctness-Security Gap in Compiler Optimization
Mathias Payer
Dawn Song
Security and Privacy Workshops (SPW), 2015 IEEE, IEEE, pp. 73-87