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 |