SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal

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.

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

Mon 23 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Session #1VMIL at Room VI
Chair(s): Andrea Rosà USI Lugano
09:00
10m
Day opening
Opening Remarks
VMIL
Andrea Rosà USI Lugano
File Attached
09:10
25m
Paper
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
25m
Paper
Revisiting Dynamic Dispatch for Modern Architectures
VMIL
Dave Mason Toronto Metropolitan University (formerly Ryerson University)
10:00
15m
Short-paper
Extraction of Virtual Machine Execution Traces
VMIL
Daniel Pekarek Johannes Kepler University Linz, Hanspeter Mössenböck JKU Linz
10:15
15m
Short-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
10:30 - 11:00
Coffee BreakCatering at Gallery
11:00 - 12:30
Session #2: KeynoteVMIL at Room VI
Chair(s): Andrea Rosà USI Lugano
11:00
60m
Keynote
Polyglot Programming through Foreign Function InterfacesKeynote
VMIL
Shigeru Chiba The University of Tokyo
12:30 - 14:00
14:00 - 15:30
Session #3VMIL at Room VI
Chair(s): Tony Hosking Australian National University
14:00
25m
Paper
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
25m
Paper
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
25m
Paper
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
15m
Short-paper
Approximating Type Stability in the Julia JITRemote
VMIL
Artem Pelenitsyn Purdue University
15:30 - 16:00
Coffee BreakCatering at Gallery
16:00 - 17:30
Session #4VMIL at Room VI
Chair(s): Adam Welc Mysten Labs
16:00
25m
Paper
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
25m
Paper
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
25m
Paper
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
10m
Day closing
Closing Remarks
VMIL
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.

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.

Questions? Use the VMIL contact form.