Program committee



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