Program committee



Name Affiliation
Roman Leshchinskiy
Lars Birkedal Aarhus University
Koen Claessen Chalmers University of Technology
Alejandro Russo Chalmers University of Technology (Sweden)
Kent Dybvig Cisco Systems, Inc. and Indiana University
Pierre Geneves CNRS
Nate Foster Cornell University
Jeremy Gibbons Department of Computer Science, University of Oxford
Jurriaan Hage Department of Information and Computing Sciences, Utrecht University
Geoffrey Mainland Drexel University
Simon Marlow Facebook
Beta Ziliani FAMAF / CONICET
Andreas Rossberg Google (Germany)
Matthias Blume Google (USA)
Walid Taha Halmstad University, Rice Univeristy
Aleksandar Nanevski IMDEA Software Institute
Nobuko Yoshida Imperial College London
Amr Sabry Indiana University
Ryan Newton Indiana University (USA)
Sam Tobin-Hochstadt Indiana University, USA
Arthur Chargueraud Inria
Francois Pottier Inria
Mike Rainey Inria
Dominique Devriese KU Leuven
Tom Schrijvers KU Leuven
Dimitrios Vytiniotis Microsoft Research
Nikhil Swamy Microsoft Research
Simon Peyton Jones Microsoft Research Cambridge
Adam Chlipala MIT (USA)
Lars Bergstrom Mozilla
Derek Dreyer MPI-SWS
Georg Neis MPI-SWS, Germany
Zhenjiang Hu National Institute of Informatics
Olin Shivers Northeastern University
Amal Ahmed Northeastern University (USA)
Tim Sheard Portland State University
Sungwoo Park POSTECH
David Walker Princeton University
Tiark Rompf Purdue University
Suresh Jagannathan Purdue University (USA)
Ralf Hinze Radboud University Nijmegen
Matthew Fluet Rochester Institute of Technology
Keisuke Nakano The University of Electro-Communications
Eijiro Sumii chair Tohoku University
Katsuhiro Ueno Tohoku University
Kazutaka Matsuda Tohoku University
Neelakantan Krishnaswami University of Birmingham
Nicolas Wu University of Bristol, UK
Joshua Dunfield University of British Columbia (Canada)
Peter Sewell University of Cambridge
James Cheney University of Edinburgh
Sam Lindley University of Edinburgh
Bruno Oliveira University of Hong Kong
Meng Wang University of Kent
Scott Owens University of Kent
Sebastian Fischer University of Kiel
David Van Horn University of Maryland at College Park, USA
Benjamin C. Pierce University of Pennsylvania
Conor McBride University of Strathclyde
Akimasa Morihata University of Tokyo
Matthew Might University of Utah
Matthew Flatt University of Utah, USA
Dan Grossman University of Washington
Stefan Holdermans Vector Fabrics
Ben Lippmeier Vertigo Technology
Andres Löh Well-Typed LLP
Daniel Licata Wesleyan University