THE PEOPLE BEHIND THE CONFERENCE
ICFP 2023
ACM SIGPLAN International Conference on Function Programming
Source-attributed rosters checked 2026-09-13. 116 collected records; 82 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: PLMW no named roster; all other linked hosts individually checked.
Accessibility Co-Chair
2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Calvin BeckIdentity not yet linked | Accessibility Co-Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Vadim Zaliva | Accessibility Co-Chair | University of Cambridge, UK | Conference website ↗Checked 2026-09-13 |
Artifact Evaluation Chair
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Jannis LimpergIdentity not yet linked | Artifact Evaluation Chair | University of Munich (LMU) | Conference website ↗Checked 2026-09-13 |
Artifact Evaluation Co-Chair
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Quentin StiévenartIdentity not yet linked | Artifact Evaluation Co-Chair | Vrije Universiteit Brussel | Conference website ↗Checked 2026-09-13 |
Diversity Committee Chair
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Daan LeijenIdentity not yet linked | Diversity Committee Chair | Microsoft Research | Conference website ↗Checked 2026-09-13 |
Diversity Committee Member
2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Gabriele Keller | Diversity Committee Member | Utrecht University | Conference website ↗Checked 2026-09-13 |
| Alejandro RussoIdentity not yet linked | Diversity Committee Member | Chalmers University of Technology, Sweden | Conference website ↗Checked 2026-09-13 |
General Chair
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Nikhil SwamyIdentity not yet linked | General Chair | Microsoft Research | Conference website ↗Checked 2026-09-13 |
ICFP Papers Program Committee
54 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Sam LindleyIdentity not yet linked | PC Chair | University of Edinburgh | Conference website ↗Checked 2026-09-13 |
| Matthew FlattIdentity not yet linked | Associate Chair | University of Utah | Conference website ↗Checked 2026-09-13 |
| Michael D. Adams | Program Committee Member | National University of Singapore | Conference website ↗Checked 2026-09-13 |
| Lennart AugustssonIdentity not yet linked | Program Committee Member | Epic Games | Conference website ↗Checked 2026-09-13 |
| Josh Berdine | Program Committee Member | Meta | Conference website ↗Checked 2026-09-13 |
| Aggelos BiboudisIdentity not yet linked | Program Committee Member | Oracle | Conference website ↗Checked 2026-09-13 |
| Laura BocchiIdentity not yet linked | Program Committee Member | University of Kent | Conference website ↗Checked 2026-09-13 |
| Jonathan Immanuel Brachthäuser | Program Committee Member | University of Tübingen | Conference website ↗Checked 2026-09-13 |
| Oliver BračevacIdentity not yet linked | Program Committee Member | Galois, Inc. Galois (United States) · INC | Conference website ↗Checked 2026-09-13 |
| James ChapmanIdentity not yet linked | Program Committee Member | Input Output | Conference website ↗Checked 2026-09-13 |
| Liang-Ting ChenIdentity not yet linked | Program Committee Member | Academia Sinica | Conference website ↗Checked 2026-09-13 |
| Andreea CosteaIdentity not yet linked | Program Committee Member | School of Computing, National University Of Singapore School of Computing · National University of Singapore | Conference website ↗Checked 2026-09-13 |
| Stephen Dolan | Program Committee Member | Jane Street | Conference website ↗Checked 2026-09-13 |
| Paul DownenIdentity not yet linked | Program Committee Member | University of Massachusetts Lowell | Conference website ↗Checked 2026-09-13 |
| Sebastian ErdwegIdentity not yet linked | Program Committee Member | JGU Mainz | Conference website ↗Checked 2026-09-13 |
| Simon J. GayIdentity not yet linked | Program Committee Member | University of Glasgow, UK | Conference website ↗Checked 2026-09-13 |
| Jeremy Gibbons | Program Committee Member | Department of Computer Science, University of Oxford | Conference website ↗Checked 2026-09-13 |
| Andy GillIdentity not yet linked | Program Committee Member | Rain Neuromorphics, USA | Conference website ↗Checked 2026-09-13 |
| Hannah Gommerstadt | Program Committee Member | Vassar College | Conference website ↗Checked 2026-09-13 |
| Michael Greenberg | Program Committee Member | Stevens Institute of Technology | Conference website ↗Checked 2026-09-13 |
| Andrew K. Hirsch | Program Committee Member | University at Buffalo, SUNY University at Buffalo · State University of New York | Conference website ↗Checked 2026-09-13 |
| Zhenjiang Hu | Program Committee Member | Peking University | Conference website ↗Checked 2026-09-13 |
| Chung-Kil Hur | Program Committee Member | Seoul National University | Conference website ↗Checked 2026-09-13 |
| Patrik JanssonIdentity not yet linked | Program Committee Member | Chalmers University of Technology | Conference website ↗Checked 2026-09-13 |
| Alan Jeffrey | Program Committee Member | Roblox | Conference website ↗Checked 2026-09-13 |
| Yukiyoshi Kameyama | Program Committee Member | University of Tsukuba | Conference website ↗Checked 2026-09-13 |
| Shin-ya KatsumataIdentity not yet linked | Program Committee Member | National Institute of Informatics | Conference website ↗Checked 2026-09-13 |
| Delia KesnerIdentity not yet linked | Program Committee Member | Université Paris Cité - CNRS - IRIF; Institut Universitaire de France Université Paris Cité - CNRS - IRIF · Institut Universitaire de France | Conference website ↗Checked 2026-09-13 |
| Gerwin KleinIdentity not yet linked | Program Committee Member | Proofcraft; UNSW | Conference website ↗Checked 2026-09-13 |
| José Pedro MagalhãesIdentity not yet linked | Program Committee Member | Standard Chartered Bank | Conference website ↗Checked 2026-09-13 |
| Sonia MarinIdentity not yet linked | Program Committee Member | University of Birmingham | Conference website ↗Checked 2026-09-13 |
| Dylan McDermottIdentity not yet linked | Program Committee Member | Reykjavik University | Conference website ↗Checked 2026-09-13 |
| James McKinnaIdentity not yet linked | Program Committee Member | Heriot-Watt University | Conference website ↗Checked 2026-09-13 |
| Jan MidtgaardIdentity not yet linked | Program Committee Member | Tarides | Conference website ↗Checked 2026-09-13 |
| Sean MossIdentity not yet linked | Program Committee Member | University of Oxford | Conference website ↗Checked 2026-09-13 |
| Lionel ParreauxIdentity not yet linked | Program Committee Member | HKUST (The Hong Kong University of Science and Technology) | Conference website ↗Checked 2026-09-13 |
| Benjamin C. Pierce | Program Committee Member | University of Pennsylvania | Conference website ↗Checked 2026-09-13 |
| Gabriel RadanneIdentity not yet linked | Program Committee Member | Inria | Conference website ↗Checked 2026-09-13 |
| Tahina Ramananandro | Program Committee Member | Microsoft Research | Conference website ↗Checked 2026-09-13 |
| Talia Ringer | Program Committee Member | University of Illinois at Urbana-Champaign | Conference website ↗Checked 2026-09-13 |
| Amos RobinsonIdentity not yet linked | Program Committee Member | Australian National University, Australia | Conference website ↗Checked 2026-09-13 |
| Susmit Sarkar | Program Committee Member | University of St. Andrews | Conference website ↗Checked 2026-09-13 |
| Satnam SinghIdentity not yet linked | Program Committee Member | Groq | Conference website ↗Checked 2026-09-13 |
| Armando Solar-Lezama | Program Committee Member | Massachusetts Institute of Technology | Conference website ↗Checked 2026-09-13 |
| Arnaud SpiwackIdentity not yet linked | Program Committee Member | Tweag | Conference website ↗Checked 2026-09-13 |
| Kathrin Stark | Program Committee Member | Heriot-Watt University | Conference website ↗Checked 2026-09-13 |
| Jonathan Sterling | Program Committee Member | Aarhus University | Conference website ↗Checked 2026-09-13 |
| Éric Tanter | Program Committee Member | University of Chile | Conference website ↗Checked 2026-09-13 |
| Peter ThiemannIdentity not yet linked | Program Committee Member | University of Freiburg, Germany | Conference website ↗Checked 2026-09-13 |
| Sam Tobin-Hochstadt | Program Committee Member | Indiana University | Conference website ↗Checked 2026-09-13 |
| Takeshi Tsukada | Program Committee Member | Chiba University | Conference website ↗Checked 2026-09-13 |
| Niki Vazou | Program Committee Member | IMDEA Software Institute | Conference website ↗Checked 2026-09-13 |
| Marcos VieraIdentity not yet linked | Program Committee Member | University of the Republic, Uruguay | Conference website ↗Checked 2026-09-13 |
| Beta ZilianiIdentity not yet linked | Program Committee Member | FAMAF, UNC and Manas.Tech | Conference website ↗Checked 2026-09-13 |
Industrial Relations Co-Chair
2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Mathieu BoespflugIdentity not yet linked | Industrial Relations Co-Chair | Tweag I/O | Conference website ↗Checked 2026-09-13 |
| Atze DijkstraIdentity not yet linked | Industrial Relations Co-Chair | Standard Chartered Bank | Conference website ↗Checked 2026-09-13 |
Local Organization Co-Chair
2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Guido Martínez | Local Organization Co-Chair | Microsoft Research | Conference website ↗Checked 2026-09-13 |
| Tahina Ramananandro | Local Organization Co-Chair | Microsoft Research | Conference website ↗Checked 2026-09-13 |
PC Chair
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Sam LindleyIdentity not yet linked | PC Chair | University of Edinburgh | Conference website ↗Checked 2026-09-13 |
Programming Contest Co-Organiser
2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Aymeric Fromherz | Programming Contest Co-Organiser | Inria | Conference website ↗Checked 2026-09-13 |
| Alperen KelesIdentity not yet linked | Programming Contest Co-Organiser | University of Maryland at College Park | Conference website ↗Checked 2026-09-13 |
Publicity Chair
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Ilya Sergey | Publicity Chair | National University of Singapore | Conference website ↗Checked 2026-09-13 |
Student Research Competition Chair
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Daniel HillerströmIdentity not yet linked | Student Research Competition Chair | Huawei Zurich Research Center | Conference website ↗Checked 2026-09-13 |
Student Research Competition Co-Chair
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| J. Garrett Morris | Student Research Competition Co-Chair | University of Iowa | Conference website ↗Checked 2026-09-13 |
Student Volunteer Co-Chair
2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Audrey SeoIdentity not yet linked | Student Volunteer Co-Chair | University of Washington, Seattle | Conference website ↗Checked 2026-09-13 |
| Yisu Remy WangIdentity not yet linked | Student Volunteer Co-Chair | University of Washington | Conference website ↗Checked 2026-09-13 |
Treasurer & Conference Manager
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Neringa YoungIdentity not yet linked | Treasurer & Conference Manager | Not stated in source | Conference website ↗Checked 2026-09-13 |
Video Co-Chair
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Guilherme EspadaIdentity not yet linked | Video Co-Chair | LASIGE, University of Lisbon Laboratório de Sistemas Informáticos de Grande Escala · University of Lisbon | Conference website ↗Checked 2026-09-13 |
| John Hui | Video Co-Chair | Columbia University, New York | Conference website ↗Checked 2026-09-13 |
| Apoorv Ingle | Video Co-Chair | University of Iowa | Conference website ↗Checked 2026-09-13 |
Workshops Co-Chair
2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Arthur Azevedo de AmorimIdentity not yet linked | Workshops Co-Chair | Rochester Institute of Technology, USA | Conference website ↗Checked 2026-09-13 |
| Yannick Forster | Workshops Co-Chair | Inria | Conference website ↗Checked 2026-09-13 |
DeclMed
Workshop organizers 2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Sierra MoxonIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Arun IsaacIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
Erlang
Workshop organizers 1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Kiko Fernandez-ReyesIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
FARM
Workshop organizers 3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| John LeoIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Mae MilanoIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Kaley EatonIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
FHPNC
Workshop organizers 3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Gabriele KellerIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sam WestrickIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Mary SheeranIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
FUNARCH
Workshop organizers 3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Stefan WehrIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Joachim BreitnerIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Michael SperberIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
Haskell
Workshop organizers 5 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Niki Vazou | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Edsko de VriesIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Facundo DomínguezIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Leonidas LampropoulosIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Antal Spector-ZabuskyIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
HIW
Workshop organizers 4 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Ryan ScottIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Li-yao XiaIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Ben GamariIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Iavor DiatchkiIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
HOPE
Workshop organizers 2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Max S. NewIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Daniel HillerströmIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
miniKanren
Workshop organizers 1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| William E. ByrdIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
ML Family
Workshop organizers 2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Jacques GarrigueIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Oleg KiselyovIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
OCaml
Workshop organizers 4 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Benoît MontaguIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Chris CasinghinoIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Jacques GarrigueIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Jeremy YallopIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
Scheme
Workshop organizers 2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Jason HemannIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Marco T MorazanIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
TyDe
Workshop organizers 4 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Pierre-Evariste DagandIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Reynald AffeldtIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Filip SieczkowskiIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Ningning XieIdentity not yet linked | Workshop Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |