Concepedia

Volodymyr Kuznetsov

VK

9

Publications

1.5K

Citations

9

H-Index

2010

Active since

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

Volodymyr Kuznetsov is an author at École Polytechnique Fédérale de Lausanne specializing in engineering, software analysis, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSystem SoftwareSoftware TestingFormal VerificationComputer EngineeringSoftware EngineeringComputer Architecture

Publications per year

2010–2015

9

Publications

9

S2E

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea · 2011 · 512 citations

Software Maintenance, Engineering, Proprietary Software +18

Code-pointer integrity

Volodymyr Kuznetsov, László Szekeres, Mathias Payer et al. · Operating Systems Design and Implementation · 2014 · 328 citations

Hardware Security, Software Security, Engineering +15

The S2E Platform

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea · ACM Transactions on Computer Systems · 2012 · 194 citations · Full text

Engineering, Proprietary Software, Software Systems +24

Efficient state merging in symbolic execution

Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur et al. · 2012 · 184 citations · Full text

Engineering, Software Engineering, Software Analysis +19

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea · ACM SIGPLAN Notices · 2011 · 115 citations · Full text

Software Maintenance, Engineering, Proprietary Software +17

Rows per page

1–5 of 9