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