ABOUT THE WORKSHOP

The VMIL workshop is a forum for research in virtual machines and intermediate languages. It focuses on novel ideas on modular approaches to programming language implementation and optimization, extensible virtual machines, as well as reusable runtime components. VMIL also investigates programming language mechanisms and dynamic tooling facilities that are currently implemented as code transformations or in libraries but are worthwhile candidates for integration with the run-time environment. VMIL's area of interest includes exploration how said mechanisms can be elegantly (and reusably) expressed at the intermediate language level (e.g., in bytecode), how their implementations can be optimized, and how virtual machine architectures might be shaped to facilitate such implementation efforts. Examples of such mechanisms are concurrency constructs (e.g. actors, capsules, processes, software transactional memory), transactions, and development tools (profilers, runtime verification).

TOPICS OF INTEREST

Topics of interest include, but are not limited to:

- Modular compilation-based and interpreter-based virtual machine designs
- Intermediate language constructs that better support programming language level features
- Reusable implementation of runtime components (e.g. interpreters, garbage collectors, intermediate representations)
- Static and dynamic compiler techniques for different languages
- Tooling support for different languages (e.g. debugging, profiling, etc.)
- Modular language implementations that use existing frameworks and systems
- New research ideas on how we want to build languages in the future.

SUBMISSION GUIDELINES

In these key areas, 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 support of advanced separation of concerns techniques in virtual machines and intermediate languages. Experience papers that are of broader interest and describe
insights gained from practical applications. The page limit for these submissions is 10 pages.
- Position papers: These submissions present and defend the author’s position on a topic related to the broader area of the workshop. The page limit for these submissions is 4 pages.

Submissions should use the ACM SIGPLAN Conference acmart Format with ‘sigplan’ Subformat (http://www.sigplan.org/Resources/Author/), 10 point font, using the font family Times New Roman. All submissions should be in PDF format.

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

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

ORGANIZATION

Organizing Committee

Steve Blackburn, Australian National University
Christoph Bockisch, Phillips-Univeristat Marburg
Michael Haupt, eBay
Tony Hosking, Australian National University
Hridesh Rajan, Iowa State University
Witawas Srisa-an, University of Nebraska-Lincoln

Program Committee

Matthias Grimmer, Oracle Labs (Co-chair)
Adam Welc, Huawei America Research Center (Co-chair)
Walter Binder, University of Lugano
Roberto Ierusalimschy, PUC-Rio
Richard Jones, University of Kent
Tomas Kalibera, Northeastern University
Christos Kotselidis, The University of Manchester
Ben L. Titzer, Google
Jennifer B. Sartor, Vrije Universiteit Brussel