2023 Workshop on Virtual Machines and Language ImplementationsVMIL 2023
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.
Mon 23 OctDisplayed time zone: Lisbon change
09:00 - 10:30
Andrea Rosà USI LuganoFile Attached
|CHERI Performance Enhancement for a Bytecode Interpreter
Duncan Lowther University of Glasgow, Dejice Jacob University of Glasgow, Jeremy Singer University of GlasgowDOI Pre-print
|Revisiting Dynamic Dispatch for Modern Architectures
Dave Mason Toronto Metropolitan University (formerly Ryerson University)
|Extraction of Virtual Machine Execution Traces
|Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM ObjectsRemote
Tom Braun Hasso Plattner Institute, University of Potsdam, Germany, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Eliot Miranda Cadence Design Systems, Robert Hirschfeld University of Potsdam; Hasso Plattner InstituteDOI Pre-print
11:00 - 12:30
|Polyglot Programming through Foreign Function InterfacesKeynote
Shigeru Chiba The University of Tokyo
14:00 - 15:30
|Debugging Dynamic Language Features in a Multi-Tier Virtual MachineRemote
|Array Bytecode Support in MicroJIT
|Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation
|Approximating Type Stability in the Julia JITRemote
Artem Pelenitsyn Purdue University
16:00 - 17:30
|Collecting Garbage on the Blockchain
|Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation
Juan Fumero University of Manchester, György Rethy ETH Zurich, Athanasios Stratikopoulos University of Manchester, Nikos Foutris University of Manchester, Christos Kotselidis University of ManchesterDOI Pre-print
|Gigue: A JIT Code Binary Generator for Hardware Testing
Andrea Rosà USI Lugano
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);
- compilation (static and dynamic compilation strategies, optimizations, 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;
- the use of VMs in teaching programming, programming languages, and programming language implementation.
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 10 pages, 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).
Submissions will be judged on novelty, clarity, timeliness, relevance, and potential to stimulate discussion during the workshop.
The workshop has two submission deadlines (see the “Important Dates” box on the right of the page). For the first submission deadline, we will consider all paper types. For the second deadline, we will consider only work-in-progress and position papers.
Regardless of the submission deadline, all accepted papers will be published in the ACM Digital Library, except if the authors prefer not to be included.
The address of the submission site is: https://vmil23.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.
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.