VMIL: Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
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 : 2013

The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at the VM level. Candidates for such mechanisms and constructs include modularity mechanisms, concurrency mechanisms, etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for integration with the run-time environment, 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. We especially welcome transformative ideas for virtual machines, including efficient support for game-changing IL mechanisms.


Topics of interest include, but are not limited to:
Compilation-based and interpreter-based virtual machine designs with better support for these modularization mechanisms
Intermediate language constructs that better support these modularization mechanisms
Compilation techniques from high-level languages to enhanced intermediate languages
Optimization strategies for reduction of runtime overhead due to either compilation or interpretation
Improved techniques for fast evaluation of pointcuts and other predicates
Use cases for deeper support in the virtual machines and intermediate languages
Advanced caching and memory management schemes in support of the mechanisms


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

The program committee will evaluate each paper based on its relevance, significance, clarity and originality. Each submission will be reviewed by at least three PC members.


Papers should be submitted in PDF format. The results described must be unpublished and must not be under review for another workshop, conference or journal. Submissions must conform to ACM SIGPLAN format, use 10 pt font, include the ACM general terms and categories on the first page, and must not exceed the page limit of the category in which it is classified by the authors (including all text, figures, references and appendices). Submissions which do not conform to this will be rejected without reviews.
Submission website for VMIL 2013 is available at: http://www.easychair.org/conferences/?conf=vmil2013

Program Committee

Chair: Joseph (Yossi) Gil (Technion, Israel)
Keith Adams, Facebook
Gilad Bracha, Google
Dorit Nuzman, IBM Research, Israel
José Nelson Amaral, University of Alberta, Canada
Filip Pizlo, Apple
David Grove, IBM Research, USA
Doug Lea, State University of New York at Oswego, USA
Ayal Zaks, Intel, Israel
Michael Haupt, Oracle Labs, Germany
 

Related Resources

VMM 2016   3rd Virtual Machine Meetup
PPPJ 2016   13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
RUMPLE 2016   ReUsable and Modular Programming Language Ecosystems
POPL 2017   44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
ASPLOS 2017   22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems
VRST 2016   The ACM Symposium on Virtual Reality Software and Technology (VRST)
Special Issue GPEM 2016   Special Issue on Automated Design and Adaptation of Heuristics for Scheduling and Combinatorial Optimisation - Genetic Programming and Evolvable Machines (Springer)
IWCLUL 2017   International Workshop for Computational Linguistics of Uralic Languages
SAC PL 2017   ACM SAC'17 PL Track
FILM 2016   Future of Interactive Learning Machines Workshop @ NIPS 2016