Program committee



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