VMIL 2021
as the organisers put it
Workshop on Virtual Machines and Language Implementations (VMIL ’21) 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 in language virtual machines, the intermediate languages they use, and related issues.
who it's for
language runtime engineers, vm implementers, compiler engineers, embedded systems engineers, WebAssembly developers, runtime tool authors, programming language researchers, performance engineers
topics
type specialization; resumable dispatch; on-stack replacement; lazy basic block versioning; WebAssembly for microcontrollers; interrupt mechanism for WebAssembly; out-of-place debugging for IoT; MLIR lowering to LLVM; heap snapshotting AOT compilation; generational parallel garbage collection; small Scheme bytecode VM; whole-program points-to analysis
| title | author | length |
|---|---|---|
| Reflections on a decade of MoarVM, a runtime for the Raku programming language | Jonathan Worthington | 57m |
MoarVM is a C register‑based VM for Raku implemented with NQP that evolves from a simple bytecode interpreter into a runtime with type specialization… | ||
| Lightweight IOT abstractions for Embedded WebAssembly | Tom Lauwaerts, Robbert Gurdeep Singh, Christophe Scholliers | 13m |
WebAssembly on microcontrollers gains a lightweight interrupt mechanism and language glue implemented in the WARDuino VM so Rust and AssemblyScript code can… | ||
| A Small Scheme VM, Compiler and REPL in 4K | Samuel Yvon, Marc Feeley | 15m |
A Scheme system that compiles to a tiny bytecode and runs a REPL with an 850‑byte VM core and a full executable between 4–8 KB depending on chosen runtime… | ||
| Lightweight On-Stack Replacement in Languages with Unstructured Loops | Matt D'Souza, Gilles Duboscq | 15m |
Counts backward jumps (back-edges) to detect hot regions, compiles from the back-edge destination to the end of the method, and performs a tail-call into… | ||
| WOOD: Extending a WebAssembly VM with Out-of-Place Debugging for IoT applications | Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, Elisa Gonzalez Boix | 15m |
WOOD extends the WARDuino WebAssembly VM to implement out-of-things debugging: capture a debug session (PC, stack, globals), ship it as a binary debug-session… | ||
| Cross-Domain Compilation: Exploiting Synergies Across the CS Community | Tobias Grosser | 48m |
Argues that MLIR turns many bespoke compilers into composable pieces and shows concrete work: a fast polyhedral math library for Presburger sets, a… | ||
| YJIT: A Basic Block Versioning JIT Compiler | Maxime Chevalier Boisvert, Noah Gibbs, Jean Boussier, Si Xing (Alan) Wu, Aaron Patterson, Kevin Newton, John Hawthorn | 17m |
YJIT is a JIT built inside CRuby that implements Lazy Basic Block Versioning to record and specialize types only for paths actually seen at runtime. It runs as… | ||
| Native Image: Large-scale static analysis for Java | Christian Wimmer | 55m |
GraalVM Native Image uses heap snapshotting plus large-scale static analysis and ahead-of-time compilation to produce a standalone native binary that… | ||
| nothing matches | ||