TutorialsICFP/SPLASH 2025
This program is tentative and subject to change.
Sun 12 OctDisplayed time zone: Perth change
09:00 - 10:30 | |||
09:00 90mTalk | WebAssembly Research Tools Tutorial Tutorials | ||
09:00 - 10:30 | |||
09:00 90mTalk | Testing concurrent code on JVM with Lincheck Tutorials | ||
09:00 - 10:30 | |||
09:00 90mTalk | Compiling Quantum Circuits Tutorials Amanda Xu University of Wisconsin-Madison, Abtin Molavi University of Wisconsin-Madison, Swamit Tannu University of Wisconsin-Madison, Aws Albarghouthi University of Wisconsin-Madison | ||
09:00 - 10:30 | |||
09:00 90mTalk | Metaprogramming in Rhombus Tutorials Matthew Flatt University of Utah | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 90mTalk | WebAssembly Research Tools Tutorial Tutorials | ||
11:00 - 12:30 | |||
11:00 90mTalk | Testing concurrent code on JVM with Lincheck Tutorials | ||
11:00 - 12:30 | |||
11:00 90mTalk | Compiling Quantum Circuits Tutorials Amanda Xu University of Wisconsin-Madison, Abtin Molavi University of Wisconsin-Madison, Swamit Tannu University of Wisconsin-Madison, Aws Albarghouthi University of Wisconsin-Madison | ||
11:00 - 12:30 | |||
11:00 90mTalk | Metaprogramming in Rhombus Tutorials Matthew Flatt University of Utah | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 90mTalk | A guided tour through Oxidized OCaml Tutorials Anil Madhavapeddy University of Cambridge, UK, KC Sivaramakrishnan IIT Madras and Tarides, Richard A. Eisenberg Jane Street, Chris Casinghino Jane Street | ||
14:00 - 15:30 | |||
14:00 90mTalk | Concurrent Algorithms under the hood of Kotlin Coroutines Tutorials Nikita Koval JetBrains | ||
14:00 - 15:30 | |||
14:00 90mTalk | End-to-End Compiler Infrastructure for Emerging Tensor Accelerators Tutorials Devansh Jain University of Illinois at Urbana-Champaign, Akash Pardeshi University of Illinois at Urbana-Champaign, Marco Frigo University of Illinois at Urbana-Champaign, Kaustubh Khulbe University of Illinois at Urbana-Champaign, Charith Mendis University of Illinois at Urbana-Champaign | ||
14:00 - 15:30 | |||
14:00 90mTalk | How to secure a distributed database such as OpenRiak with open-source tools Tutorials | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 90mTalk | A guided tour through Oxidized OCaml Tutorials Anil Madhavapeddy University of Cambridge, UK, KC Sivaramakrishnan IIT Madras and Tarides, Richard A. Eisenberg Jane Street, Chris Casinghino Jane Street | ||
16:00 - 17:30 | |||
16:00 90mTalk | Concurrent Algorithms under the hood of Kotlin Coroutines Tutorials Nikita Koval JetBrains | ||
16:00 - 17:30 | |||
16:00 90mTalk | End-to-End Compiler Infrastructure for Emerging Tensor Accelerators Tutorials Devansh Jain University of Illinois at Urbana-Champaign, Akash Pardeshi University of Illinois at Urbana-Champaign, Marco Frigo University of Illinois at Urbana-Champaign, Kaustubh Khulbe University of Illinois at Urbana-Champaign, Charith Mendis University of Illinois at Urbana-Champaign | ||
16:00 - 17:30 | |||
16:00 90mTalk | How to secure a distributed database such as OpenRiak with open-source tools Tutorials | ||
Accepted Tutorials
Call for Tutorials
ICFP and SPLASH 2025 Conference invite workshop and co-located event proposals to be held in Singapore from Sunday, October 12 to Saturday, October 18, 2025. This joint event will create a forum for researchers, developers, and practitioners to present the latest work in software development, programming languages, functional programming, and emerging new ideas in computing.
About ICFP/SPLASH Workshops
ICFP and SPLASH provide complementary yet distinct tracks, bringing together different aspects of programming research. Workshops will occur throughout the conference, with opportunities for interdisciplinary collaboration. We welcome proposals for events that facilitate discussions, presentations, hands-on activities, and other engaging formats to foster the exchange of new ideas and community building.
Proposals are invited for: - Workshops (focusing on presentations, discussions, or collaborative work) - Retreats (focused platforms for in-depth exploration of particular topics) - Symposia (more formal gatherings on specific themes) - Hands-on Sessions (including practical work and focus groups)
These events will be less formal and more interactive than the main conference sessions, providing an ideal venue for emerging ideas, early research presentations, and collaborative exploration.
Important Dates
- Deadline for Tutorial Submissions: May 8, 2025
- Notification of Acceptance: June 20, 2025
Submission Details
Selection Committee
Workshop proposals will be evaluated by a joint committee comprising members from both ICFP and SPLASH organizing teams, in collaboration with the SIGPLAN executive committee.
Contact Information
For inquiries, please contact the workshop co-chairs: - Ben Greenman: blg@cs.utah.edu - Chandrakana Nandi: chandra@certora.com - Jeff Huang: jeff@cse.tamu.edu - Sasa Misailovic: misailo@illinois.edu
We look forward to your proposals and to creating a vibrant and engaging program at ICFP/SPLASH 2025!