Program committee



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