Organizing Committee
Chairs |
Aarti Gupta, NEC Laboratories America, USA
Panagiotis Manolios, Georgia Institute of Technology, USA |
|---|---|
Local Arrangements |
Jeremy Levitt, Mentor Graphics, USA Vigyan Singhal, Oski Technology, USA |
Panels |
Andreas Kuehlmann, Cadence Labs, USA |
Tutorials |
Leonardo de Moura, Microsoft Research, USA |
Webmasters |
Sudarshan Srinivasan, Georgia Institute of Technology, USA Daron Vroon, Georgia Institute of Technology, USA |
Workshops |
Ganesh Gopalakrishnan, University of Utah, USA |
Program Committee
- Clark Barrett, New York University, USA
- Jason Baumgartner, IBM Corporation, USA
- Valeria Bertacco, University of Michigan, USA
- Dominique Borrione, Grenoble University, France
- Supratik Chakraborty, Indian Institute of Technology Bombay, India
- Alessandro Cimatti, Istituto per la Ricerca Scientifica e Tecnologica, Italy
- Edmund M. Clarke, Carnegie Mellon University, USA
- Leonardo de Moura, Microsoft Research, USA
- Rolf Drechsler, University of Bremen, Germany
- Malay K. Ganai, NEC Laboratories America, USA
- Ganesh Gopalakrishnan, University of Utah, USA
- Susanne Graf, VERIMAG, France
- Orna Grumberg, Technion - Israel Institute of Technology, Israel
- Aarti Gupta, NEC Laboratories America, USA
- Alan J. Hu, University of British Columbia, Canada
- Warren Hunt, University of Texas, USA
- Andreas Kuehlmann, Cadence Laboratories, USA
- Panagiotis Manolios, Georgia Institute of Technology, USA
- Andy Martin, IBM Research Division, USA
- Ken McMillan, Cadence Labs, USA
- John O'Leary, Intel Corp., USA
- Wolfgang Paul, Saarland University, Germany
- Carl Pixley, Synopsys Inc., USA
- Amir Pnueli, NYU, USA
- Natarajan Shankar, SRI International, USA
- Mary Sheeran, Chalmers University of Technology, Sweden
- Eli Singerman, Intel Corp., Israel
- Vigyan Singhal, Oski Technology, Inc., USA
- Anna Slobodova, Intel Corp., USA
- Fabio Somenzi, University of Colorado at Boulder, USA
- Richard Trefler, University of Waterloo, Canada
- Matthew Wilding, Rockwell Collins Inc., USA
- Yaron Wolfsthal, IBM, Israel