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