ICFP Programme Committee ICFP Papers

Dominique Devriese PC Chair

KU Leuven

Belgium

Peter Thiemann Associate Chair

University of Freiburg, Germany

Andreas Abel

Gothenburg University

Sweden

Guillaume Allais

University of Strathclyde

United Kingdom

Nada Amin

Harvard University

United States

Aurèle Barrière

EPFL

Switzerland

Nick Benton

Meta

United Kingdom

Jean-Philippe Bernardy

University of Gothenburg, Sweden

Sandrine Blazy

University of Rennes

France

William J. Bowman

University of British Columbia

Canada

Jonathan Immanuel Brachthäuser

University of Tübingen

Germany

Joachim Breitner

Lean FRO, LLC

Germany

William E. Byrd

University of Alabama at Birmingham, USA

United States

Ugo Dal Lago

University of Bologna & INRIA Sophia Antipolis

Italy

David Darais

Galois

United States

Anupam Das

Birmingham

Farzaneh Derakhshan

Illinois Institute of Technology

United States

Harley D. Eades III

Augusta University

United States

Andrzej Filinski

DIKU, University of Copenhagen

Robert Bruce Findler

Northwestern University

United States

Deepak Garg

MPI-SWS

Germany

Aina Linn Georges

Max Planck Institute for Software Systems (MPI-SWS)

Dan Ghica

Huawei Research and University of Birmingham

United Kingdom

Kiran Gopinathan

National University of Singapore

Singapore

Daniel Gratzer

Aarhus University

Denmark

Eva Graversen

University of Southern Denmark

Fritz Henglein

Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital

Denmark

Jan Hoffmann

Carnegie Mellon University

United States

Cătălin Hriţcu

MPI-SP

Germany

Jules Jacobs

Cornell University

Minseok Jeon

Korea University

South Korea

Ralf Jung

ETH Zurich

Switzerland

Ohad Kammar

University of Edinburgh

United Kingdom

Alex Kavvos

University of Bristol

United Kingdom

Marie Kerjean

CNRS, Université Sorbonne Paris Nord

France

András Kovács

University of Gothenburg

Damiano Mazza

CNRS

France

Guillaume Melquiond

Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria

France

Alexandre Moine

NYU

United States

Liam O'Connor

Australian National University

Australia

Hakjoo Oh

Korea University

South Korea

Klaus Ostermann

University of Tübingen

Germany

Daniela Petrisan

IRIF, Université Paris Diderot

France

Simon Peyton Jones

Epic Games

United Kingdom

John Reppy

University of Chicago, USA

Tiark Rompf

Purdue University

United States

Michael Sammler

Institute of Science and Technology Austria

Austria

Gabriel Scherer

Université Paris Cité - Inria - CNRS

France

Jeremy G. Siek

Indiana University, USA

United States

KC Sivaramakrishnan

Tarides; IIT Madras

India

Yahui Song

National University of Singapore

Singapore

Nikhil Swamy

Microsoft Research

United States

Christine Tasson

Sorbonne Université — LIP6

France

Matías Toro

University of Chile

Chile

Hiroshi Unno

Tohoku University

Japan

Nachiappan Valliappan

University of Edinburgh

United Kingdom

Guannan Wei

Inria/ENS; Tufts University

France

Stephanie Weirich

University of Pennsylvania

United States

Leo White

Jane Street

United Kingdom

Théo Winterhalter

Inria

France

Ningning Xie

University of Toronto; Google DeepMind

Canada

Irene Yoon

Inria

France