Vitaly Chipounov

According to our database, Vitaly Chipounov authored at least 10 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing.

Bin Zhang, Chao Feng, Adrian Herrera, Vitaly Chipounov, George Candea, Chaojing Tang

IET Softw., 2018

2014

S²E: A Platform for In-Vivo Multi-Path Analysis of Software Systems.

Vitaly Chipounov

PhD thesis, 2014

2013

Lightweight Snapshots and System-level Backtracking.

Edouard Bugnion, Vitaly Chipounov, George Candea

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

2012

The S2E Platform: Design, Implementation, and Applications.

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea

ACM Trans. Comput. Syst., 2012

2011

Enabling sophisticated analyses of ×86 binaries with RevGen.

Vitaly Chipounov, George Candea

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

S2E: a platform for in-vivo multi-path analysis of software systems.

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Testing Closed-Source Binary Device Drivers with DDT.

Volodymyr Kuznetsov, Vitaly Chipounov, George Candea

Proceedings of the 2010 USENIX Annual Technical Conference, 2010

Reverse engineering of binary device drivers with RevNIC.

Vitaly Chipounov, George Candea

Proceedings of the European Conference on Computer Systems, 2010

2009

Cloud9: a software testing service.

Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, George Candea

ACM SIGOPS Oper. Syst. Rev., 2009

2008

Reverse-Engineering Drivers for Safety and Portability.

Vitaly Chipounov, George Candea

Proceedings of the Fourth Workshop on Hot Topics in System Dependability, 2008