ICFP 2023
Mon 4 - Sat 9 September 2023
Seattle, Washington, United States
Toggle navigation
Attending
Hotel: The Westin Seattle
Call For Sponsorship
Accessibility
Tracks
ICFP 2023
Artifact Evaluation
ICFP Research Papers
ICFP Workshops
Student Research Competition
Workshops
DeclMed
Erlang
FARM
FHPNC
FUNARCH
HIW
HOPE
Higher-order, Typed, Inferred, Strict: ML Family Workshop
OCaml
Scheme
TyDe
miniKanren
Co-hosted Symposia
Haskell
Organization
ICFP 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Artifact Evaluation
Artifact Evaluation Committee
Evaluators
ICFP Research Papers
Student Research Competition
Contributors
People Index
Workshops
DeclMed
Organizing Committee
Program Committee
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPNC
Organizing Committee
Program Committee
FUNARCH
Program Committee
HIW
Program Committee
HOPE
Program Committee
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Program Committee
Organizing Committee
OCaml
Program Committee
Scheme
Organizing Committee
Program Committee
TyDe
Organization Committee
Program Committee
miniKanren
Program Committee
Co-hosted Symposia
Haskell
Program Committee
Search
Series
Series
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2023
(
series
) /
ICFP Research Papers
/
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
x
Fri 24 Mar 22:12