Program committee



Name Affiliation
Zoe Paraskevopoulou Princeton University
Zachary Tatlock University of Washington
Ulf Norell University of Gothenburg
Troels Henriksen DIKU, University of Copenhagen
Tiark Rompf Purdue University
Tarmo Uustalu Tallinn University of Technology
Takeshi Tsukada The University of Tokyo
Simon Marlow Facebook
Shin-Cheng Mu Academia Sinica, Taiwan
Sheng Chen UL Lafayette
Sebastian Erdweg JGU Mainz
Sandro Stucki Gothenburg University / Chalmers University of Technology
Sam Tobin-Hochstadt Indiana University
Sam Staton University of Oxford
Roberto Ierusalimschy PUC-Rio
Robert Atkey University of Strathclyde
Richard Eisenberg Bryn Mawr College
Rex Page Univ Oklahoma
Ranjit Jhala University of California, San Diego
Ralf Jung MPI-SWS
Pierre-Yves Strub École Polytechnique
Pierre-Évariste Dagand CNRS - Inria Paris - Sorbonne Université - LIP6
Ondřej Lhoták University of Waterloo
Oleg Kiselyov Tohoku University
Ohad Kammar University of Edinburgh
Nicolas Wu Imperial College London
Nick Smallbone Chalmers University of Technology
Nadia Polikarpova University of California, San Diego
Mike Rainey Inria and Center for Research in Extreme Scale Technologies (CREST)
Michael D. Adams University of Utah
Michael Greenberg Pomona College
Matthieu Sozeau Inria & PPS
Lennart Beringer Princeton University
Laura M. Castro Universidade da Coruña
Konstantinos Sagonas Uppsala University
Klaus Ostermann University of Tuebingen
Kim Nguyen LRI - Université Paris Sud
KC Sivaramakrishnan Indian Institute of Technology, Madras
Kazutaka Matsuda Tohoku University
Jonathan Protzenko Microsoft Research
Joachim Breitner DFINITY Foundation
Jennifer Paykin Galois
Jennifer Hackett University of Nottingham
James Cheney University of Edinburgh
Jacques-Henri Jourdan LRI, CNRS UMR 8623, Université Paris Sud
Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica, Taiwan
Guillaume Munch-Maccagnoni Inria
Germán Andrés Delbianco IRIF - Université Paris Diderot
German Vidal Universitat Politecnica de Valencia
Geoffrey Mainland Drexel University
Frank Pfenning Carnegie Mellon University
Francois Pottier chair Inria
Ezgi Çiçek Facebook London
Évelyne Contejean CNRS
Don Syme Microsoft Research
Dominique Devriese Vrije Universiteit Brussel
Derek Dreyer MPI-SWS
Daniel Winograd-Cort Target
Dan Licata Wesleyan University
Daan Leijen Microsoft Research Redmond (USA)
Conal Elliott Target
Chung-Kil Hur Seoul National University
Chung-chieh Shan Indiana University
Christos Dimoulas Northwestern University
Bruno C. d. S. Oliveira University of Hong Kong
Benoît Valiron CentraleSupelec -- LRI Univ Paris Saclay
Atsushi Ohori Tohoku University
Andrew Kennedy Facebook
Andreas Rossberg Google (Germany)
Akimasa Morihata University of Tokyo
Adrien Guatto Institut de Recherche en Informatique Fondamentale & Université Paris 7
Adam Chlipala MIT