Program committee



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