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.

Proceedings are available online.

Invited Talks

On the Self in Selfie
Christoph Kirsch

BEAM: A Virtual Machine for Handling Millions of Messages per Second
Erik Stenman

Accepted Presentations and Accepted Papers

Title
A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler
VMIL
DOI
Building JIT Compilers For Dynamic Languages With Low Development Effort
VMIL
DOI
Efficient VM-independent Runtime Checks for Parallel Programming
VMIL
DOI Pre-print
Generating a Minimum JavaScript VM Specialised for Target Applications
VMIL
Profiling Android Applications with Nanoscope
VMIL
Pre-print
Towards Compilation of an Imperative Language for FPGAs
VMIL
DOI Pre-print File Attached
Two Decades of Smalltalk VM Development
VMIL
DOI
Twopy: A Just-In-Time Compiler For Python Based On Code Specialization
VMIL
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
VMIL
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);
  • compilation (static and dynamic compilation strategies, optimizations, data representations);
  • memory management;
  • concurrency (both internal and user-facing);
  • 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).

  • 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.

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 web site.

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

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

Format Instructions

Please use the SIGPLAN acmart style for all papers: http://www.sigplan.org/Resources/Author/. The provided double-column template is available for Latex and Word.

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

Sun 4 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Keynote: KirschVMIL at Stuart
Chair(s): Stefan MarrUniversity of Kent
09:00
60m
Talk
On the Self in Selfie ⭐️Keynote
VMIL
I: Christoph KirschUniversity of Salzburg
DOI Media Attached
10:30 - 12:00
IVMIL at Stuart
Chair(s): Mark MarronMicrosoft Research
10:30
25m
Research paper
Efficient VM-independent Runtime Checks for Parallel Programming
VMIL
Michael FaesETH Zurich, Thomas GrossETH Zurich
DOI Pre-print
10:55
25m
Research paper
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
VMIL
Juan FumeroThe University of Manchester, Christos KotselidisThe University of Manchester
DOI Pre-print
11:20
20m
Talk
Generating a Minimum JavaScript VM Specialised for Target Applications
VMIL
Tomoharu UgawaKochi University of Technology, Japan, Hideya IwasakiUniversity of Electro-Communications, Japan
11:40
20m
Talk
Profiling Android Applications with Nanoscope
VMIL
Lun LiuUniversity of California at Los Angeles, USA, Leland TakamineUber Technologies, Adam WelcUber Technologies
Pre-print
13:30 - 15:00
Keynote: StenmanVMIL at Stuart
Chair(s): Stephen KellUniversity of Kent
13:30
60m
Talk
BEAM: A Virtual Machine for Handling Millions of Messages per Second ⭐️Keynote
VMIL
DOI
14:30
25m
Research paper
A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler
VMIL
David LeopoldsederJohannes Kepler University Linz, Lukas StadlerOracle Labs, Austria, Manuel RiggerJohannes Kepler University Linz, Thomas WuerthingerOracle Labs, Hanspeter MössenböckJKU Linz, Austria
DOI
15:30 - 17:05
IIVMIL at Stuart
Chair(s): Adam WelcUber Technologies
15:30
25m
Research paper
Building JIT Compilers For Dynamic Languages With Low Development Effort
VMIL
Baptiste SaleilUniversité de Montréal, Marc FeeleyUniversité de Montréal
DOI
15:55
20m
Talk
Twopy: A Just-In-Time Compiler For Python Based On Code Specialization
VMIL
Julien PagèsUniversité de Montréal, Marc FeeleyUniversité de Montréal
16:15
25m
Research paper
Towards Compilation of an Imperative Language for FPGAs
VMIL
Baptiste PaugetÉcole Normale Supérieure, David J. PearceVictoria University of Wellington, Alex PotaninVictoria University of Wellington
DOI Pre-print File Attached
16:40
25m
Research paper
Two Decades of Smalltalk VM Development
VMIL
Eliot MirandaCadence Design Systems, Clément BéraSofware Languages Lab, Vrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Dan Ingalls
DOI