Program committee



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