Program committee



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