Program committee



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