Workshop on Virtual Machines and Language Implementations (VMIL ’21)
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.
Tue 19 OctDisplayed time zone: Central Time (US & Canada) change
09:00 - 10:20
Session 1VMIL at Zurich G
Chair(s): Stefan Marr University of Kent
|Reflections on a decade of MoarVM, a runtime for the Raku programming languageKeynote|
|Lightweight IOT abstractions for Embedded WebAssemblyWIP Paper|
Tom Lauwaerts Universiteit Gent, Belgium, Robbert Gurdeep Singh Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, BelgiumMedia Attached File Attached
10:50 - 12:10
Session 2VMIL at Zurich G
Chair(s): Christophe Scholliers Universiteit Gent, Belgium
|A Small Scheme VM, Compiler and REPL in 4KResearch Paper|
Samuel Yvon , Marc Feeley Université de MontréalDOI
|Lightweight On-Stack Replacement in Languages with Unstructured LoopsResearch Paper|
Matt D'Souza University of Waterloo, Gilles Duboscq Oracle Labs
|WOOD: Extending a WebAssembly VM with Out-of-Place Debugging for IoT applicationsWIP Paper|
Carlos Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit BrusselPre-print
13:50 - 15:10
Session 3VMIL at Zurich G
Chair(s): Matthew Flatt University of Utah
|Cross-Domain Compilation: Exploiting Synergies Across the CS CommunityKeynote|
Tobias Grosser University of Edinburgh
|YJIT: A Basic Block Versioning JIT Compiler for CRubyWIP Paper|
Maxime Chevalier-Boisvert Shopify, Noah Giibbs Shopify, Jean Boussier Shopify, Si Xing "Alan" Wu Shopify, Aaron Patterson Shopify, Kevin Newton Shopify, John Hawthorn GitHub
15:40 - 17:00
Session 4VMIL at Zurich G
Chair(s): Gregor Richards University of Waterloo, Manuel Rigger ETH Zurich
|GraalVM Native Image: Large-scale static analysis for JavaKeynote|
Christian Wimmer Oracle Labs
Gregor Richards University of Waterloo, Manuel Rigger ETH Zurich
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.
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, 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).
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 website.
The address of the submission site is: https://vmil21.hotcrp.com/
All deadlines are Anywhere on Earth (AoE), i.e. GMT/UTC−12:00 hour
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.