| Zhong Shao |
Yale University |
| Zachary Kincaid |
Princeton University |
| William J. Bowman |
University of British Columbia |
| Viktor Vafeiadis |
Max Planck Institute for Software Systems |
| Umut Acar |
Carnegie Mellon University |
| Taro Sekiyama |
National Institute of Informatics |
| Sriram Sankaranarayanan |
University of Colorado, Boulder |
| Somesh Jha |
University of Wisconsin |
| Simon Peyton-Jones |
Microsoft Research Cambridge |
| Sheng Chen |
University of Louisiana at Lafayette |
| Santiago Zanella-Béguelin |
Microsoft Research |
| Rupak Majumdar |
Max Planck Institute for Software Systems |
| Roland Meyer |
TU Braunschweig |
| Rishabh Singh |
Google |
| Ravi Chugh |
University of Chicago |
| Rahul Sharma |
Microsoft Research |
| Pierre Ganty |
IMDEA Software Institute |
| Pavol Černý |
TU Wien |
| Parosh Aziz Abdulla |
Uppsala University |
| Nobuko Yoshida |
Imperial College London |
| Naoki Kobayashi |
University of Tokyo |
| Nadia Polikarpova |
University of California, San Diego |
| Nada Amin |
Harvard University |
| Mohamed Faouzi Atig |
Uppsala University |
| Matthieu Sozeau |
Inria |
| Matthias Heizmann |
University of Freiburg |
| Mark Batty |
University of Kent |
| Marco Gaboardi |
Boston University |
| Luc Maranget |
INRIA Paris |
| Loris D'Antoni |
University of Wisconsin Madison |
| Laure Gonnord |
Université Claude Bernard Lyon 1, LIP |
| Laura Kovacs |
TU Wien |
| Kedar Namjoshi |
Bell Labs, Nokia |
| Josh Berdine |
Facebook |
| Jeehoon Kang |
KAIST |
| Ichiro Hasuo |
National Institute of Informatics |
| Hongseok Yang |
KAIST |
| Frank Pfenning |
Carnegie Mellon University |
| Dexter Kozen |
Cornell University |
| Deepak Garg |
Max Planck Institute for Software Systems |
| David Van Horn |
University of Maryland |
| David Monniaux |
CNRS |
| Damien Zufferey |
MPI-SWS |
| Bart Jacobs |
KU Leuven |
| Azadeh Farzan chair |
University of Toronto |
| Aseem Rastogi |
Microsoft Research |
| Arjun Radhakrishna |
Microsoft |
| Annette Bieniusa |
TU Kaiserslautern |
| Andreas Pavlogiannis |
Aarhus University |
| Ana Sokolova |
University of Salzburg |
| Alan Schmitt |
Inria |
| Ahmed Bouajjani |
University of Paris |
| Adam Chlipala |
MIT |