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
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.
Sun 4 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
09:00 - 10:00 | |||
09:00 60mTalk | On the Self in Selfie ⭐️Keynote VMIL DOI Media Attached |
10:30 - 12:00 | |||
10:30 25mResearch paper | Efficient VM-independent Runtime Checks for Parallel Programming VMIL DOI Pre-print | ||
10:55 25mResearch paper | Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study VMIL DOI Pre-print | ||
11:20 20mTalk | Generating a Minimum JavaScript VM Specialised for Target Applications VMIL Tomoharu Ugawa Kochi University of Technology, Japan, Hideya Iwasaki University of Electro-Communications, Japan | ||
11:40 20mTalk | Profiling Android Applications with Nanoscope VMIL Lun Liu University of California at Los Angeles, USA, Leland Takamine Uber Technologies, Adam Welc Uber Technologies Pre-print |
13:30 - 15:00 | |||
13:30 60mTalk | BEAM: A Virtual Machine for Handling Millions of Messages per Second ⭐️Keynote VMIL DOI | ||
14:30 25mResearch paper | A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler VMIL David Leopoldseder Johannes Kepler University Linz, Lukas Stadler Oracle Labs, Austria, Manuel Rigger Johannes Kepler University Linz, Thomas Wuerthinger Oracle Labs, Hanspeter Mössenböck JKU Linz, Austria DOI |
15:30 - 17:05 | |||
15:30 25mResearch paper | Building JIT Compilers For Dynamic Languages With Low Development Effort VMIL DOI | ||
15:55 20mTalk | Twopy: A Just-In-Time Compiler For Python Based On Code Specialization VMIL | ||
16:15 25mResearch paper | Towards Compilation of an Imperative Language for FPGAs VMIL Baptiste Pauget École Normale Supérieure, David J. Pearce Victoria University of Wellington, Alex Potanin Victoria University of Wellington DOI Pre-print File Attached | ||
16:40 25mResearch paper | Two Decades of Smalltalk VM Development VMIL Eliot Miranda Cadence Design Systems, Clément Béra Sofware Languages Lab, Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Dan Ingalls DOI |