October 27-30, 2008
Organized by IBM Haifa Research Lab
The winner of the 2008 HVC Award is Ken McMillan for his work on interpolation with applications in formal verification.
Ken will present his work in a special research session at HVC.
HVC Award Committee
- Corina Pasareanu, Perot Systems/NASA Ames Research Center, USA - chair
- Roderick Bloem, Graz University of Technology, Austria
- Sebastian Elbaum, University of Nebraska, Lincoln, USA
- Bob Kurshan, Cadence, USA
- Wolfram Schulte, Microsoft Research, Redmond, USA
- Willem Visser, SEVEN Networks, USA
- Avi Ziv, IBM HRL, Israel