External Review Committee ICFP Research Papers

Amal Ahmed Committee Member

Northeastern University

Lars Bergstrom Committee Member

Mozilla Research

Lars Birkedal Committee Member

Aarhus University, Denmark

Denmark

Matthias Blume Committee Member

Google

Arthur Charguéraud Committee Member

Inria, France

France

James Cheney Committee Member

University of Edinburgh

United States

Adam Chlipala Committee Member

MIT

United States

Dominique Devriese Committee Member

iMinds, Belgium

Belgium

Derek Dreyer Committee Member

MPI-SWS, Germany

R. Kent Dybvig Committee Member

Cisco Systems, Inc

Sebastian Fischer Committee Member

Freelance

Matthew Flatt Committee Member

University of Utah

United States

Pierre Geneves Committee Member

CNRS

France

Jeremy Gibbons Committee Member

University of Oxford, UK

Ralf Hinze Committee Member

Radboud University Nijmegen

Stefan Holdermans Committee Member

Vector Fabrics

Netherlands

Zhenjiang Hu Committee Member

National Institute of Informatics, Japan

Japan

Suresh Jagannathan Committee Member

DARPA

United States

Neel Krishnaswami Committee Member

University of Birmingham, UK

Daniel R. Licata Committee Member

Wesleyan University

United States

Sam Lindley Committee Member

University of Edinburgh, UK

Ben Lippmeier Committee Member

University of New South Wales

Andres Löh Committee Member

Well-Typed LLP

Germany

Geoffrey Mainland Committee Member

Drexel University

Simon Marlow Committee Member

Facebook

Kazutaka Matsuda Committee Member

Tohoku University

Conor McBride Committee Member

University of Strathclyde

Matthew Might Committee Member

University of Utah, USA

United States

Akimasa Morihata Committee Member

University of Tokyo, Japan

Japan

Georg Neis Committee Member

MPI-SWS & Saarland University

Ryan R. Newton Committee Member

Indiana University, USA

Bruno C. d. S. Oliveira Committee Member

University of Hong Kong, China

Simon Peyton Jones Committee Member

Microsoft Research, UK

Benjamin C. Pierce Committee Member

University of Pennsylvania

United States

François Pottier Committee Member

INRIA

Mike Rainey Committee Member

Inria, France

Tiark Rompf Committee Member

Purdue & Oracle Labs

Andreas Rossberg Committee Member

Google

Germany

Alejandro Russo Committee Member

Chalmers University of Technology

Peter Sewell Committee Member

University of Cambridge

Tim Sheard Committee Member

Portland State University

Nikhil Swamy Committee Member

Microsoft Research

United States

Sam Tobin-Hochstadt Committee Member

Indiana University

United States

Katsuhiro Ueno Committee Member

Tohoku University, Japan

David Van Horn Committee Member

University of Maryland, USA

Meng Wang Committee Member

University of Kent, UK

Singapore

Nicolas Wu Committee Member

University of Bristol, UK

United Kingdom

Beta Ziliani Committee Member

Universidad Nacional de Córdoba