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