VMIL 2025 – Proceedings

17th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages (VMIL 2025)

Frontmatter

Papers

MaTSa: Race Detection in Java
Alexandros Emmanouil Antonakakis, Iacovos G. Kolokasis, Foivos S. Zakkak, Angelos Bilas, and Polyvios Pratikakis
(ICS-FORTH, Greece; University of Crete, Greece; Red Hat, Ireland)

Publisher's Version

Copy-and-Patch Just-in-Time Compiler for R
Matěj Kocourek, Filip Křikava, and Jan Vitek
(Charles University, Czechia; Czech Technical University, Czechia; Northeastern University, USA)

Publisher's Version

ASTro: An AST-Based Reusable Optimization Framework
Koichi Sasada
(STORES, Tokyo, Japan)

Publisher's Version

Memory Tiering in Python Virtual Machine
Yuze Li, Shunyu Yao, Jaiaid Mobin, Tianyu Zhan, M. Mustafa Rafique, Dimitrios Nikolopoulos, Kirshanthan Sundararajah, and Ali R. Butt
(Virginia Tech, USA; Rochester Institute of Technology, USA)

Publisher's Version

Heterogeneous Translation of Scala-Like Function Types in Java-TX
Julian Schmidt, Daniel Holle, and Martin Plümicke
(Baden-Wuerttemberg Cooperative State University, Germany)

Publisher's Version

Evaluating Candidate Instructions for Reliable Program Slowdown at the Compiler Level: Towards Supporting Fine-Grained Slowdown for Advanced Developer Tooling
Humphrey Burchell and Stefan Marr
(University of Kent, UK)

Publisher's Version

RuntimeSave: A Graph Database of Runtime Values
Matúš Sulír, Antonia Bertolino, and Guglielmo De Angelis
(Technical University of Košice, Slovakia; Gran Sasso Science Institute, Italy; IASI-CNR, Italy)

Publisher's Version

proc time: 0.68