Vitaly Chipounov

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 1

Top Topics

Core Components

Database Application Development

Test Data Generation

Top Venues

ACM Trans. Comput. Syst.

Publications

Bin Zhang, Chao Feng, Adrian Herrera, Vitaly Chipounov, George Candea, Chaojing Tang
Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing. IET Softw. 12 (6) (2018)
Edouard Bugnion, Vitaly Chipounov, George Candea
Lightweight Snapshots and System-level Backtracking. HotOS (2013)
Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
The S2E Platform: Design, Implementation, and Applications. ACM Trans. Comput. Syst. 30 (1) (2012)
Vitaly Chipounov, George Candea
Enabling sophisticated analyses of ×86 binaries with RevGen. DSN Workshops (2011)
Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
S2E: a platform for in-vivo multi-path analysis of software systems. ASPLOS (2011)
Vitaly Chipounov, George Candea
Reverse engineering of binary device drivers with RevNIC. EuroSys (2010)
Volodymyr Kuznetsov, Vitaly Chipounov, George Candea
Testing Closed-Source Binary Device Drivers with DDT. USENIX Annual Technical Conference (2010)
Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, George Candea
Cloud9: a software testing service. ACM SIGOPS Oper. Syst. Rev. 43 (4) (2009)
Vitaly Chipounov, George Candea
Reverse-Engineering Drivers for Safety and Portability. HotDep (2008)