ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Wed 15 Oct 2025 16:00 - 16:25 at Peony SE - Runtime Systems & Tooling Chair(s): Iacovos Kolokasis

Parallel programs are prone to data races, which are concurrency bugs that are difficult to track and reproduce. Various attempts have been made to create or incorporate tools that aim to dynamically detect data races in Java, but most rely on external race detectors that: a) miss some of the nuances in the Java Memory Model, b) are too slow and complicated to be used in complex real-world applications, or c) produce a lot of false positive reports. In this paper, we present MaTSa, a tool built within OpenJDK, that aims to dynamically detect data races and offer informative pointers to the origin of the race. We evaluate MaTSa and detect several races in the Renaissance benchmark suite and the Quarkus framework, many of which have been reported and resulted in upstream fixes. We compare MaTSa to Java TSan, the only current state-of-the-art dynamic race detector that works on recent OpenJDK versions. We analyze issues with false positives and false negatives for both tools and explain the design decisions causing them. We found MaTSa to be 15x faster on average, while scaling to large programs not supported by other tools.

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 and FORTH-ICS
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 and FORTH-ICS
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