Program committee



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