Program committee



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