Program committee



Name Affiliation
Francesco Nardelli Zappa INRIA
Hongseok Yang University of Oxford
Jan Vitek chair Northeastern University
Peter Thiemann chair Universität Freiburg
Éric Tanter Universidad de Chile
Armando Solar-Lezama MIT
Helmut Seidl Technische Universität München
David Sands Chalmers University of Technology
Mooly Sagiv Tel Aviv University
Keshav Pingali University of Texas
Luca Padovani Università di Torino
Peter Müller ETH Zurich
Alexey Gotsman IMDEA
Giorgio Ghelli Universita di Pisa
Cedric Fournet Microsoft Research
Azadeh Farzan University of Toronto
Derek Dreyer MPI-SWS
Alastair Donaldson Imperial College London
Isil Dillig University of Texas
Delphine Demange IRISA - University of Rennes 1
Charles Consel INRIA / University of Bordeaux
Adam Chlipala MIT
Luis Caires Universidade Nova de Lisboa
Lars Birkedal Aarhus University
Gavin Bierman Oracle
Gilles Barthe IMDEA
Jade Alglave University College London
Umut Acar Carnegie Mellon University