FMCAD 2008

Ball, Thomas, Microsoft Research

Baumgartner, Jason, IBM Corporation

Benke, Matt, Department of Defense

Biere, Armin, JKU

Bingham, Jesse, Intel

Bjesse, Per, Synopsys

Bjorner, Nikolaj, Microsoft Research

Bloem, Roderick, Graz University of Technology

Boehm, Peter, University of Oxford

Bofill Arasa,Miquel,University of Girona

Boshra-riad, Samy, Mentor Graphics

Brayton, Robert, UC Berkeley

Bu, Lei, Nanjing University

Bulach, Slava, Robert Bosch GmbH

Bunker, Annette, Intel Corporation

Case, Mike, UC Berkeley

Chaki, Sagar, Software Engineering Institute

Chatterjee, Satrajit, Intel

Chaudhry, Rahul, Mentor Graphics

Chockler, Hana, IBM Haifa Research Lab

Cimatti, Alessandro, FBK-irst

Claessen, Koen, Chalmers University of Technology

Cook, Byron, Microsoft

De Paula, Flavio, CS Dept. - U. of British Columbia

Deshmukh, Jyotirmoy, University of Texas at Austin

Erkok, Levent, Galois, Inc.

Farkash, Noam, Mentor Graphics

Fisman, Dana, IBM Haifa Research Lab, Hebrew University

Franzén, Anders, FBK-irst

Fujita, Masahiro, University of Tokyo

Ghughal, Rajnish, Intel Corporation

Goel, Amit, Intel

Gopalakrishnan, Ganesh, University of Utah

Graunke, Paul, Galois, Inc

Greenstreet, Mark, University of British Columbia

Gupta, Rajesh, UC San Diego

Hagen, George, The University of Iowa

Hanna, Ziyad, Jasper Design Automation

Hao, Kecheng, Portland State University

Hardin, David, Rockwell Collins

Harrison, John, Intel Corporation

Hartel, Pieter, University of Twente

Heyman, Tamir, Synopsys

Hu, Alan, University of British Columbia

Hunt Jr., Warren, University of Texas at Austin

Jones, Kevin, -

Jones, Robert, Intel

Kaiss, Daher, Intel Corp.

Kaivola, Roope, Intel Corp,

Kavalipati, Paparao, Mentor Graphics Corporation

Koelbl, Alfred, Synopsys, Inc.

Kroening, Daniel, ETH Zuerich

Krstic, Sava, Intel Corporation

Kunz, Wolfgang, U. of Kaiserslautern

Lahiri, Shuvendu, Microsoft Research

Levin, Alexander, Intel

Levinger, Moshe, IBM

Levinger, Moshe, IBM R&D Labs in Israel

Levitt, Jeremy, Mentor Graphics Corporation

Li, Bing, Mentor Graphics

Li, Juncao, Portland State University

Li, Wenchao, UC Berkeley

Manolios, Pete, Northeastern University

Mathur, Anmol, Calypto Design Systems

Matthews, John, Galois, Inc.

McMillan, Kenneth, Cadence Research Labs

Melham, Tom, Oxford University

Mishchenko, Alan, UC Berkeley

Mony, Hari, IBM Corporation

Moon, In-Ho, Synopsys

Mossawir, Kathryn, Rambus, Inc

Myreen, Magnus, University of Cambridge, UK

Nicholls, William, Synopsys

O'Leary, John, Intel Corporation

Oliveras, Albert, Technical University of Catalonia

Pike, Lee, Galois, Inc.

Pixley, Carl, Synopsys Inc.

Quer, Stefano, POLITECNICO DI TORINO

Rakamaric, Zvonimir, University of British Columbia

Ray, Sandip, UT Austin

Reeber, Erik, Intel

Rubio, Albert, Universitat Politècnica de Catalunya

Samanta, Roopsha, The University of Texas at Austin

Schubert, Tom, Intel Corporation

Seawright, Andrew, Mentor Graphics Corp

Seger, Carl, Intel

Seshia, Sanjit, UC Berkeley

Sharygina, Natasha, USI Switzerland and CMU, USA

Sheeran, Mary, Chalmers

Sinha, Nishant, NEC Labs USA

Slobodova, Anna, Centaur Technology

Smith, Eric, Stanford University

Sörensson, Niklas, Chalmers University of Technology

Strichman, Ofer, Technion

Swords, Sol, University of Texas at Austin

Tabakov, Deian, Rice University

Talupur, Murali, Intel/SCL

Telfer, Amber, Intel Corporation

Tinelli, Cesare, The University of Iowa

Tronci, Enrico, University of Roma La Sapienza

Tuttle, Mark, Intel

Vardi, Moshe, Rice University

Xie, Fei, Portland State University

Yan, Chao, University of British Columbia

Yang, Jin, Intel Corporation

Yu, Jinqing, Averant Inc.

Zaki, Mohamed, University of British Columbia

Zheng, Hao, University of South Florida

Zuck, Lenore, NSF/UIC