Program committee



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