SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
ICFP/SPLASH 2025 (series) / SPLASH 2025 (series) / Marina Bay Sands Convention Centre /

Room information: Peony SE

VenueMarina Bay Sands Convention Centre
Room namePeony SE
Floor4
Room number4411
Capacity90
Room Information

Venue floor plan

app-screen

Program

This program is tentative and subject to change.

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

Tue 14 Oct

Displayed time zone: Perth change

10:50 - 12:05
Research PaperMPLR at Peony SE
16:00 - 17:40
Research PaperMPLR at Peony SE

Wed 15 Oct

Displayed time zone: Perth change

10:50 - 12:05
Compilation TechniquesVMIL at Peony SE
10:50
5m
Day opening
Welcome
VMIL
Yusuke Izawa Tokyo Metropolitan University, Shoaib Akram Australian National University
10:55
25m
Research paper
Copy-and-Patch Just-in-Time Compiler for RResearch Paper
VMIL
Matěj Kocourek Charles University, Filip Křikava Czech Technical University in Prague, Jan Vitek Northeastern University
DOI
11:25
25m
Research paper
ASTro: An AST-based Reusable Optimization FrameworkResearch Paper
VMIL
Koich Sasada Stores, Inc.
11:50
15m
Short-paper
Evaluating Candidate Instructions for Reliable Program Slowdown at the Compiler Level - Towards Supporting Fine-grained Slowdown for Advanced Developer ToolingWiP Paper
VMIL
Humphrey Burchell University of Kent, Stefan Marr University of Kent
DOI Pre-print
13:40 - 15:20
Keynote / Language Semantics & Type SystemsVMIL at Peony SE
13:40
60m
Keynote
The Wild West of post-POSIX IO Interfaces
VMIL
Anil Madhavapeddy University of Cambridge, UK
14:40
15m
Short-paper
Heterogeneous translation of Scala-like function types in Java-TXWiP Paper
VMIL
Julian Schmidt Baden-Wuerttemberg Cooperative State University, Daniel Holle Baden-Wuerttemberg Cooperative State University, Martin Plümicke DHBW Stuttgart, Campus Horb, Germany
14:55
15m
Talk
TEAL: a Total Expressive Assembly LanguageTalk
VMIL
Yulong Huang University of Cambridge, Jeremy Yallop University of Cambridge
16:00 - 17:40
Runtime Systems & ToolingVMIL at Peony SE
16:00
25m
Research paper
MaTSa: Race Detection in JavaResearch Paper
VMIL
Alexandros Emmanouil Antonakakis ICS-FORTH & University of Crete, Polyvios Pratikakis University of Crete, Angelos Bilas University of Crete and FORTH, Greece, Foivos S. Zakkak Red Hat, Iacovos Kolokasis University of Crete
16:25
25m
Research paper
Memory Tiering in Python Virtual MachineResearch Paper
VMIL
Yuze Li Virginia Tech, Shunyu Yao Virginia Tech, Jaiaid Mobin Rochester Institute of Technology, Tianyu Zhan Virginia Tech, M. Mustafa Rafique Rochester Institute of Technology, Dimitrios Nikolopoulos Virginia Tech, Kirshanthan Sundararajah Virginia Tech, Ali R. Butt Virginia Tech
16:50
15m
Short-paper
RuntimeSave: A Graph Database of Runtime ValuesWiP Paper
VMIL
Matúš Sulír Technical University of Košice, Antonia Bertolino Gran Sasso Science Institute, Guglielmo De Angelis CNR-IASI
Pre-print
17:05
5m
Day closing
Closing
VMIL
Yusuke Izawa Tokyo Metropolitan University, Shoaib Akram Australian National University

Thu 16 Oct

Displayed time zone: Perth change

10:30 - 12:15
DesignOnward! Papers at Peony SE
10:30
10m
Talk
Opening
Onward! Papers

