Program committee



Name Affiliation
Mark Batty University of Kent
Sebastian Burckhardt Microsoft Research
Bor-Yuh Evan Chang University of Colorado Boulder
Maria Christakis University of Kent
Mike Dodds University of York
Patrick Eugster TU Darmstadt and Purdue University
Colin S. Gordon Drexel University
Philipp Haller KTH Royal Institute of Technology
Matthias Hauswirth University of Lugano
Klaus Havelund NASA Jet Propulsion Laboratory
Görel Hedin Lund University
Bart Jacobs KU Leuven
Christian Kästner Carnegie Mellon University
Vu Le Microsoft
Doug Lea SUNY Oswego
Brandon Lucia Carnegie Mellon University
Nicholas Matsakis Mozilla Research
Anders Møller Aarhus University
Peter Müller chair ETH Zurich
Bruno Oliveira U.Hong Kong
Klaus Ostermann University of Tübingen
Matthew Parkinson Microsoft Research
Corina Pasareanu CMU/NASA Ames
Tiark Rompf Purdue University
Grigore Rosu University of Illinois at Urbana-Champaign
Yannis Smaragdakis University of Athens
Frank Tip Northeastern University
Omer Tripp Google Inc.
Jan Vitek Northeastern University
Thomas Wies New York University
Tobias Wrigstad Uppsala University
Nobuko Yoshida Imperial College London
Francesco Zappa Nardelli Inria