Program committee



NameAffiliation
Aleksandar NanevskiIMDEA Software Institute
Amr SabryIndiana University
Andrew Myers chairCornell University
Andrey RybalchenkoMicrosoft Research
Aseem RastogiMicrosoft Research
Atsushi IgarashiKyoto University
Azadeh FarzanUniversity of Toronto
Conor McBrideUniversity of Strathclyde
Constantin EneaUniversité Paris Diderot
Danfeng ZhangPenn State University
David SandsChalmers University of Technology
David WalkerPrinceton University
Davide SangiorgiUniversity of Bologna and INRIA
Éric TanterUniversity of Chile
Gilles BartheIMDEA Software Institute
Grigore RosuUniversity of Illinois Urbana–Champaign
Isil DilligUniversity of Texas Austin
James CheneyUniversity of Edinburgh
Jean YangCarnegie Mellon University
Karl CraryCarnegie Mellon University
Klaus OstermannUniversity of Tuebingen
Koen ClaessenChalmers University of Technology
Lars BirkedalAarhus University
Laura KovacsVienna University of Technology, Austria
Loris D'AntoniUniversity of Wisconsin Madison
Mark BattyUniversity of Kent
Matthew MightThe White House
Mila Dalla PredaUniversity of Verona
Mira MeziniTechnische Universität Darmstadt
Nada AminEPFL
Nadia PolikarpovaMIT CSAIL
Neel KrishnaswamiUniversity of Cambridge
Pavol CernyUniversity of Colorado Boulder
Peter MüllerETH Zurich
Peter SewellUniversity of Cambridge
Philip WadlerUniversity of Edinburgh
Ruzica PiskacYale University
Santosh NagarakatteRutgers University
Sophia DrossopoulouImperial College London
Sorin LernerUniversity of California, San Diego
Stephanie WeirichUniversity of Pennsylvania
Tachio TerauchiWaseda University
Thorsten AltenkirchUniversity of Nottingham
Viktor VafeiadisMax Planck Institute for Software Systems
William CookUniversity of Texas Austin
Xavier LeroyInria
Xinyu FengUniversity of Science and Technology of China
Yannis SmaragdakisUniversity of Athens
Zachary TatlockUniversity of Washington
Zhendong SuUC Davis
Zhong ShaoYale University
Zvonimir RakamaricUniversity of Utah