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 |