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