posted by user: adamwelc || 2271 views || tracked by 4 users: [display]

VMIL 2018 : 9th Workshop on Virtual Machines and Intermediate Languages (VMIL 2017)


Conference Series : Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms
When Oct 24, 2017 - Oct 24, 2017
Where Vancouver, Canada
Submission Deadline Aug 14, 2017
Notification Due Sep 15, 2017
Final Version Due Sep 22, 2017
Categories    virtual machines   intermediate languages   languages implementation

Call For Papers


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 (, 10 point font, using the font family Times New Roman. All submissions should be in PDF format.

The address of the submission site is:

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

MPLR 2021   18th International Conference on Managed Programming Languages and Runtimes
MPLR 2021   Managed Programming Languages and Runtimes
FCCM 2021   Field-Programmable Custom Computing Machines
FTSIASP 2021   Finding the Sun in a Sunless Place
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
S&P 2022   IEEE Symposium on Security and Privacy (Third deadline)
Special Issue on Speech and Language Tec 2021   Computer Speech and Language - SCI Journal - Special Issue on Speech and Language Technologies for Dravidian Languages
S&P 2022   IEEE Symposium on Security and Privacy (Second deadline)
POPL 2022   Symposium on Principles of Programming Languages
Virtual Environments for Cybersecurity 2021   SIMULATION MODELLING PRACTICE AND THEORY - Special Issue on ''Virtual Environments for Cybersecurity''