
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
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
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