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 | |||
09:00 10mDay opening | Opening Remarks VMIL Andrea Rosà USI Lugano File Attached | ||
09:10 25mPaper | CHERI Performance Enhancement for a Bytecode Interpreter VMIL Duncan Lowther University of Glasgow, Dejice Jacob University of Glasgow, Jeremy Singer University of Glasgow DOI Pre-print | ||
09:35 25mPaper | Revisiting Dynamic Dispatch for Modern Architectures VMIL Dave Mason Toronto Metropolitan University (formerly Ryerson University) | ||
10:00 15mShort-paper | Extraction of Virtual Machine Execution Traces VMIL | ||
10:15 15mShort-paper | Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM ObjectsRemote VMIL 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 Institute DOI Pre-print |
11:00 - 12:30 | |||
11:00 60mKeynote | Polyglot Programming through Foreign Function InterfacesKeynote VMIL Shigeru Chiba The University of Tokyo |
14:00 - 15:30 | |||
14:00 25mPaper | Debugging Dynamic Language Features in a Multi-Tier Virtual MachineRemote VMIL Anmolpreet Singh Indian Institute of Technology Mandi, Aayush Sharma Indian Institute of Technology Mandi, Meetesh Kalpesh Mehta IIT Bombay, Manas Thakur IIT Bombay | ||
14:25 25mPaper | Array Bytecode Support in MicroJIT VMIL Shubham Verma University of New Brunswick, Harpreet Kaur University of New Brunswick, Kenneth Kent University of New Brunswick, Marius Pirvu IBM | ||
14:50 25mPaper | Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation VMIL Christoph Pichler Johannes Kepler University Linz, Paley Li Oracle, Roland Schatz Johannes Kepler University Linz, Hanspeter Mössenböck JKU Linz | ||
15:15 15mShort-paper | Approximating Type Stability in the Julia JITRemote VMIL Artem Pelenitsyn Purdue University |
16:00 - 17:30 | |||
16:00 25mPaper | Collecting Garbage on the Blockchain VMIL Luc Bläser DFINITY Foundation, Claudio Russo Microsoft Research, Ulan Degenbaev Google, Omer S. Agacan Indiana University, Gabor Greif DFINITY, Jason Ibrahim DFINITY Foundation | ||
16:25 25mPaper | Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation VMIL Juan Fumero University of Manchester, György Rethy ETH Zurich, Athanasios Stratikopoulos University of Manchester, Nikos Foutris University of Manchester, Christos Kotselidis University of Manchester DOI Pre-print | ||
16:50 25mPaper | Gigue: A JIT Code Binary Generator for Hardware Testing VMIL Quentin DUCASSE Lab-STICC, Pascal Cotret Lab-STICC CNRS UMR 6285, ENSTA Bretagne, Loïc Lagadec Lab-STICC CNRS UMR 6285, ENSTA Bretagne | ||
17:15 10mDay closing | Closing Remarks VMIL Andrea Rosà USI Lugano |
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);
- 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.
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 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.
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.