Program committee



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