Name Affiliation
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 JAIST
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