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