ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

Wed 15 Oct 2025 16:50 - 17:05 at Peony SE - Runtime Systems & Tooling Chair(s): Iacovos Kolokasis

To persist variable values from running programs for development purposes, we currently recognize two strategies. Techniques based on examples are only useful to store small sample objects, while record-and-replay techniques are efficient but use opaque storage formats. We lack a middle ground offering acceptable scalability and easy queryability with standard tools. In this work-in-progress paper, we present RuntimeSave – a versatile approach to saving runtime values from the Java Virtual Machine (JVM) into a persistent Neo4j graph database. Its core idea is a two-layer graph model consisting of hashed and metadata nodes, inspired by Git internals. To reduce the written data volume, it packs certain object graph shapes into simpler ones and hashes them to provide partial deduplication. We also report a preliminary evaluation, applications, and future work ideas.

This program is tentative and subject to change.

Wed 15 Oct

Displayed time zone: Perth change

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