The HVC award is given to the most influential work in the last five years in formal verification, simulation, and testing. The committee awarded Cristian Cadar for his work on KLEE, recognising “his contributions to dynamic symbolic execution and the KLEE symbolic execution infrastructure”.
KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure and is available under the UIUC open source license (see http://klee.github.io/ for details). For more information on what KLEE is and what it can do, see their paper, KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.
The Haifa Verification Conference 2017 is the 13th in the series of annual conferences dedicated to advancing the state-of the art and state-of-the-practice in verification and testing. The conference provides a forum for researchers and practitioners from academia and industry to share their work, exchange ideas, and discuss the future directions of testing and verification for hardware, software, and complex hybrid systems.