Program committee



Name Affiliation
Arthur Azevedo de Amorim University of Pennsylvania
Thibaut Balabonski Université Paris-Sud
Aleš Bizjak Aarhus University
Stephen Chong chair Harvard University
David Christiansen Indiana University
Ezgi Çiçek MPI-SWS
Pantazis Deligiannis Microsoft Research
Nick Giannarakis Princeton University
Ralf Jung MPI-SWS
Heidy Khlaaf University College London
Robbert Krebbers Delft University of Technology
Tomer Libal Inria Saclay
Matthew Milano Cornell University
Oded Padon Tel Aviv University
Zoe Paraskevopoulou Princeton University
Nadia Polikarpova MIT CSAIL
Damien Pous CNRS, ENS Lyon
Steven Ramsay University of Oxford
Aseem Rastogi Microsoft Research, India
Giselle Reis Carnegie Mellon University
Matteo Sammartino University College London
Tetsuya Sato Kyoto University
Steffen Smolka Cornell University
Thorsten Tarrach AIT Austrian Institute of Technology
Andrea Vandin IMT School for Advanced Studies Lucca
Peng Wang MIT CSAIL
Daniel Winograd-Cort University of Pennsylvania
Jean Yang chair Carnegie Mellon University