Organizers
- Alex Groce, Oregon State University
- Satish Narayanasamy, University of Michigan
Program Committee
- Jamie Andrews (University of Western Ontario)
- Cristian Cadar (Imperial College, London)
- Michael Ernst (University of Washington)
- Aarti Gupta (NEC Labs)
- Klaus Havelund (NASA/JPL Laboratory for Reliable Software)
- Daniel Marino (Symantec Research Labs)
- Milo Martin (University of Pennsylvania)
- Santosh Nagarakatte (Rutgers University)
- John Regehr (University of Utah)
- Atanas Rountev (Ohio State University)