Program committee



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