VMIL: Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms



Past:   Proceedings on DBLP

Future:  Post a CFP for 2019 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
VMIL 2018 9th Workshop on Virtual Machines and Intermediate Languages (VMIL 2017)
Oct 24, 2017 - Oct 24, 2017 Vancouver, Canada Aug 14, 2017
VMIL 2013 The 7th workshop on Virtual Machines and Intermediate Languages
Oct 28, 2013 - Oct 28, 2013 Indianapolis, Indiana Aug 17, 2013
VMIL 2011 5th international workshop on Virtual Machines and Intermediate Languages
Oct 24, 2011 - Oct 24, 2011 Portland, Oregon, USA Aug 8, 2011 (Aug 1, 2011)

Present CFP : 2018


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


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


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

Related Resources

MoreVMs 2020   Workshop on Modern Language Runtimes, Ecosystems, and VMs
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications
LCTES 2020   The 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
Living Machines 2020   The 9th International Conference on Biomimetic and Biohybrid systems.
FCCM 2020   Field-Programmable Custom Computing Machines
MODELS 2020   Model Driven Engineering Languages and Systems
IVA 2020   ACM 20th International Conference on Intelligent Virtual Agents
Salento AVR 2020   7th International Conference on Augmented Reality, Virtual Reality and Computer Graphics
IEEE-CVIV 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
ICALP 2020   47th International Colloquium on Automata, Languages and Programming