Program committee



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