ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025
Singapore
Toggle navigation
Attending
Venue (Sunday Workshops): NUS School of Computing
Venue (Main Conference): Marina Bay Sands Convention Centre
Hotels: Concorde Hotel Singapore
Hotels: Wyndham Singapore Hotel
Hotels: Rendezvous Hotel Singapore
Travel Information and Visas
Things to do in Singapore
Code of Conduct
Call for Sponsorship
Tracks
ICFP/SPLASH 2025
Workshops
Co-hosted Conferences
ICFP
ICFP
ICFP
Artifacts
ICFP
Papers
ICFP
Student Research Competition
MPLR
SPLASH
SPLASH
SPLASH
FARM Performance
SPLASH
OOPSLA
SPLASH
OOPSLA Artifacts
SPLASH
Onward! Essays
SPLASH
Onward! Papers
SPLASH
Posters
SPLASH
-E
SPLASH
Student Research Competition
Workshops
Erlang
FARM
FProPer
FUNARCH
HATRA
HOPE
IWACO
Industry Forum
LMPL
ML Family Workshop
OCaml
PAINT
PLMW @ ICFP/SPLASH
PROPL
Scheme
The Scala Workshop
TyDe
VMIL
WebAssembly Workshop
@ ICFP/SPLASH
miniKanren and Relational Programming Workshop
Co-hosted Symposia
Haskell
SAS
SAS
SAS
Artifact
Organization
ICFP/SPLASH 2025 Committees
Organizing Committee
Track Committees
Workshop Selection Committee
Contributors
People Index
Co-hosted Conferences
ICFP
Organizing Committee
Steering Committee
ICFP Artifacts
ICFP Papers
Student Research Competition
MPLR
Program Committee
Steering Committee
SPLASH
Organizing Committee
Steering Committee
FARM Performance
OOPSLA
OOPSLA Review Committee
OOPSLA
External Review / Artifact Evaluation Committee
OOPSLA Artifacts
Onward! Essays
Program Committee
Onward! Essays
Onward! Steering Committee
Onward! Papers
Program Committee
Onward! Papers
Steering Committee
Posters
SPLASH-E
Program Commitee
SPLASH-E
Steering Committee
Student Research Competition
Organizers
Student Research Competition
Committee
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
FProPer
Program Committee
FUNARCH
Program Committee
HATRA
Organizing Committee
Program Committee
HOPE
Program Committee
IWACO
Organizing Committee
Industry Forum
Organizing Committee
LMPL
Organizing Committee
Keynote Speaker
Program Committee
ML Family Workshop
Program Committee
OCaml
Program Committee
PAINT
Program Committee
PLMW @ ICFP/SPLASH
Program Committee
PROPL
Chairs
Program Committee
Scheme
Organizing Committee
Program Committee
The Scala Workshop
Organizing Committee
Program Committee
TyDe
Organising Committee
Program Committee
VMIL
Organizing Committee
Program Committee
WebAssembly Workshop
Organizers
miniKanren and Relational Programming Workshop
Organizing Committee
Program Committee
Co-hosted Symposia
Haskell
Program Committee
SAS
SAS 2025
Organizing Committee
SAS 2025
Program Committee
SAS 2025
Steering Committee
SAS Artifact
Search
Series
Sign in
Sign up
ICFP/SPLASH 2025
(
series
) /
LMPL 2025 (
series
) /
LMPL 2025
/
Program Committee
LMPL
Earl T. Barr
University College London
United Kingdom
Yuandao Cai
Hong Kong University of Science and Technology
China
Jocelyn (Qiaochu) Chen
New York University, University of Alberta
United States
Benjamin Delaware
Purdue University
United States
Peng Di
Ant Group & UNSW Sydney
China
Saikat Dutta
Cornell University
United States
Khashayar Etemadi
KTH Royal Institute of Technology
Gang Fan
Ant Group
Yang Feng
Nanjing University
China
Jingxuan He
University of California at Berkeley
United States
Pinjia He
Chinese University of Hong Kong, Shenzhen
China
Maliheh Izadi
Delft University of Technology
Netherlands
Yu Jiang
Tsinghua University
China
Shaohua Li
The Chinese University of Hong Kong
Hong Kong SAR China
Yi Li
Nanyang Technological University
Singapore
Ziyang Li
University of Pennsylvania
United States
Hongyu Liu
Huawei China
China
Yepang Liu
Southern University of Science and Technology
China
Yiling Lou
Fudan University
China
Kexin Pei
The University of Chicago
United States
Julia Rubin
The University of British Columbia
Canada
Ting Su
East China Normal University
China
Yulei Sui
University of New South Wales
Australia
Huaijin Wang
Ohio State University
China
Shuai Wang
Hong Kong University of Science and Technology
China
Ming Wen
Huazhong University of Science and Technology
China
Rongxin Wu
Xiamen University
China
Zhou Yang
Singapore Management University; University of Alberta
Singapore
Peisen Yao
Zhejiang University
China
Yuan Yao
Nanjing University
China
Yuanyuan Yuan
ETH Zurich
Wuqi Zhang
Mega Labs
Hong Kong SAR China
Dizhi Zhou
x
Fri 13 Jun 11:19