| 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 |