Program Committee ICFP Papers

Manuel Serrano PC Chair

Inria; Université Côte d’Azur

France

Robert Bruce Findler Associate PC Chair

Northwestern University

United States

Steve Zdancewic Associate PC Chair

University of Pennsylvania

United States

Alejandro Aguirre

Aarhus University

Denmark

Stephanie Balzer

Carnegie Mellon University

United States

Julia Belyakova

Purdue University

United States

Tej Chajed

UW-Madison

United States

Liang-Ting Chen

Academia Sinica

Taiwan

Michael Coblenz

University of California, San Diego

United States

David Darais

Stealth Software Technologies

United States

Benjamin Delaware

Purdue University

United States

Christos Dimoulas

Northwestern University

United States

Derek Dreyer

MPI-SWS

Germany

Nate Foster

EPFL; Jane Street

Switzerland

Kimball Germane

Brigham Young University

United States

Ben Greenman

University of Utah

United States

Steven Holtzen

Northeastern University

United States

Zhenjiang Hu

Peking University

China

Jacques-Henri Jourdan

LMF, CNRS, Université Paris-Saclay

France

Leonidas Lampropoulos

University of Maryland at College Park

United States

Lukas Lazarek

Brown University

Xavier Leroy

Collège de France

France

Assia Mahboubi

INRIA

France

Cristina Matache

University of Edinburgh

Jay McCarthy

Reach

United States

Olivier Melançon

Université de Montréal

Canada

Mae Milano

Princeton University

United States

Ana Milanova

Rensselaer Polytechnic Institute

Zachary Palmer

Swarthmore College

United States

Norman Ramsey

Tufts University

United States

Xavier Rival

Inria - CNRS - Ecole Normale Superieure de Paris - PSL University

France

Alan Schmitt

Inria

France

Tom Schrijvers

KU Leuven

Belgium

Taro Sekiyama

National Institute of Informatics

Japan

Eijiro Sumii

Tohoku University

Japan

Zachary Tatlock

University of Washington

United States

Amin Timany

Aarhus University

Denmark

Ben L. Titzer

Carnegie Mellon University

United States

Niki Vazou

IMDEA Software Institute

Dimitrios Vytiniotis

Google DeepMind

United Kingdom

Yuepeng Wang

Simon Fraser University

Canada

Sam Westrick

New York University

United States

Jeremy Yallop

University of Cambridge

United Kingdom

Zhixuan Yang

Imperial College London

United Kingdom

Yizhou Zhang

University of Waterloo

Canada

Elena Zucca

University of Genoa

Italy

Vikraman Choudhury

Alma Mater Studiorum - Università di Bologna

Italy

Davide Davoli

MPI-SP

Germany

Alastair F. Donaldson

Imperial College London

United Kingdom

Didier Rémy

Inria

Ross Tate

United States

David Walker

Princeton University

United States