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