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 |