VMIL 2022
as the organisers put it
The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners working on language virtual machines to discuss the various related engineering and research issues.
who it's for
vm researchers, runtime engineers, garbage collector developers, dynamic language implementers, compiler engineers, javaScript vm engineers, systems language developers, tooling engineers
topics
modular vm toolkit (MMTk); garbage collector overhead distillation; work-packet scheduler for GC; language-level ordinary object pointers; interprocedural partial escape analysis; cost-based inlining for GraalVM Native Image; dynamic language runtime in Zig (Zag); self-hosted systems language (Virgil); stack maps for precise GC; machine-learned vectorization heuristics; profile-guided hidden class optimization; per-thread copying collectors with private nurseries
| title | author | length |
|---|---|---|
| MMTk and The Case for Modular VM Development | Zixian Cai, Stephen M. Blackburn, Michael D. Bond, Martin Maas | 01h 03m |
Argues that measured GC cost is misleading and introduces a distillation/elbow method that produces a lower bound on collector overhead; shows MMTk… | ||
| Ease Virtual Machine Level Tooling with Language Level Ordinary Object Pointers | Pierre Missé-Chanabier, Theo Rogliano | 25m |
Implementation of language-level OOP (LLOOP) embeds Pharo type and selector info into VM object pointers so tools operate on typed objects rather than raw… | ||
| Inlining-Benefit Prediction with Interprocedural Partial Escape Analysis | Matthew Edwin Weingarten, Theodoros Theodoridis, Aleksandar Prokopec | 29m |
Implements an Interprocedural Partial Escape Analysis (IPEA) inside a cost-based inliner for GraalVM Native Image, injecting a virtual object state across call… | ||
| Toward a Dynamic Language Toolkit | Dave Mason | 27m |
A work-in-progress runtime called Zag implemented in Zig targets modern multi-core machines and aims to host Smalltalk and other dynamic languages. It packs… | ||
| Virgil as a Systems Programming Language | Ben L. Titzer | 01h 04m |
Virgil is a self-hosted systems language that compiles to ELF/Mach-O/JAR/WASM directly, implements its own assembler and runtime, and uses stack maps to enable… | ||
| Improving Vectorization Heuristics in a Dynamic Compiler with Machine Learning Models | Raphael Mosaner, Gergő Barany, David Leopoldseder, Hanspeter Mössenböck | 27m |
Machine learning replaces GraalVM’s hand-tuned post-vectorization unroll heuristic by a trained model that predicts loop unroll factors using ~142 code… | ||
| Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded | Tomoharu Ugawa, Stefan Marr, Richard Jones | 31m |
Collects hidden‑class graphs from a profiling run, rewrites the graph offline to remove intermediate transition nodes and to move unlikely property branches to… | ||
| nothing matches | ||