ICFP 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
ICFP/SPLASH 2025 (series) / ICFP 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

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

Mon 13 Oct

Displayed time zone: Perth change

10:50 - 12:05
Session 1SPLASH Doctoral Symposium at Peony SE
Chair(s): Conrad Watt Nanyang Technological University
10:50
5m
Day opening
Introductions
SPLASH Doctoral Symposium
Conrad Watt Nanyang Technological University
11:00
30m
Talk
A Multi-Layer Dynamic Security Framework for DeFi Smart Contracts
SPLASH Doctoral Symposium
Zhiyang Chen University of Toronto
11:35
30m
Talk
Lexical Effect Handler: Fast by Design, Correct by Proof
SPLASH Doctoral Symposium
Cong Ma University of Waterloo
13:40 - 15:20
Session 2SPLASH Doctoral Symposium at Peony SE
Chair(s): Conrad Watt Nanyang Technological University
13:40
30m
Talk
How to Synthesize Quantum-Circuit Optimizers
SPLASH Doctoral Symposium
Amanda Xu University of Wisconsin-Madison
14:15
30m
Talk
Separation Logics for Probability, Concurrency, and Security
SPLASH Doctoral Symposium
Kwing Hei Li Aarhus University
14:50
30m
Talk
Towards Compiler-Guided Static Analysis
SPLASH Doctoral Symposium
Benjamin Mikek Georgia Institute of Technology
16:00 - 17:40
Session 3SPLASH Doctoral Symposium at Peony SE
16:00
30m
Talk
Practical compositional diagramming
SPLASH Doctoral Symposium
Shardul Chiplunkar EPFL
16:30
50m
Meeting
[Closed Session] Adjudication meeting for SIGPLAN's John Vlissides award
SPLASH Doctoral Symposium
Conrad Watt Nanyang Technological University, Yang Liu Nanyang Technological University, Amal Ahmed Northeastern University, USA, Philip Wadler University of Edinburgh, Alex Potanin Australian National University
17:20
20m
Day closing
First announcement of SIGPLAN's John Vlissides award; Closing Remarks
SPLASH Doctoral Symposium

Tue 14 Oct

Displayed time zone: Perth change

10:50 - 12:05
Research Paper 1MPLR at Peony SE
Chair(s): Takuo Watanabe Institute of Science Tokyo
10:50
25m
Talk
Bringing Together Cross-ISA Checkpoint/Restoration and AOT Compilation of WebAssembly Programs
MPLR
Raiki Tamura Kyoto University, Daisuke Kotani Kyoto University, Kazuyuki Shudo Kyoto University, Yasuo Okabe Kyoto University
11:15
25m
Talk
A Snapshot of the Performance of Wasm Backends for Managed Languages
MPLR
Manuel Serrano Inria; Université Côte d’Azur, Robert Bruce Findler Northwestern University
11:40
25m
Talk
JASMaint: Portable Multi-language Taint Analysis for the Web
MPLR
Abel Stuker Vrije Universiteit Brussel, Aäron Munsters Vrije Universiteit Brussel, Angel Luis Scull Pupo Vrije Universiteit Brussel, Laurent Christophe Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
13:40 - 15:25
MPLR Keynote & Research Paper 2MPLR at Peony SE
Chair(s): Tomoharu Ugawa University of Tokyo, Tony Hosking Australian National University
13:40
40m
Keynote
Joy of Meta-Tracing Just-in-Time Compilation: More Than Just a VM GeneratorMPLR Keynote
MPLR
Hidehiko Masuhara Institute of Science Tokyo
14:20
25m
Talk
A Control-Flow Graph Approach to Language-Agnostic Debugging for Microcontrollers
MPLR
Carlos Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Nokia Bell Labs, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel
14:45
25m
Talk
Co-operative JIT Compilation for Resource-Constrained Low-Power Coprocessors
MPLR
Go Suzuki Institute of Science Tokyo, Takuo Watanabe Institute of Science Tokyo, Sosuke Moriguchi Institute of Science Tokyo
DOI
15:10
15m
Talk
SmartSweep: Efficient Space Reclamation in Tiered Managed HeapsWIP Research
MPLR
Iacovos Kolokasis University of Crete, Konstantinos Delis University of Crete and FORTH-ICS, Shoaib Akram Australian National University, Foivos S. Zakkak Red Hat, Polyvios Pratikakis University of Crete, Angelos Bilas University of Crete and FORTH, Greece
16:00 - 17:40
Research Paper 3 & ToolsMPLR at Peony SE
Chair(s): Jeremy Singer University of Glasgow
16:00
25m
Talk
Existentialize your Generics
MPLR
Dimi Racordon EPFL, LAMP, Matt Bovel EPFL, Hamza Remmal EPFL, LAMP
16:25
25m
Talk
Fast and Compact: Reducing Size of AOT-Compiled Java Code Without Sacrificing Performance
MPLR
Christoph Pichler Johannes Kepler University Linz, Bernhard Urban-Forster Oracle Labs, Paley Li Oracle, Roland Schatz Oracle Labs, Hanspeter Mössenböck JKU Linz
DOI
16:50
15m
Talk
Fast & Easy ASTs for Flexible Embedded InterpretersWIP Research
MPLR
Michael Homer Victoria University of Wellington, James Noble Independent. Wellington, NZ
DOI Pre-print
17:05
15m
Talk
TornadoViz: Visualizing Heterogeneous Execution Patterns in Modern Managed Runtime SystemsTools
MPLR
Michail Papadimitriou University of Manchester, Maria Xekalaki University of Manchester, UK, Athanasios Stratikopoulos University of Manchester, Orion Papadakis University of Manchester, Juan Fumero Oracle, Christos Kotselidis University of Manchester/Pierer Innovation
17:20
15m
Talk
Dynamic and Static Code Analysis for Java Programs on Heterogeneous HardwareTools
MPLR
Athanasios Stratikopoulos University of Manchester, Tianyu Zuo CCB Fintech Co., Ltd., Umut Sarp Harbalioglu The University of Manchester, Juan Fumero Oracle, Michail Papadimitriou University of Manchester, Orion Papadakis University of Manchester, Maria Xekalaki University of Manchester, UK, Christos Kotselidis University of Manchester/Pierer Innovation
17:35
5m
Day closing
closing
MPLR

