Program committee



Name Affiliation
Aggelos Biboudis EPFL
Alastair Donaldson Imperial College London / Google
Alex Potanin Victoria University of Wellington
Andrew Myers Cornell University
Arthur Charguéraud Inria
Benjamin Delaware Purdue University
Benjamin C. Pierce University of Pennsylvania
Bor-Yuh Evan Chang University of Colorado Boulder
Brandon Lucia Carnegie Mellon University
Christian Kästner Carnegie Mellon University
Christine H. Flood Red Hat
Crista Lopes UC Irvine
David Grove IBM Research
David Van Horn University of Maryland, USA
Eelco Visser chair Delft University of Technology
Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Emina Torlak University of Washington
Eric Koskinen Stevens Institute of Technology
Éric Tanter University of Chile & Inria Paris
Eric Van Wyk University of Minnesota, USA
Eva Darulova MPI-SWS
Francesco Zappa Nardelli Inria
Friedrich Steimann Fernuniversität
G. Ramalingam Microsoft Research
Gail Kaiser Columbia University
Gavin Bierman Oracle Labs
Görel Hedin Lund University
Grigore Rosu University of Illinois at Urbana-Champaign
Harry Xu UCLA
Heather Miller Carnegie Mellon University
Isil Dillig University of Texas Austin
Iulian Neamtiu New Jersey Institute of Technology
Jeff Huang Texas A&M University
Jennifer B. Sartor Ghent University and Vrije Universiteit Brussel
Jeremy Gibbons Oxford University
Malavika Samak CSAIL, MIT
Manu Sridharan University of California, Riverside
Marieke Huisman University of Twente
Martin Hirzel IBM Research
Matthew Flatt University of Utah
Michael Steindorfer Delft University of Technology, Netherlands
Nada Amin University of Cambridge
Nobuko Yoshida Imperial College London
Ondřej Lhoták University of Waterloo
Peter Sewell University of Cambridge
Peter Thiemann University of Freiburg
Ranjit Jhala University of California, San Diego
Roman Manevich Mellanox Technologies
Ronald Garcia University of British Columbia
Ross Tate Cornell University
Sam Guyer Tufts University
Sara Achour MIT
Sasa Misailovic University of Illinois at Urbana-Champaign
Sebastian Erdweg erdweg@uni-mainz.de
Sophia Drossopoulou Imperial College London
Stephen Kell University of Kent
Susan Eisenbach Imperial College London
Tiark Rompf Purdue University
Todd Mytkowicz Microsoft Research
Viktor Kuncak EPFL
Viktor Vafeiadis MPI-SWS, Germany
Walter Binder University of Lugano, Switzerland
Werner Dietl University of Waterloo, Canada
Xipeng Shen North Carolina State University
Yu David Liu State University of New York (SUNY) Binghamton
Yufei Ding UC Santa Barbara