Volodymyr Kuznetsov

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Multi Agent Platform

Symbolic Execution

Database Application Development

Top Venues

IEEE Symposium on Security and Privacy

ACM Trans. Comput. Syst.

Publications

Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder
High System-Code Security with Low Overhead. IEEE Symposium on Security and Privacy (2015)
Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song
Code-Pointer Integrity. OSDI (2014)
Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea
Efficient State Merging in Symbolic Execution. Software Engineering (2014)
Jonas Wagner, Volodymyr Kuznetsov, George Candea
-OVERIFY: Optimizing Programs for Fast Verification. HotOS (2013)
Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea
Efficient state merging in symbolic execution. PLDI (2012)
Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
The S2E Platform: Design, Implementation, and Applications. ACM Trans. Comput. Syst. 30 (1) (2012)
Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
S2E: a platform for in-vivo multi-path analysis of software systems. ASPLOS (2011)
Volodymyr Kuznetsov, Vitaly Chipounov, George Candea
Testing Closed-Source Binary Device Drivers with DDT. USENIX Annual Technical Conference (2010)