Program committee



Name Affiliation
Nada Amin EPFL
Sven Apel University of Passau
Carl Friedrich Bolz King’s College London, UK
Stephen Chong Harvard University
Ravi Chugh University of Chicago
Camil Demetrescu Sapienza University of Rome
Dominique Devriese KU Leuven
Werner Dietl University of Waterloo
Christos Dimoulas Harvard University
Mike Dodds University of York
Julian Dolby IBM Thomas J. Watson Research Center
Sophia Drossopoulou Imperial College London
Sebastian Erdweg TU Darmstadt
Erik Ernst Google
Martin Erwig Oregon State University
Patrick Eugster Purdue University
Matthew Flatt University of Utah
Ronald Garcia University of British Columbia
Colin Gordon Drexel University
Michael Greenberg Pomona College
Radu Grigore University of Oxford
Reiner Haehnle TU Darmstadt
Philipp Haller KTH Royal Institute of Technology
Stefan Hanenberg University of Duisburg-Essen
Ben Hardekopf University of California, Santa Barbara
Atsushi Igarashi Kyoto University
Limin Jia Carnegie Mellon University
Christian Kaestner Carnegie Mellon University
Tomas Kalibera Northeastern University
Matthias Keil University of Freiburg
Sarfraz Khurshid UT Austin
Eric Koskinen Yale University
Shriram Krishnamurthi chair Brown University
Lindsey Kuper Intel Labs
Yu David Liu SUNY Binghamton
Benjamin Livshits Microsoft Research, USA
Shahar Maoz Tel Aviv University
Ana Milanova Rensselaer Polytechnic Institute
Heather Miller EPFL
Anders Møller Aarhus University
Peter Müller ETH Zurich
David Naumann Stevens Institute of Technology
Pavel Parízek Charles University in Prague
David Pearce Victoria University of Wellington
Joe Gibbs Politz Swarthmore College
Alex Potanin Victoria University of Wellington
Michael Pradel TU Darmstadt
Ganesan Ramalingam Microsoft Research
Veselin Raychev ETH-Zürich
Márcio Ribeiro Federal University of Alagoas
Atanas Rountev Ohio State University
Sukyoung Ryu KAIST
Vijay Saraswat IBM T J Watson
Federica Sarro University College London
Jennifer B. Sartor Vrije Universiteit Brussel and Ghent University
Xipeng Shen North Carolina State University
Christian Skalka University of Vermont
Yannis Smaragdakis University of Athens
Armando Solar-Lezama MIT
Robert Soulé USI (Lugano)
Witawas Srisa-an University of Nebraska-Lincoln
Friedrich Steimann Fernuniversität in Hagen
Ben Titzer Google
Emma Tosch UMass Amherst
David Van Horn University of Maryland, College Park
Eric Van Wyk University of Minnesota
Mandana Vaziri IBM Research
Tobias Wrigstad Uppsala University
Tao Xie University of Illinois at Urbana-Champaign
Harry Xu UC Irvine
Francesco Zappa Nardelli Inria
Charles Zhang HKUST