Program committee



NameAffiliation
Daniel LicataWesleyan University
Andres LöhWell-Typed LLP
Ben LippmeierVertigo Technology
Stefan HoldermansVector Fabrics
Dan GrossmanUniversity of Washington
Matthew FlattUniversity of Utah, USA
Matthew MightUniversity of Utah
Akimasa MorihataUniversity of Tokyo
Conor McBrideUniversity of Strathclyde
Benjamin C. PierceUniversity of Pennsylvania
David Van HornUniversity of Maryland at College Park, USA
Sebastian FischerUniversity of Kiel
Scott OwensUniversity of Kent
Meng WangUniversity of Kent
Bruno OliveiraUniversity of Hong Kong
Sam LindleyUniversity of Edinburgh
James CheneyUniversity of Edinburgh
Peter SewellUniversity of Cambridge
Joshua DunfieldUniversity of British Columbia (Canada)
Nicolas WuUniversity of Bristol, UK
Neelakantan KrishnaswamiUniversity of Birmingham
Kazutaka MatsudaTohoku University
Katsuhiro UenoTohoku University
Eijiro Sumii chairTohoku University
Keisuke NakanoThe University of Electro-Communications
Matthew FluetRochester Institute of Technology
Ralf HinzeRadboud University Nijmegen
Suresh JagannathanPurdue University (USA)
Tiark RompfPurdue University
David WalkerPrinceton University
Sungwoo ParkPOSTECH
Tim SheardPortland State University
Amal AhmedNortheastern University (USA)
Olin ShiversNortheastern University
Zhenjiang HuNational Institute of Informatics
Georg NeisMPI-SWS, Germany
Derek DreyerMPI-SWS
Lars BergstromMozilla
Adam ChlipalaMIT (USA)
Simon Peyton JonesMicrosoft Research Cambridge
Nikhil SwamyMicrosoft Research
Dimitrios VytiniotisMicrosoft Research
Tom SchrijversKU Leuven
Dominique DevrieseKU Leuven
Mike RaineyInria
Francois PottierInria
Arthur ChargueraudInria
Sam Tobin-HochstadtIndiana University, USA
Ryan NewtonIndiana University (USA)
Amr SabryIndiana University
Nobuko YoshidaImperial College London
Aleksandar NanevskiIMDEA Software Institute
Walid TahaHalmstad University, Rice Univeristy
Matthias BlumeGoogle (USA)
Andreas RossbergGoogle (Germany)
Beta ZilianiFAMAF / CONICET
Simon MarlowFacebook
Roman LeshchinskiyFacebook
Geoffrey MainlandDrexel University
Jurriaan HageDepartment of Information and Computing Sciences, Utrecht University
Jeremy GibbonsDepartment of Computer Science, University of Oxford
Nate FosterCornell University
Pierre GenevesCNRS
Kent DybvigCisco Systems, Inc. and Indiana University
Alejandro RussoChalmers University of Technology (Sweden)
Koen ClaessenChalmers University of Technology
Lars BirkedalAarhus University