Wed 15 Oct

Displayed time zone: Perth change

10:50 - 12:05
Compilation TechniquesVMIL at Peony SE
Chair(s): Stephen Kell King's College London
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 R
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 Framework
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 Tooling
VMIL
Humphrey Burchell University of Kent, Stefan Marr Johannes Kepler University Linz
DOI Pre-print
13:40 - 15:20
Keynote / Language Semantics & Type SystemsVMIL at Peony SE
Chair(s): Yusuke Izawa Tokyo Metropolitan University
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-TX
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 Language
VMIL
Yulong Huang University of Cambridge, Jeremy Yallop University of Cambridge
16:00 - 17:40
Runtime Systems & ToolingVMIL at Peony SE
Chair(s): Iacovos Kolokasis University of Crete
16:00
25m
Research paper
MaTSa: Race Detection in Java
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 MachineRemote
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 Values
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
DesignSPLASH Onward! Papers at Peony SE
10:30
10m
Talk
Opening
SPLASH Onward! Papers

10:40
30m
Talk
Sharing is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
SPLASH 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
SPLASH 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
SPLASH Onward! Papers
Frederik Vandeputte Nokia Bell Labs
Pre-print
13:45 - 15:30
Onward! Essays 1SPLASH Onward! Essays / SPLASH Onward! Papers at Peony SE
Chair(s): Michael Coblenz University of California, San Diego
13:45
40m
Short-paper
The Proof Must Go On: Formal Methods in the Theater of Secure Software Development of the Future
SPLASH Onward! Essays
Charles Averill University of Texas at Dallas
DOI Pre-print
14:25
40m
Talk
The Unix Executable as a Smalltalk Method
SPLASH Onward! Essays
Joel Jakubovic Charles University in Prague
DOI Pre-print
16:00 - 17:30
LanguagesSPLASH Onward! Papers at Peony SE
16:00
30m
Talk
Semantics-preserving Transformation of Context-free Grammars into LL(1) Form
SPLASH 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
SPLASH 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
SPLASH 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
ToolsSPLASH Onward! Papers at Peony SE
Chair(s): Vasco T. Vasconcelos LASIGE, University of Lisbon
10:30
30m
Talk
What You See Is What It Does: A Structural Pattern for Legible Software
SPLASH Onward! Papers
A: Eagon Meng MIT, A: Daniel Jackson MIT
11:00
30m
Talk
Literate Tracing
SPLASH Onward! Papers
Matthew Sotoudeh Stanford University
Pre-print Media Attached
11:30
30m
Talk
ScooPy: Enhancing Program Synthesis with Nested Example Specifications
SPLASH Onward! Papers
Tomer Katz Technion Israel Institute of Technology, Hila Peleg Technion
13:45 - 15:30
Onward! Essays 2SPLASH Onward! Essays / SPLASH Onward! Papers at Peony SE
13:45
40m
Talk
Carving Text at Its Joints: A New Perspective on Writing and Computers
SPLASH Onward! Essays
Kevin Graaf Independent Researcher
14:25
40m
Talk
Let's Take Esoteric Programming Languages Seriously
SPLASH Onward! Essays
Jeremy Singer University of Glasgow, Steve Draper University of Glasgow
DOI Pre-print
16:00 - 17:30
ConcurrencySPLASH Onward! Papers at Peony SE
Chair(s): Hidehiko Masuhara Institute of Science Tokyo
16:00
30m
Talk
Exploring The Design Space For Runtime Enforcement of Dynamic Capabilities
SPLASH 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
SPLASH Onward! Papers
Jean Pichon-Pharabod Aarhus University