10:40
30m
Talk
Sharing is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
Onward! Papers
Skyler Austen Brown University, Shriram Krishnamurthi Brown University, Kathi Fisler Brown University
11:10
30m
Talk
On Collective Control over User Interfaces in the Face of Network Effects
Onward! Papers
Caleb Malchik Yale University, Joan Feigenbaum Yale
11:40
30m
Talk
Foundational Design Principles and Patterns for Building Robust & Adaptive GenAI-Native Systems
Onward! Papers
Frederik Vandeputte Nokia Bell Labs
Pre-print
13:45 - 15:30
Onward! Essays 1Onward! Essays at Peony SE
13:45
40m
Short-paper
The Proof Must Go On: Formal Methods in the Theater of Secure Software Development of the Future
Onward! Essays
Charles Averill University of Texas at Dallas
DOI Pre-print
14:25
40m
Talk
The Unix Executable as a Smalltalk Method
Onward! Essays
Joel Jakubovic Charles University in Prague
16:00 - 17:30
LanguagesOnward! Papers at Peony SE
16:00
30m
Talk
Semantics-preserving Transformation of Context-free Grammars into LL(1) Form
Onward! Papers
Vladyslav Bilyk
16:30
30m
Talk
An Argument for the Practicality of Entity Component Systems as the Primary Data Structure for an Interpreter or Compiler
Onward! Papers
Joshua Dahl University of Nevada, Reno, Frederick C. Harris Jr. University of Nevada, Reno
17:00
30m
Talk
TideScript: A Domain Specific Language for Peptide Chemistry
Onward! Papers
Nicholas Morris University of Glasgow, Blair Archibald University of Glasgow, S Hessam M Mehr University of Glasgow

Fri 17 Oct

Displayed time zone: Perth change

10:30 - 12:15
ToolsOnward! Papers at Peony SE
10:30
30m
Talk
What You See Is What It Does: A Structural Pattern for Legible Software
Onward! Papers
A: Eagon Meng MIT, A: Daniel Jackson MIT
11:00
30m
Talk
Literate Tracing
Onward! Papers
Matthew Sotoudeh Stanford University
Pre-print Media Attached
11:30
30m
Talk
ScooPy: Enhancing Program Synthesis with Nested Example Specifications
Onward! Papers
Tomer Katz Technion Israel Institute of Technology, Hila Peleg Technion
13:45 - 15:30
Onward! Essays 2Onward! Essays at Peony SE
13:45
40m
Talk
Carving Text at Its Joints: A New Perspective on Writing and Computers
Onward! Essays
Kevin Graaf Independent Researcher
14:25
40m
Talk
Let's Take Esoteric Programming Languages Seriously
Onward! Essays
Jeremy Singer University of Glasgow, Steve Draper University of Glasgow
DOI Pre-print
16:00 - 17:30
ConcurrencyOnward! Papers at Peony SE
16:00
30m
Talk
Exploring The Design Space For Runtime Enforcement of Dynamic Capabilities
Onward! Papers
Andrew Fawcett Victoria University of Wellington, James Noble Independent. Wellington, NZ, Michael Homer Victoria University of Wellington
16:30
30m
Talk
Synchronous Programming for Kids: A Manifesto
Onward! Papers
Jean Pichon-Pharabod Aarhus University

Sat 18 Oct

Displayed time zone: Perth change

10:30 - 12:15
Onward! Papers and EssayOnward! Papers / Onward! Essays at Peony SE
10:30
30m
Talk
X-by-Construction: Towards Ensuring Non-Functional Properties in by-Construction Engineering
Onward! Papers
Maximilian Kodetzki Karlsruhe Institute of Technology, Tabea Bordis Karlsruhe Institute of Technology, Alex Potanin Australian National University, Ina Schaefer KIT
11:00
40m
Talk
Gauguin, Descartes, Bayes: A Diurnal Golem's Brain
Onward! Essays
Kartik Chandra MIT, Amanda Liu Massachusetts Institute of Technology, Jonathan Ragan-Kelley Massachusetts Institute of Technology, Joshua B. Tenenbaum Massachusetts Institute of Technology
11:40
10m
Talk
Closing
Onward! Papers

Mon 13 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony SE

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Tue 14 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony SE

MPLR

Research Paper

MPLR

