Program Committee ICFP Research Papers

Sam Lindley PC Chair

University of Edinburgh

United Kingdom

Matthew Flatt Associate Chair

University of Utah

United States

Michael D. Adams

National University of Singapore

United States

Lennart Augustsson

Epic Games

Josh Berdine

Meta

United Kingdom

Aggelos Biboudis

Oracle

Switzerland

Laura Bocchi

University of Kent

United Kingdom

Jonathan Immanuel Brachthäuser

University of Tübingen

Germany

Oliver Bračevac

Purdue University

United States

James Chapman

Input Output

Liang-Ting Chen

Academia Sinica

Taiwan

Andreea Costea

School of Computing, National University Of Singapore

Singapore

Stephen Dolan

Jane Street

Paul Downen

University of Massachusetts Lowell

United States

Sebastian Erdweg

JGU Mainz

Germany

Simon J. Gay

University of Glasgow, UK

United Kingdom

Jeremy Gibbons

Department of Computer Science, University of Oxford

United Kingdom

Andy Gill

Rain Neuromorphics, USA

Hannah Gommerstadt

Vassar College

Michael Greenberg

Stevens Institute of Technology

United States

Andrew K. Hirsch

University at Buffalo

Zhenjiang Hu

Peking University

China

Chung-Kil Hur

Seoul National University

South Korea

Patrik Jansson

Chalmers University of Technology

Sweden

Alan Jeffrey

Roblox

United States

Yukiyoshi Kameyama

University of Tsukuba

Japan

Shin-ya Katsumata

National Institute of Informatics

Japan

Delia Kesner

Université Paris Cité - CNRS - IRIF; Institut Universitaire de France

France

Gerwin Klein

Proofcraft; UNSW

Australia

José Pedro Magalhães

Standard Chartered Bank

United Kingdom

Sonia Marin

University of Birmingham

United Kingdom

Dylan McDermott

Reykjavik University

Iceland

James McKinna

Heriot-Watt University

United Kingdom

Jan Midtgaard

Tarides

Denmark

Sean Moss

University of Oxford

Lionel Parreaux

HKUST (The Hong Kong University of Science and Technology)

Benjamin C. Pierce

University of Pennsylvania

United States

Gabriel Radanne

Inria

France

Tahina Ramananandro

Microsoft Research

United States

Talia Ringer

University of Illinois at Urbana-Champaign

United States

Amos Robinson

Ambiata (Australia)

Australia

Susmit Sarkar

University of St. Andrews

Satnam Singh

Groq

United States

Armando Solar-Lezama

Massachusetts Institute of Technology

United States

Arnaud Spiwack

Tweag

France

Kathrin Stark

Heriot-Watt University

United Kingdom

Jonathan Sterling

Aarhus University

Denmark

Éric Tanter

University of Chile

Peter Thiemann

University of Freiburg, Germany

Sam Tobin-Hochstadt

Indiana University

Takeshi Tsukada

Chiba University

Japan

Niki Vazou

IMDEA Software Institute

Marcos Viera

University of the Republic, Uruguay

Beta Ziliani

FAMAF, UNC and Manas.Tech

Argentina