Program committee



NameAffiliation
Adam ChlipalaMIT
Adrien GuattoInstitut de Recherche en Informatique Fondamentale & Université Paris 7
Akimasa MorihataUniversity of Tokyo
Andreas RossbergGoogle (Germany)
Andrew KennedyFacebook
Atsushi OhoriTohoku University
Benoît ValironCentraleSupelec -- LRI Univ Paris Saclay
Bruno C. d. S. OliveiraUniversity of Hong Kong
Christos DimoulasNorthwestern University
Chung-chieh ShanIndiana University
Chung-Kil HurSeoul National University
Conal ElliottTarget
Daan LeijenMicrosoft Research Redmond (USA)
Dan LicataWesleyan University
Daniel Winograd-CortTarget
Derek DreyerMPI-SWS
Dominique DevrieseVrije Universiteit Brussel
Don SymeMicrosoft Research
Évelyne ContejeanCNRS
Ezgi ÇiçekFacebook London
Francois Pottier chairInria
Frank PfenningCarnegie Mellon University
Geoffrey MainlandDrexel University
German VidalUniversitat Politecnica de Valencia
Germán Andrés DelbiancoIRIF - Université Paris Diderot
Guillaume Munch-MaccagnoniInria
Hsiang-Shang ‘Josh’ KoInstitute of Information Science, Academia Sinica, Taiwan
Jacques-Henri JourdanLRI, CNRS UMR 8623, Université Paris Sud
James CheneyUniversity of Edinburgh
Jennifer HackettUniversity of Nottingham
Jennifer PaykinGalois
Joachim BreitnerDFINITY Foundation
Jonathan ProtzenkoMicrosoft Research
Kazutaka MatsudaTohoku University
KC SivaramakrishnanIndian Institute of Technology, Madras
Kim NguyenLRI - Université Paris Sud
Klaus OstermannUniversity of Tuebingen
Konstantinos SagonasUppsala University
Laura M. CastroUniversidade da Coruña
Lennart BeringerPrinceton University
Matthieu SozeauInria & PPS
Michael GreenbergPomona College
Michael D. AdamsUniversity of Utah
Mike RaineyInria and Center for Research in Extreme Scale Technologies (CREST)
Nadia PolikarpovaUniversity of California, San Diego
Nick SmallboneChalmers University of Technology
Nicolas WuImperial College London
Ohad KammarUniversity of Edinburgh
Oleg KiselyovTohoku University
Ondřej LhotákUniversity of Waterloo
Pierre-Évariste DagandCNRS - Inria Paris - Sorbonne Université - LIP6
Pierre-Yves StrubÉcole Polytechnique
Ralf JungMPI-SWS
Ranjit JhalaUniversity of California, San Diego
Rex PageUniv Oklahoma
Richard EisenbergBryn Mawr College
Robert AtkeyUniversity of Strathclyde
Roberto IerusalimschyPUC-Rio
Sam StatonUniversity of Oxford
Sam Tobin-HochstadtIndiana University
Sandro StuckiGothenburg University / Chalmers University of Technology
Sebastian ErdwegJGU Mainz
Sheng ChenUL Lafayette
Shin-Cheng MuAcademia Sinica, Taiwan
Simon MarlowFacebook
Takeshi TsukadaThe University of Tokyo
Tarmo UustaluTallinn University of Technology
Tiark RompfPurdue University
Troels HenriksenDIKU, University of Copenhagen
Ulf NorellUniversity of Gothenburg
Zachary TatlockUniversity of Washington
Zoe ParaskevopoulouPrinceton University