Lars Birkedal |
Aarhus University |
Jean Yang |
Carnegie Mellon University |
Karl Crary |
Carnegie Mellon University |
David Sands |
Chalmers University of Technology |
Koen Claessen |
Chalmers University of Technology |
Andrew Myers chair |
Cornell University |
Nada Amin |
EPFL |
Peter Müller |
ETH Zurich |
Aleksandar Nanevski |
IMDEA Software Institute |
Gilles Barthe |
IMDEA Software Institute |
Sophia Drossopoulou |
Imperial College London |
Amr Sabry |
Indiana University |
Xavier Leroy |
Inria |
Atsushi Igarashi |
Kyoto University |
Viktor Vafeiadis |
Max Planck Institute for Software Systems |
Andrey Rybalchenko |
Microsoft Research |
Aseem Rastogi |
Microsoft Research |
Nadia Polikarpova |
MIT CSAIL |
Danfeng Zhang |
Penn State University |
David Walker |
Princeton University |
Santosh Nagarakatte |
Rutgers University |
Mira Mezini |
Technische Universität Darmstadt |
Matthew Might |
The White House |
Zhendong Su |
UC Davis |
Yannis Smaragdakis |
University of Athens |
Davide Sangiorgi |
University of Bologna and INRIA |
Sorin Lerner |
University of California, San Diego |
Neel Krishnaswami |
University of Cambridge |
Peter Sewell |
University of Cambridge |
Éric Tanter |
University of Chile |
Pavol Cerny |
University of Colorado Boulder |
James Cheney |
University of Edinburgh |
Philip Wadler |
University of Edinburgh |
Grigore Rosu |
University of Illinois Urbana–Champaign |
Mark Batty |
University of Kent |
Thorsten Altenkirch |
University of Nottingham |
Stephanie Weirich |
University of Pennsylvania |
Xinyu Feng |
University of Science and Technology of China |
Conor McBride |
University of Strathclyde |
Isil Dillig |
University of Texas Austin |
William Cook |
University of Texas Austin |
Azadeh Farzan |
University of Toronto |
Klaus Ostermann |
University of Tuebingen |
Zvonimir Rakamaric |
University of Utah |
Mila Dalla Preda |
University of Verona |
Zachary Tatlock |
University of Washington |
Loris D'Antoni |
University of Wisconsin Madison |
Constantin Enea |
Université Paris Diderot |
Laura Kovacs |
Vienna University of Technology, Austria |
Tachio Terauchi |
Waseda University |
Ruzica Piskac |
Yale University |
Zhong Shao |
Yale University |