Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece

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

Tue 22 Oct

Displayed time zone: Beirut change

09:00 - 10:30
Keynote & Session #1VMIL at Abbey
09:00
60m
Talk
Keynote 1: How did we get here and where can we go next? (Joint with MPLR, in Room 1)Keynote
VMIL
Laurence Tratt King's College London
10:00
30m
Full-paper
Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR)
VMIL
Javier Cabrera Arteaga KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH Royal Institute of Technology, Sweden
Pre-print
10:30 - 11:00
Coffee breakCatering at Break area
11:00 - 12:30
Session #2VMIL at Abbey
Chair(s): Anthony Canino SUNY Binghamton
11:00
30m
Full-paper
Which of my Transient Type Checks are not (Almost) Free?
VMIL
Isaac Oscar Gariano Victoria University of Wellington, Richard Roberts Victoria University of Wellington, Stefan Marr University of Kent, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington
11:30
30m
Full-paper
Efficient Fail-Fast Dynamic Subtype Checking
VMIL
Rohan Padhye University of California, Berkeley, Koushik Sen University of California, Berkeley
Pre-print
12:00
15m
Talk
Towards Gradual Checking of Reference Capabilities
VMIL
Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Tobias Wrigstad Uppsala University
Pre-print
12:15
15m
Talk
Formal Verification of JIT by Symbolic Execution
VMIL
12:30 - 14:00
14:00 - 15:30
Keynote & Session #3VMIL at Abbey
14:00
60m
Talk
Keynote 2: Who is afraid of the Turnstile?Keynote
VMIL
Andreas Rossberg Dfinity Stiftung
15:00
30m
Full-paper
Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages
VMIL
Javad Ebrahimian Amiri Australian National University / Data61, Steve Blackburn Australian National University , Tony Hosking Australian National University / Data61, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia
DOI Pre-print
15:30 - 16:00
Coffee breakCatering at Break area
16:00 - 17:30
Session #4VMIL at Abbey
Chair(s): Andrea Rosà University of Lugano, Switzerland
16:00
30m
Full-paper
Towards seamless interfacing between dynamic languages and native code
VMIL
Guillaume Bertholon École Normale Supérieure, Stephen Kell University of Kent
16:30
30m
Full-paper
Memory efficient CRDTs in dynamic environments
VMIL
Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
17:00
30m
Full-paper
Implementing a Language with Explicit Assignment Semantics
VMIL
Dimi Racordon University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier Buchs University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland

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);
  • VM embeddings in other systems (e.g., DBMSs, Big Data frameworks, Microservices, etc.)
  • 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://vmil19.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.

Questions? Use the VMIL contact form.