Virtual Machines are pervasive in the design and implementation of programming systems. In fact, languages implemented as virtual machines are crucial in the specification, implementation, and 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.

Keynote

Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 20 Oct

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
Session 1 - (JIT) CompilersVMIL at Pacific C
09:00
10m
Day opening
Opening Remarks
VMIL

09:15
30m
Research paper
Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
VMIL
Yen-Fu Chen National Cheng Kung University, Meng-Hung Chen National Cheng Kung University, Ching-Chun Huang National Cheng Kung University, Chia-Heng Tu National Cheng Kung University
DOI File Attached
09:45
30m
Research paper
An Analysis of Compiled Code Reusability in Dynamic Compilation
VMIL
Andrej Pečimúth Oracle Labs; Charles University, David Leopoldseder Oracle Labs, Petr Tuma Charles University
DOI Pre-print
10:15
15m
Experience report
Inlined Code Generation for Smalltalk
VMIL
Dave Mason Toronto Metropolitan University (formerly Ryerson University), Daniel Franklin Toronto Metropolitan University
File Attached
10:30 - 11:00
Coffee BreakCatering at Foyer
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Keynote SessionVMIL at Pacific C
11:00
60m
Keynote
A tour of CPython's runtime
VMIL
K: Brandt Bucher Microsoft
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Session 2 - Language ImplementationVMIL at Pacific C
14:00
30m
Research paper
Smarter Contract Upgrades with Orthogonal Persistence
VMIL
Luc Bläser DFINITY Foundation, Claudio Russo Dfinity, Gabor Greif DFINITY, Ryan Vandersmith DFINITY Foundation, Jason Ibrahim DFINITY Foundation
DOI
14:30
30m
Research paper
Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
VMIL
Xiaowen Hu The University of Sydney, David Zhao RelationalAI, Bernhard Scholz University of Sydney
DOI Pre-print File Attached
15:00
15m
Short-paper
The Fuzion Intermediate Representation
VMIL
Fridtjof Siebert Tokiwa Software GmbH, Michael Lill Tokiwa Software GmbH
Pre-print Media Attached
15:15
15m
Short-paper
An Effectively Ω(c) Language and Runtime
VMIL
Mark Marron University of Kentucky
Pre-print
15:30 - 16:00
Coffee BreakCatering at Foyer
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
Session 3 - Performance TuningVMIL at Pacific C
16:00
30m
Research paper
On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
VMIL
Christoph Pichler Johannes Kepler University Linz, Paley Li Oracle, Roland Schatz Oracle Labs, Hanspeter Mössenböck JKU Linz
DOI Pre-print
16:30
30m
Research paper
Performant Bounds Checking for 64-Bit WebAssembly
VMIL
Lukas Döllerer TU Munich, Alexis Engelke TU Munich
DOI Pre-print
17:00
30m
Research paper
Reducing Feedback Pollution
VMIL
Michal Stepanek Czech Technical University, Sebastián Krynski Czech Technical University in Prague, Filip Riha Czech Technical University, Filip Křikava Czech Technical University in Prague, Jan Vitek Northeastern University
DOI Pre-print

Call for Papers

The workshop is intended to be welcoming to a wide range of topics and perspectives, covering all areas relevant to the workshop’s theme. Aspects of interest include, but are not limited to:

  • design issues in VMs and IRs (e.g. IR design, VM modularity, polyglotism);
  • static and dynamic compilation strategies, optimizations, and data representations;
  • memory management;
  • security considerations;
  • concurrency (both internal and user-facing);
  • performance engineering;
  • tool support and related infrastructure (profiling, debugging, liveness, persistence);
  • the experience of VM development (use of high-level languages, bootstrapping and self-hosting, reusability, portability, developer tooling, etc).
  • empirical studies on related topics, such as usage patterns, the usability of languages or tools, experimental methodology, or benchmark design.

Submission Guidelines

We invite high-quality papers in the following two categories:

  • Research and experience papers: These submissions should describe work that advances the current state of the art in the above or related areas. The suggested length of these submissions is 6–10 pages (maximum 10pp, excluding references).

  • Work-in-progress or position papers: These papers should document ongoing efforts in an area of interest which have not yet yielded final results, and/or should present and defend the authors’ position on a topic related to the broad area of the workshop. The maximum length of these submissions is 6 pages, but we will consider shorter submissions (e.g. a well-written 2-page abstract).

For the first submission deadline, all paper types are considered for publication in the ACM Digital Library, except if the authors prefer not to be included. Publication of work-in-progress and position papers at VMIL is not intended to preclude later publication elsewhere.

Submissions will be judged on novelty, clarity, timeliness, relevance, and potential to stimulate discussion during the workshop. As the review process is double blind, please ensure all author names are redacted when submitting for review.

For the second deadline, we will consider only work-in-progress and position papers. Abstracts do not have to be submitted before the deadline. These will not be published in the ACM DL, and will only appear on the website.

The address of the submission site is: https://vmil24.hotcrp.com

All deadlines are Anywhere on Earth (AoE), i.e. GMT/UTC−12:00 hour

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks before the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.

Format Instructions

Please use the SIGPLAN acmart style (sigplan option) for all papers: https://sigplan.org/Resources/Author/#acmart-format. The provided double-column template is available for Latex and Word.

Questions? Use the VMIL contact form.