Program committee



Name Affiliation
Bas Spitters Aarhus University
Michael Emmi Amazon Web Services
Jan Hoffmann Carnegie Melon University
Pierre Clairambault CNRS & ENS Lyon
Ronghui Gu Columbia University
Justin Hsu Cornell University
Dimitrios Vytiniotis DeepMind
Andrew Kennedy Facebook
Qirun Zhang Georgia Institute of Technology
Woosuk Lee Hanyang University
Niki Vazou IMDEA Software Institute
John Wickerson Imperial College London
Nicolas Wu Imperial College London
Chung-chieh Shan Indiana University
Francois Pottier Inria
Caterina Urban INRIA & École Normale Supérieure
Hongseok Yang chair KAIST
Kihong Heo KAIST
David Broman KTH Royal Institute of Technology
Atsushi Igarashi Kyoto University
Kohei Suenaga Kyoto University
Matthew Parkinson Microsoft Research
Michael Carbin MIT
Hongjin Liang Nanjing University
Shin-ya Katsumata National Institute of Informatics
Wei-Ngan Chin National U. of Singapore
Amal Ahmed Northeastern University (USA)
Christos Dimoulas Northwestern University
Koko Muroya RIMS, Kyoto University
Matthew Hague Royal Holloway University of London
Benjamin Lucien Kaminski Saarland University, Saarland Informatics Campus; and University College London
Anthony W. Lin Technische Universität Kaiserslautern and Max-Planck Institute for Software Systems
Ori Lahav Tel Aviv University
Ralf Hinze Universitat Kaiserslautern
Alex Kavvos University of Bristol
Ronald Garcia University of British Columbia
Aditya V. Thakur University of California
Alvin Cheung University of California, Berkeley
Ranjit Jhala University of California, San Diego
Neel Krishnaswami University of Cambridge
P. Madhusudan University of Illinois at Urbana–Champaign
Garrett Morris University of Iowa
Radu Grigore University of Kent
Leonidas Lampropoulos University of Maryland, College Park
C.-H. Luke Ong University of Oxford
Sam Staton University of Oxford
Robert Atkey University of Strathclyde
Ken McMillan University of Texas at Austin
Fan Long University of Toronto
Pavel Panchekha University of Utah
James Wilcox University of Washington
Filip Sieczkowski University of Wrocław
Sandrine Blazy Univ Rennes, IRISA
Philipp Ruemmer Uppsala University
Tachio Terauchi Waseda University
Michael D. Adams Yale-NUS College