Participants

General Chairs

• Ranjit Jhala (UC San Diego)
• Rupak Majumdar (MPI-SWS)

Area Chairs

New Frontiers

• Rajeev Alur (U. Penn)
• Anupam Datta (CMU)

Infrastructure

• Natarajan Shankar (SRI)
• Cesare Tinelli (Iowa)

Education & Outreach

• Daniel Jackson (MIT)
• Shriram Krishnamurthi (Brown)

Adoption and Technology Transfer

• Tom Ball (Microsoft)
• Andreas Kuehlmann (Coverity)
• John Regehr (Utah)

Participants

• Aarti Gupta (NEC)
• Alan Hu (UBC)
• Allen Emerson (UT Austin)
• Andrew Appel (Princeton)
• Andrew Myers (Cornell)
• Ashish Tiwari (SRI)
• Benjamin Monate (FramaC/CEA)
• Corina Pasareanu (NASA)
• Cormac Flanagan (UC Santa Cruz)
• Dan Grossman (U. Washington)
• Daniel Kroening (Oxford)
• Edmund Clarke (CMU)
• Fabio Somenzi (CU Boulder)
• Frank Pfenning (CMU)
• Ganesh Gopalakrishnan (Utah)
• Gerard Holzmann (JPL)
• J Moore (UT Austin)
• Jasmin Fisher (Microsoft)
• Jens Palsberg (UC Los Angeles)
• Jim Grundy (Intel)
  
• Ken McMillan (Microsoft)
• Lenore Zuck (UIC)
• Matt Dwyer (UNL)
• Michael Hicks (U. Maryland)
• Nikolaj Bjorner (Microsoft)
• Patrick Cousot (NYU)
• Ras Bodik (UC Berkeley)
• Rustan Leino (Microsoft)
• Somesh Jha (U. Wisconsin)
• Sorin Lerner (UC San Diego)
• Todd Millstein (UC Los Angeles)
• Tom Ball (Microsoft)
• Vigyan Singhal (Oski Technology)
• Vikram Adve (UIUC)
• YY Zhou (UC San Diego)
• Pamela Zave (AT&T)