ICFP/SPLASH 2025
Latest Announcements
- Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now available!
- The registration is now open.
Early Registration deadline: 31 August 2025.
Activities
- Arriving early or staying after the conference? Join the Outdoor Activities on October 11 and 19!
- FARM Performance will take place on October 12, 7pm in YST Conservatory of NUS.
- Check out our Exploring Singapore guide for attractions and food to try during your visit.
Travel Information
- Read the travel information page for information about visas, accommodation, and travel tips.
Welcome to the website of the joint ICFP/SPLASH 2025 conference!
For the first time, the two leading SIGPLAN venues—ICFP and SPLASH—will be co-located in Singapore in 2025:
-
ICFP 2025: The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual programming language conference that provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries.
-
SPLASH 2025: The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering.
We couldn’t be more excited to host academics and practitioners from all around the globe in one of the most vibrant and safe cities in the world!
| Oct 12 Sun |
Oct 13 Mon |
Oct 14 Tue |
Oct 15 Wed |
Oct 16 Thu |
Oct 17 Fri |
Oct 18 Sat |
|---|---|---|---|---|---|---|
| Tutorials | ICFP | OOPSLA | ||||
| PLMW | SAS | PAINT | HASKELL | SPLASH-E | ||
| TyDE | Doctoral Symposium | HATRA | LMPL | ONWARD! | ||
| FARM | SCALA | OlivierFest | ML Family | OCAML | REBASE | |
| HOPE | PROPL | MPLR | VMIL | SCHEME | MINI KANREN | Sponsor Invited Talks |
| Erlang | IWACO | WASM | ||||
| FUNARCH | ICFP Mentoring Lunch | LGBTQ Lunch | URM Lunch | SPLASH Mentoring Lunch | ||
| FARM Concert | ICFP Reception & Posters | Women in PL Dinner | SPLASH Reception & Posters | |||
Keynotes
Functional Programming for Hardware Design
Satnam Singh
Software Stacks for Confidential Computing Hardware
Frank Piessens
Automating maintenance of the Linux kernel: a perspective over 20 years
Julia Lawall
Proof-Carrying Neuro-Symbolic Code
Ekaterina Komendantskaya
The Quest Toward that Perfect Compiler
Zhendong Su
The Rational Programmer, A Method for Investigating Programming Language Pragmatics
Christos Dimoulas
Tutorials
A guided tour through Oxidized OCaml
Anil Madhavapeddy, KC Sivaramakrishnan, Richard A. Eisenberg, Chris Casinghino
WebAssembly Research Tools Tutorial
Ben L. Titzer, Conrad Watt
How to secure a distributed database such as OpenRiak with open-source tools
Nicholas Adams, Peter Clark
Concurrent Algorithms under the hood of Kotlin Coroutines
Nikita Koval
End-to-End Compiler Infrastructure for Emerging Tensor Accelerators
Devansh Jain, Akash Pardeshi, Marco Frigo, Kaustubh Khulbe, Charith Mendis
Compiling Quantum Circuits
Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi
Metaprogramming in Rhombus
Matthew Flatt
Testing concurrent code on JVM with Lincheck
Evgenii Moiseenko, Nikita Koval
| Tue 23 Sep 2025 Haskell Author Notification for Talk Proposals | |||||||||||||||||||||||||||||||||||||||||
| Tue 23 Sep 2025 SPLASH -E Non-archival Extended Abstract Submission | |||||||||||||||||||||||||||||||||||||||||
| Fri 3 Oct 2025 miniKanren Camera-ready deadline | |||||||||||||||||||||||||||||||||||||||||
| Sun 12 Oct 2025 FUNARCH Workshop | |||||||||||||||||||||||||||||||||||||||||
| Sun 12 Oct 2025 TyDe Workshop | |||||||||||||||||||||||||||||||||||||||||
| Sun 12 Oct 2025 Erlang Workshop | |||||||||||||||||||||||||||||||||||||||||
| Mon 13 Oct 2025 SPLASH Doctoral Symposium Symposium | |||||||||||||||||||||||||||||||||||||||||
| Mon 13 Oct 2025 PROPL Workshop | |||||||||||||||||||||||||||||||||||||||||
| Mon 13 - Tue 14 Oct 2025 SAS Conference Date | |||||||||||||||||||||||||||||||||||||||||
| Tue 14 Oct 2025 MPLR Conference | |||||||||||||||||||||||||||||||||||||||||
| Tue 14 Oct 2025 HATRA Workshop | |||||||||||||||||||||||||||||||||||||||||
| Student Outreach Sponsor, SPLASH Reception Sponsor | |
| Accessibility Sponsor, Programming Contest Sponsor | |
| Diversity Sponsor | |
| Environment Sponsor | |
| Platinum | |
| Silver | |
| Silver | |
| Bronze | |
| Bronze | |
| Bronze | |
| Bronze | |
| Bronze | |
| Startup | |
| Startup | |
| In-kind Supporter | |
| In-kind Supporter | |
| In-kind Supporter |