VMIL 2025
who it's for
vm implementers, jit compiler engineers, language runtime engineers, programming language researchers, runtime performance engineers, garbage collector engineers, tool authors and integrators
topics
memory tiering for CPython; per-object hotness inference; AST-based reusable optimization; partial-evaluation C dispatchers; Merkle-tree AST fragment sharing; io_uring and modern IO interfaces; OCaml 5 runtimes with Eio; dynamic race detection for Java; typed assembly with total correctness; content-addressed runtime snapshots; copy-and-patch JIT for R
| title | author | length |
|---|---|---|
| Memory Tiering in Python Virtual Machine | Yuze Li, Shunyu Yao, Jaiaid Mobin, Tianyu Zhan, M. Mustafa Rafique, Dimitrios Nikolopoulos, Kirshanthan Sundararajah, Ali R. Butt | 33m |
A CPython C-extension called MTP infers per-object hotness by recording reference-count changes in the upper 32 bits of OB_REFCOUNT, performs a stop-the-world… | ||
| ASTro: An AST-based Reusable Optimization Framework | Koichi Sasada | 27m |
Describes a lightweight partial-evaluation framework that generates specialized C dispatchers from node-centric AST interpreters, claiming plain C output that… | ||
| The Wild West of post-POSIX IO Interfaces | Anil Madhavapeddy | 59m |
Claim: POSIX is becoming a compatibility layer that throttles modern I/O. Evidence: Linux exposes io_uring shared‑memory submission/completion rings, Windows… | ||
| MaTSa: Race Detection in Java | Alexandros Emmanouil Antonakakis, Iacovos G. Kolokasis, Foivos S. Zakkak, Angelos Bilas, Polyvios Pratikakis | 32m |
MaTSa is an OpenJDK-integrated dynamic race detector that implements a FastTrack-like algorithm with embedded vector clocks in object headers and a per-thread… | ||
| Evaluating Candidate Instructions for Reliable Program Slowdown at the Compiler Level -(…) | Humphrey Burchell, Stefan Marr | 20m |
Evaluation inserts six x86 candidates (NOP, MOV, PAUSE, push/pop variants, SFENCE, vector push/pop) into machine code at basic‑block granularity using… | ||
| TEAL: a Total Expressive Assembly Language | Yulong Huang, Jeremy Yallop | 17m |
Design of a typed assembly language called TEAL claims total correctness: well-typed programs both terminate and return the specified source-level value. The… | ||
| RuntimeSave: A Graph Database of Runtime Values | Matúš Sulír, Antonia Bertolino, Guglielmo De Angelis | 23m |
Stores JVM variable snapshots into Neo4j graph database using a two-layer model with hashed+metadata nodes and Git-style content-addressing; implements… | ||
| Copy-and-Patch Just-in-Time Compiler for R | Matěj Kocourek, Filip Krikava, Jan Vitek | 28m |
Implements a copy‑and‑patch baseline JIT for GNU R by extracting interpreter instruction bodies into stencils, emitting native code at runtime, and patching… | ||
| nothing matches | ||