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

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

• Avi Ziv

  General Chair

• Kedar Namjoshi

  Program Chair

• Andreas Zeller

  Program Chair

• Efrat Maimon

  Webmaster

Springer Lecture Notes in Computer Science