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
This program is tentative and subject to change.
Sun 20 OctDisplayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
09:00 10mDay opening | Opening Remarks VMIL | ||
09:15 30mResearch 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 | ||
09:45 30mResearch 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 | ||
10:15 15mExperience report | Inlined Code Generation for Smalltalk VMIL Dave Mason Toronto Metropolitan University (formerly Ryerson University), Daniel Franklin Toronto Metropolitan University |
11:00 - 12:30 | |||
11:00 60mKeynote | A tour of CPython's runtime VMIL |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:30 | |||
14:00 30mResearch 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 | ||
14:30 30mResearch paper | Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine VMIL DOI | ||
15:00 15mShort-paper | The Fuzion Intermediate Representation VMIL | ||
15:15 15mShort-paper | An Effectively Ω(c) Language and Runtime VMIL Mark Marron University of Kentucky Pre-print |
16:00 - 17:30 | |||
16:00 30mResearch 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 30mResearch paper | Performant Bounds Checking for 64-Bit WebAssembly VMIL | ||
17:00 30mResearch 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 |
Accepted Papers
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.