ICFP/SPLASH 2025
Latest Announcements
- Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now available!
- Official tag for social media posting about the conference is
#icfpsplash25 - If you’re planning to attend FARM Performance and have a dinner on NUS campus, please, check this illustrated guide with directions to YST Conservatory and NUS UTown food courts.
- The registration is now open.
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
Proof-Carrying Neuro-Symbolic Code
Ekaterina Komendantskaya
Software Stacks for Confidential Computing Hardware
Frank Piessens
Functional Programming for Hardware Design
Satnam Singh
The Rational Programmer, A Method for Investigating Programming Language Pragmatics
Christos Dimoulas
The Quest Toward that Perfect Compiler
Zhendong Su
Automating maintenance of the Linux kernel: a perspective over 20 years
Julia Lawall
Tutorials
Concurrent Algorithms under the hood of Kotlin Coroutines
Nikita Koval
Metaprogramming in Rhombus
Matthew Flatt, Robert Bruce Findler
Testing concurrent code on JVM with Lincheck
Evgenii Moiseenko, Nikita Koval
Compiling Quantum Circuits
Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi
How to secure a distributed database such as OpenRiak with open-source tools
Nicholas Adams, Peter Clark
End-to-End Compiler Infrastructure for Emerging Tensor Accelerators
Devansh Jain, Akash Pardeshi, Marco Frigo, Kaustubh Khulbe, Charith Mendis
WebAssembly Research Tools Tutorial
Ben L. Titzer, Conrad Watt
A guided tour through Oxidized OCaml
Gavin Gray, Anil Madhavapeddy, KC Sivaramakrishnan, Will Crichton, Shriram Krishnamurthi, Chris Casinghino, Richard A. Eisenberg
| Student Outreach Sponsor, SPLASH Reception Sponsor | |
| Accessibility Sponsor, Programming Contest Sponsor | |
| Diversity Sponsor | |
| Environment Sponsor | |
| Platinum | |
| Silver | |
| Silver | |
| Bronze | |
| Bronze | |
| Bronze | |
| Bronze | |
| Bronze | |
| Bronze | |
| Startup | |
| Startup | |
| In-kind Supporter | |
| In-kind Supporter | |
| In-kind Supporter |