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