VMIL 2024
who it's for
language virtual machine researchers, jit compiler engineers, compiler developers, language runtime engineers, systems programmers, virtual machine implementers, blockchain runtime engineers, python core developers
topics
per-call-context feedback vectors; 64-bit WebAssembly bounds checking; hybrid AOT and JIT execution; constant-time GC and immutable language; Fuzion intermediate representation; super-instruction synthesis for EVM; orthogonal persistence stable heap; CPython tracing JIT pipeline; semantic inlining for Smalltalk; IR caching for dynamic compilers; tiered JIT for RISC-V instruction simulation
| title | author | length |
|---|---|---|
| Reducing Feedback Pollution | Sebastián Krynski, Michal Štěpánek, Filip Říha, Filip Krikava, Jan Vitek | 28m |
JIT compiler for R stores type observations in separate per-call-context feedback vectors instead of one shared vector, so recorded types no longer merge… | ||
| Performant Bounds Checking for 64-Bit WebAssembly | Lukas Döllerer, Alexis Engelke | 29m |
Implements and compares four approaches inside a C++ Wasm runtime (LLVM-based codegen, Linux mprotect + signal-to-exception trampoline): plain software checks… | ||
| On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code | Christoph Pichler, Paley Li, Roland Schatz, Hanspeter Mössenböck | 30m |
Hybrid per-function execution blends AOT native and JIT managed code by profiling a run to build a call graph, emitting a specification file, and then… | ||
| An Effectively Ω(c) Language and Runtime | Mark Marron | 17m |
Claims a language and runtime that are effectively Ω(c): constant-time operations, fixed memory overhead, and a GC that does constant work per allocation with… | ||
| The Fuzion Intermediate Representation | Fridtjof Siebert, Michael Lill | 15m |
Fuzion provides an IR designed for static verification of safety‑critical code: code is grouped into runtime features with six kinds (routine, abstract, field… | ||
| Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine | Xiaowen Hu, David Zhao, Bernhard Scholz | 23m |
Automated pipeline traces EVM basic blocks, applies the recursive pair algorithm to produce a grammar of frequent instruction sequences, and uses a greedy… | ||
| Smarter Contract Upgrades with Orthogonal Persistence | Luc Bläser, Claudio Russo, Gabor Greif, Ryan Vandersmith, Jason Ibrahim | 32m |
Implements orthogonal persistence for Motoko on the Internet Computer by adding a stable heap, 64-bit Wasm memory, and an incremental GC so program heap (up to… | ||
| A tour of CPython's runtime | Brandt Bucher | 01h 03m |
CPython shows concrete wins: specialization in 3.11 yields ~25% speedup, and a new tracing JIT pipeline builds micro op traces from a DSL, then uses a copy and… | ||
| Inlined Code Generation for Smalltalk | Dave Mason, Daniel Franklin | 17m |
A new Smalltalk compiler named Zag Smalltalk implements semantic inlining at an intermediate level, compiling methods on-demand for a target receiver class so… | ||
| An Analysis of Compiled Code Reusability in Dynamic Compilation | Andrej Pečimúth, David Leopoldseder, Petr Tůma | 26m |
Prototype implements IR caching and deferred optimization for GraalVM targeting the HotSpot JVM, tested on Renaissance benchmarks. It disables field folding… | ||
| Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation | Yen-Fu Chen, Meng-Hung Chen, Ching-Chun (Jim) Huang, Chia-Heng Tu | 36m |
Implements a RISC-V ISS that combines an interpreter, a fast tier-1 compiler, and an LLVM-based tier-2 compiler, claims faster interpreter performance than… | ||
| nothing matches | ||