Program committee



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