Program Committee

Program Chairs

Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA
Sanjit A. Seshia, University of California at Berkeley, USA

Program Committee

Rajeev Alur (Univ. Pennsylvania) Rupak Majumdar (MPI-SWS)
Roderick Bloem (TU Graz) Ken Mcmillan (Microsoft Research)
Supratik Chakraborty (IIT Bombay) David Molnar (Microsoft Research)
Swarat Chaudhuri (Rice Univ.) Kedar Namjoshi (Bell Labs)
Adam Chlipala (MIT) Albert Oliveras (TU Catalonia, Barcelona)
Vincent Danos (Univ. of Edinburgh) Joel Ouaknine (Oxford Univ.)
Thomas Dillig (College of William and Mary)    Gennaro Parlato (Univ. of Southampton)
Andy Gordon (Microsoft Research) Madhusudan Parthasarathy (UIUC; co-chair)
Mike Gordon (Cambridge Univ.) Nir Piterman (Univ. of Leicester)
Orna Grumberg (Technion) Andreas Podelski (Univ. of Freiburg)
Aarti Gupta (NEC Labs) Shaz Qadeer (Microsoft Research)
William Hung (Synopsys) Zvonimir Rakamaric (Univ. of Utah)
Somesh Jha (Univ. Wisconsin) Sriram Sankaranarayanan (Univ. of Colorado)
Ranjit Jhala (UCSD) Sanjit A. Seshia (UC Berkeley; co-chair)
Bengt Jonsson (Uppsala Univ.) Natasha Sharygina (Univ. of Lugano)
Rajeev Joshi (NASA JPL) Stavros Tripakis (UC Berkeley)
Daniel Kroening (Oxford Univ.) Helmut Veith (TU Vienna)
Andreas Kuehlmann (Coverity) Mahesh Viswanathan (UIUC)
Viktor Kuncak (EPFL) Jin Yang (Intel)
Shuvendu Lahiri (Microsoft Research) Karen Yorav (IBM)

Steering Committee

Michael Gordon, University of Cambridge, UK
Orna Grumberg, Technion, Israel
Robert Kurshan, Cadence Design Systems, USA
Kenneth McMillan, Microsoft Research, USA