Skip to main content

HVC 2009
Haifa Verification Conference 2009

October 19-22, 2009
Organized by IBM R&D Labs in Israel

image: IBM and Haifa

HVC Award

The HVC Award recognizes the most promising contribution to fields of software and hardware verification and test in the last five years.

The winners of the 2009 award are Patrice Godefroid, Nils Klarlund, and Koushik Sen for their work on DART: directed automated random testing

The HVC Award presentation is on Thursday, October 22 at 12:00 PM

HVC Award committee:
Sharad Malik, Princeton University, USA (Chair)
Holger Hermanns, Saarland University, Germany
Sarfraz Khurshid, University of Texas, Austin, USA
Natarajan Shankar, SRI International, USA
Helmut Veith, Technische Universitt Darmstadt, Germany

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science