Program - ICFP/SPLASH 2025

Sun 12 - Sat 18 October 2025 Singapore

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 18 Oct
Displayed time zone: Perth change

10:30 - 12:15	REBASEREBASE at Peony SW Chair(s): Filip Křikava Czech Technical University in Prague, Ben L. Titzer Carnegie Mellon University

10:30 65m Talk		Carbon: from C++ to Memory Safety REBASE Chandler Carruth Google
11:40 35m Talk		From Facts to Theories: Deductive Databases with Mangle Datalog REBASE Burak Emir Google

13:45 - 15:30	REBASEREBASE at Peony SW Chair(s): Filip Křikava Czech Technical University in Prague, Ben L. Titzer Carnegie Mellon University

13:45 65m Talk		On creating a virtual machine for Verse, a language for programming in a shared real-time 3D simulation REBASE Saam Barati Epic Games
14:55 35m Talk		ZJIT: Building a New JIT Compiler for Ruby REBASE Takashi Kokubun Shopify

16:00 - 17:30	REBASEREBASE at Peony SW Chair(s): Filip Křikava Czech Technical University in Prague, Ben L. Titzer Carnegie Mellon University

16:00 60m Talk		The Saga of Multicore OCaml REBASE Yaron Minsky

REBASE Program

Sat 18 Oct
Displayed time zone: Perth change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

REBASE Program

Switch Program View

Program Display Configuration

Sat 18 OctDisplayed time zone: Perth change

Get Calendar (iCal)

Sat 18 Oct
Displayed time zone: Perth change