ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
ICFP/SPLASH 2025 (series) / REBASE (series) /

REBASE

REBASE is a forum for discussion…

…between industry and academe

…between practice and theory

…between science and fiction.

Invited Talks

Title
Carbon: from C++ to Memory Safety
REBASE
Chandler Carruth
From Facts to Theories: Deductive Databases with Mangle Datalog
REBASE
Burak Emir
On creating a virtual machine for Verse, a language for programming in a shared real-time 3D simulation
REBASE
Saam Barati
The Saga of Multicore OCaml
REBASE
Yaron Minsky
ZJIT: Building a New JIT Compiler for Ruby
REBASE
Takashi Kokubun
Plenary
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:00 - 10:30
Coffee breakCatering at Orchid Dining Hall
10:00
30m
Coffee break
Break
Catering

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
12:15 - 13:45
LunchCatering at Orchid Dining Hall
12:15
90m
Lunch
Lunch
Catering

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
15:30 - 16:00
Coffee breakCatering at Orchid Dining Hall
15:30
30m
Coffee break
Break
Catering

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
Organizing Committee