VMIL: Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms

FacebookTwitterLinkedInGoogle

 

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

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
 

Related Resources

MPLR 2019   Managed Programming Languages and Runtimes 2019
POPL 2020   ACM SIGPLAN Symposium on Principles of Programming Languages 2020
ACM--ICVRT--Ei and Scopus 2019   ACM--2019 2nd International Conference on Virtual Reality Technology (ICVRT 2019)--EI Compendex, Scopus
ASPLOS 2020   Architectural Support for Programming Languages and Operating Systems
VRST 2019   Virtual Reality Software and Technology
IEEE-AIVR 2019   Second IEEE International Conference on Artificial Intelligence & Virtual Reality
VRIS--SCOPUS, Ei Compendex 2019   2019 International Conference on Virtual Reality and Intelligent System (VRIS 2019)--SCOPUS, Ei Compendex
ACM--ICVARS--Ei and Scopus 2020   ACM--2020 4th International Conference on Virtual and Augmented Reality Simulations (ICVARS 2020)--Ei Compendex, Scopus
ISVC 2019   International Symposium on Visual Computing
ICVR--Ei and Scopus 2020   2020 6th International Conference on Virtual Reality (ICVR 2020)--Ei Compendex, Scopus