MPLR

Research Paper

Wed 15 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony SE

VMIL

Compilation Techniques

VMIL

Keynote / Language Semantics & Type Systems

VMIL

Runtime Systems & Tooling

Thu 16 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony SE

Onward! Papers

Design

Onward! Essays

Onward! Essays 1

Onward! Papers

Languages

Fri 17 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony SE

Onward! Papers

Tools

Onward! Essays

Onward! Essays 2

Onward! Papers

Concurrency

Sat 18 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony SE

Onward! Papers + Onward! Essays

Onward! Papers and Essay

Onward! Papers

Onward! Papers

Wed 15 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Peony SE
VMIL
Welcome
10:50 - 10:55
VMILResearch Paper
Copy-and-Patch Just-in-Time Compiler for R
10:55 - 11:20
VMILResearch Paper
ASTro: An AST-based Reusable Optimization Framework
11:25 - 11:50
VMILWiP Paper
Evaluating Candidate Instructions for Reliable Program Slowdown at the ...
11:50 - 12:05
VMIL
The Wild West of post-POSIX IO Interfaces
13:40 - 14:40
VMILWiP Paper
Heterogeneous translation of Scala-like function types in Java-TX
14:40 - 14:55
VMILTalk
TEAL: a Total Expressive Assembly Language
14:55 - 15:10
VMILResearch Paper
MaTSa: Race Detection in Java
16:00 - 16:25
VMILResearch Paper
Memory Tiering in Python Virtual Machine
16:25 - 16:50
VMILWiP Paper
RuntimeSave: A Graph Database of Runtime Values
16:50 - 17:05
VMIL
Closing
17:05 - 17:10

Thu 16 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Peony SE
SPLASH Onward! Papers
Opening
10:30 - 10:40
SPLASH Onward! Papers
Sharing is Scaring: Linking Cloud File-Sharing to Programming Language ...
10:40 - 11:10
SPLASH Onward! Papers
On Collective Control over User Interfaces in the Face of Network Effects
11:10 - 11:40
SPLASH Onward! Papers
Foundational Design Principles and Patterns for Building Robust & Adapt ...
11:40 - 12:10
SPLASH Onward! Essays
The Proof Must Go On: Formal Methods in the Theater of Secure Software ...
13:45 - 14:25
SPLASH Onward! Essays
The Unix Executable as a Smalltalk Method
14:25 - 15:05
SPLASH Onward! Papers
Semantics-preserving Transformation of Context-free Grammars into LL(1) ...
16:00 - 16:30
SPLASH Onward! Papers
An Argument for the Practicality of Entity Component Systems as the Pri ...
16:30 - 17:00
SPLASH Onward! Papers
TideScript: A Domain Specific Language for Peptide Chemistry
17:00 - 17:30

Fri 17 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Peony SE
SPLASH Onward! Papers
What You See Is What It Does: A Structural Pattern for Legible Software
10:30 - 11:00
SPLASH Onward! Papers
Literate Tracing
11:00 - 11:30
SPLASH Onward! Papers
ScooPy: Enhancing Program Synthesis with Nested Example Specifications
11:30 - 12:00
SPLASH Onward! Essays
Carving Text at Its Joints: A New Perspective on Writing and Computers
13:45 - 14:25
SPLASH Onward! Essays
Let's Take Esoteric Programming Languages Seriously
14:25 - 15:05
SPLASH Onward! Papers
Exploring The Design Space For Runtime Enforcement of Dynamic Capabilities
16:00 - 16:30
SPLASH Onward! Papers
Synchronous Programming for Kids: A Manifesto
16:30 - 17:00

Sat 18 Oct

Displayed time zone: Perth change

Room10:0015304511:00153045
Peony SE
SPLASH Onward! Papers
X-by-Construction: Towards Ensuring Non-Functional Properties in by-Con ...
10:30 - 11:00
SPLASH Onward! Essays
Gauguin, Descartes, Bayes: A Diurnal Golem's Brain
11:00 - 11:40
SPLASH Onward! Papers
Closing
11:40 - 11:50