Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands

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 VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, capsules, processes, software transactional memory), transactions, development tools (profilers, runtime verification), 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.

Accepted Papers and Invited Speakers

Title
Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle
VMIL
Pre-print
Discussions/Closing Remarks
VMIL
Extending OpenJDK To Support Hybrid STM/HTM
VMIL
DOI Pre-print Media Attached
Improving Trace-based JIT Optimisation using Whole-Program Information
VMIL
DOI Pre-print
Invited Talk: The seven ages of virtual machines (with apologies to Shakespeare)
VMIL
Invited Talk: Why aren't more users more happy with our VMs?
VMIL
Media Attached
Keynote: The good, the good enough, and some things we wish we had done differently: runtime design lessons from a production JVM
VMIL
Link to publication Media Attached
Keynote: WebAssembly from wire to machine code: a view inside V8's implementation
VMIL
Opening Remarks
VMIL
Rebuilding an Airliner In Flight: A Retrospective on Refactoring IBM Testarossa production compiler for Eclipse OMR
VMIL
SPLASH-E Keynote (Room Matterhorn 3)
VMIL

Call for Papers

Topics

Topics of interest include, but are not limited to:

  • Compilation-based and interpreter-based virtual machine designs with better support for new mechanisms
  • Intermediate language constructs that better support new mechanisms
  • Compilation techniques from high-level languages to enhanced intermediate languages
  • Optimization strategies for reduction of runtime overhead due to either compilation or interpretation
  • Use cases for deeper support of new mechanisms in virtual machines and intermediate languages
  • Advanced caching and memory management schemes in support of new mechanisms

Paper Categories

We invite high-quality papers in the following two categories.

  1. Research or 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.

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

Review Process

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.

Paper Submission

Submission site: https://vmil16.hotcrp.com

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 ( http://www.sigplan.org/Resources/Author ), use 10pt font, include the ACM general terms and categories on the first page, and must not exceed the page limit of the category (research, experience, or position paper) in which it is classified by the authors (including all text, figures, references and appendices). Submissions which do not conform to these requirements will be rejected without reviews.

Authors have the option to have their accepted paper published in the official proceedings to appear in the ACM DL. An author of the paper is expected to attend the workshop (registration as Workshop participant via SPLASH).

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
Session 1VMIL at St Gallen
Chair(s): Tony HoskingAustralian National University, Data61, and Purdue University
08:30
10m
Day opening
Opening Remarks
VMIL
Tony HoskingAustralian National University, Data61, and Purdue University
08:40
55m
Talk
Keynote: The good, the good enough, and some things we wish we had done differently: runtime design lessons from a production JVM
VMIL
K: Mark StoodleyIBM Canada
Link to publication Media Attached
09:35
25m
Talk
Extending OpenJDK To Support Hybrid STM/HTM
VMIL
Keith ChapmanPurdue University, Tony HoskingAustralian National University, Data61, and Purdue University, Eliot MossUniversity of Massachusetts Amherst
DOI Pre-print Media Attached
10:30 - 12:10
Session 2VMIL at St Gallen
Chair(s): Tony HoskingAustralian National University, Data61, and Purdue University
10:30
50m
Talk
SPLASH-E Keynote (Room Matterhorn 3)
VMIL
Simon Peyton JonesMicrosoft Research, Cambridge
11:25
45m
Talk
Invited Talk: Why aren't more users more happy with our VMs?
VMIL
K: Laurence TrattKing's College London
Media Attached
13:30 - 15:10
Session 3VMIL at St Gallen
Chair(s): Tony HoskingAustralian National University, Data61, and Purdue University
13:30
55m
Talk
Keynote: WebAssembly from wire to machine code: a view inside V8's implementation
VMIL
K: Ben L. TitzerGoogle
14:25
45m
Talk
Invited Talk: The seven ages of virtual machines (with apologies to Shakespeare)
VMIL
K: Jeremy SingerUniversity of Glasgow
15:40 - 17:20
Session 4VMIL at St Gallen
Chair(s): Jeremy SingerUniversity of Glasgow
15:40
25m
Talk
Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle
VMIL
Manuel RiggerJohannes Kepler University, Linz, Austria, Matthias GrimmerJohannes Kepler University Linz, Christian WimmerOracle Labs, Thomas WuerthingerOracle Labs, Hanspeter MössenböckJKU Linz, Austria
Pre-print
16:05
25m
Talk
Improving Trace-based JIT Optimisation using Whole-Program Information
VMIL
Maarten VandercammenVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel, Belgium
DOI Pre-print
16:30
25m
Talk
Rebuilding an Airliner In Flight: A Retrospective on Refactoring IBM Testarossa production compiler for Eclipse OMR
VMIL
Matthew GaudetIBM Canada, Mark StoodleyIBM Canada
16:55
25m
Day closing
Discussions/Closing Remarks
VMIL
Tony HoskingAustralian National University, Data61, and Purdue University