Volodymyr Kuznetsov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2010–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SP | High System-Code Security with Low Overhead. | Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder |
| 2014 | OSDI | Code-Pointer Integrity. | Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song |
| 2013 | HotOS | -OVERIFY: Optimizing Programs for Fast Verification. | Jonas Wagner, Volodymyr Kuznetsov, George Candea |
| 2012 | PLDI | Efficient state merging in symbolic execution. | Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea |
| 2011 | ASPLOS | S2E: a platform for in-vivo multi-path analysis of software systems. | Vitaly Chipounov, Volodymyr Kuznetsov, George Candea |
| 2010 | USENIX | Testing Closed-Source Binary Device Drivers with DDT. | Volodymyr Kuznetsov, Vitaly Chipounov, George Candea |