Organizing Committee
Chairs |
|
|---|---|
Benchmarks
|
Panagiotis Manolios, Georgia Institute
of Technology, USA |
Local
Arrangements |
Andy Martin, IBM Corporation, USA |
Panels |
Aarti Gupta, NEC
Laboratories America, USA William Joyner, Semiconductor Research Corporation, USA |
Publicity |
Alper
Sen, Freescale Semiconductor Inc., USA |
Tutorials | Natasha Sharygina,
University of Lugano, Switzerland |
Webmasters |
|
Student Volunteers |
Emil Axelsson, Chalmers
University of Technology, Sweden Haiqiong Yao, University of South Florida, USA |
Program Committee
- Mark Aagaard, University of Waterloo, Canada
- Jason Baumgartner, IBM Corporation, USA
- Armin Biere, Johannes Kepler University, Austria
- Per Bjesse, Synopsys, USA
- Dominique Borrione, Grenoble University, France
- Gianpiero Cabodi, Politecnico di Torino, Italy
- Alessandro Cimatti, ITC-irst, Trento, Italy
- Koen Claessen, Chalmers University of Technology, Sweden
- Cindy Eisner, IBM Haifa Research Laboratory, Israel
- Steven German, IBM Research Division, USA
- Ganesh Gopalakrishnan, University of Utah, USA
- Aarti Gupta, NEC Laboratories America, USA
- Alan J. Hu, University of British Columbia, Canada
- Warren Hunt, University of Texas, USA
- Steven Johnson, Indiana University, USA
- Robert Jones, Intel Corp., USA
- Daniel Kroening, ETH Zurich, Switzerland
- Andreas Kuehlmann, Cadence Laboratories, USA
- Wolfgang Kunz, University of Kaiserslautern, Germany
- Jeremy Levitt, Mentor Graphics, USA
- Panagiotis Manolios, Georgia Institute of Technology, USA
- Andy Martin, IBM Research Division, USA
- Tom Melham, Oxford University, UK
- Alan Mishchenko, University of California at Berkeley, USA
- Ken McMillan, Cadence Labs, USA
- John O'Leary, Intel Corp., USA
- Wolfgang Paul, Saarland University, Germany
- Carl Pixley, Synopsys, USA
- Natasha Sharygina, University of Lugano, Switzerland
- Mary Sheeran, Chalmers University of Technology, Sweden
- Anna Slobodova, Intel Corp., USA
- Richard Trefler, University of Waterloo, Canada