Sat 18 Oct

Displayed time zone: Perth change

10:30 - 12:15
Onward! Papers and EssaySPLASH Onward! Papers / SPLASH Onward! Essays at Peony SE
Chair(s): Stephen Kell King's College London
10:30
30m
Talk
X-by-Construction: Towards Ensuring Non-Functional Properties in by-Construction Engineering
SPLASH 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
SPLASH 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
SPLASH Onward! Papers

Mon 13 Oct

Displayed time zone: Perth change

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

SPLASH Doctoral Symposium

Session 1

SPLASH Doctoral Symposium

Session 2

SPLASH Doctoral Symposium

Session 3

Tue 14 Oct

Displayed time zone: Perth change

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

MPLR

Research Paper 1

MPLR

MPLR Keynote & Research Paper 2

MPLR

Research Paper 3 & Tools

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

SPLASH Onward! Papers

Design

SPLASH Onward! Essays + SPLASH Onward! Papers

Onward! Essays 1

SPLASH Onward! Papers

Languages

Fri 17 Oct

Displayed time zone: Perth change

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

SPLASH Onward! Papers

Tools

SPLASH Onward! Essays + SPLASH Onward! Papers

Onward! Essays 2

SPLASH Onward! Papers

Concurrency

Sat 18 Oct

Displayed time zone: Perth change

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

SPLASH Onward! Papers + SPLASH Onward! Essays

Onward! Papers and Essay

SPLASH Onward! Papers

SPLASH Onward! Papers

Mon 13 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Peony SE
SPLASH Doctoral Symposium
Introductions
10:50 - 10:55
SPLASH Doctoral Symposium
A Multi-Layer Dynamic Security Framework for DeFi Smart Contracts
11:00 - 11:30
SPLASH Doctoral Symposium
Lexical Effect Handler: Fast by Design, Correct by Proof
11:35 - 12:05
SPLASH Doctoral Symposium
How to Synthesize Quantum-Circuit Optimizers
13:40 - 14:10
SPLASH Doctoral Symposium
Separation Logics for Probability, Concurrency, and Security
14:15 - 14:45
SPLASH Doctoral Symposium
Towards Compiler-Guided Static Analysis
14:50 - 15:20
SPLASH Doctoral Symposium
Practical compositional diagramming
16:00 - 16:30
SPLASH Doctoral Symposium
[Closed Session] Adjudication meeting for SIGPLAN's John Vlissides award
16:30 - 17:20
SPLASH Doctoral Symposium
First announcement of SIGPLAN's John Vlissides award; Closing Remarks
17:20 - 17:40

Tue 14 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Peony SE
MPLR
Bringing Together Cross-ISA Checkpoint/Restoration and AOT Compilation ...
10:50 - 11:15
MPLR
A Snapshot of the Performance of Wasm Backends for Managed Languages
11:15 - 11:40
MPLR
JASMaint: Portable Multi-language Taint Analysis for the Web
11:40 - 12:05
MPLRMPLR Keynote
Joy of Meta-Tracing Just-in-Time Compilation: More Than Just a VM Generator
13:40 - 14:20
MPLR
A Control-Flow Graph Approach to Language-Agnostic Debugging for Microc ...
14:20 - 14:45
MPLR
Co-operative JIT Compilation for Resource-Constrained Low-Power Coproce ...
14:45 - 15:10
MPLRWIP Research
SmartSweep: Efficient Space Reclamation in Tiered Managed Heaps
15:10 - 15:25
MPLR
Existentialize your Generics
16:00 - 16:25
MPLR
Fast and Compact: Reducing Size of AOT-Compiled Java Code Without Sacri ...
16:25 - 16:50
MPLRWIP Research
Fast & Easy ASTs for Flexible Embedded Interpreters
16:50 - 17:05
MPLRTools
TornadoViz: Visualizing Heterogeneous Execution Patterns in Modern Mana ...
17:05 - 17:20
MPLRTools
Dynamic and Static Code Analysis for Java Programs on Heterogeneous Har ...
17:20 - 17:35
MPLR
closing
17:35 - 17:40

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
VMIL
Copy-and-Patch Just-in-Time Compiler for R
10:55 - 11:20
VMIL
ASTro: An AST-based Reusable Optimization Framework
11:25 - 11:50
VMIL
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
VMIL
Heterogeneous translation of Scala-like function types in Java-TX
14:40 - 14:55
VMIL
TEAL: a Total Expressive Assembly Language
14:55 - 15:10
VMIL
MaTSa: Race Detection in Java
16:00 - 16:25
VMILRemote
Memory Tiering in Python Virtual Machine
16:25 - 16:50
VMIL
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