[TYPES/announce] [2nd CFP] VMIL 2020 - Workshop on Virtual Machines and Language Implementations - Co-located with SPLASH 2020

Juan Fumero juan.fumero at manchester.ac.uk
Tue Aug 25 02:23:05 EDT 2020


=======================================================================
=  
                       	Call for Papers

   Workshop on Virtual Machines and Language Implementations (VMIL’20)

                 	Co-located with SPLASH 2020
                	November 17, 2020, Chicago, USA

               https://2020.splashcon.org/tracks/vmil-2020
                 	Follow us on twitter @vmil20
=======================================================================
=  

The concept of virtual machines is pervasive in the design and
implementation of programming systems. Virtual machines and the
languages they implement are crucial in the specification,
implementation and/or user-facing deployment of most programming
technologies.

Due to COVID-19, VMIL will be held virtually. We recommend checking the
SPLASH website for regular updates on this matter (
https://2020.splashcon.org/). 

The VMIL workshop is a forum for researchers and cutting-edge
practitioners in language virtual machines, the intermediate
languages they use, and related issues.

The workshop is intended to be welcoming to a wide range of
topics and perspectives, covering all areas relevant to the
workshop’s theme. Aspects of interest include, but are not limited to:

- design issues in VMs and IRs (e.g. IR design,
  VM modularity, polyglotism)
  
- compilation (static and dynamic compilation strategies,
  optimizations, data representations)

- VM embeddings in other systems (e.g., DBMSs, Big Data frameworks,
Microservices, etc.)
  
- memory management

- concurrency (both internal and user-facing)

- tool support and related infrastructure (profiling,
  debugging, liveness, persistence)
  
- the experience of VM development (use of high-level languages,
  bootstrapping and self-hosting, reusability, portability,
  developer tooling, etc)
  
- empirical studies on related topics, such as usage patterns,
  the usability of languages or tools, experimental methodology,
  or benchmark design

Submission Guidelines
---------------------

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 the above or related areas.
The suggested length of these submissions
is 6-10 pages (maximum 10pp).

* Work-in-progress or position papers:

These papers should document ongoing efforts in an area of
interest which have not yet yielded final results, and/or
should present and defend the authors' position on a topic
related to the broad area of the workshop.
The suggested length of these submissions
is 4-6 pages (maximum 6pp).

For the first submission deadline, all paper types are considered
for publication in the ACM Digital Library, except if the authors
prefer not to be included.
Publication of work-in-progress and position papers at VMIL is not
intended to preclude later publication elsewhere.

Submissions will be judged on novelty, clarity, timeliness,
relevance, and potential to stimulate discussion during the workshop.

For the second deadline, we will consider only work-in-progress
and position papers. These will not be published in the ACM DL,
and will only appear on the web site.

The address of the submission site is: https://vmil20.hotcrp.com/

Important Dates
---------------

All deadlines are Anywhere on Earth (AoE), i.e. GMT/UTC−12:00 hour 

Fri 4 Sep   Submission Deadline
Fri 18 Sep  Second Submission Deadline (WIP and position papers only)
Mon 5 Oct   Author Notification
Mon 12 Oct  Camera-ready
Tue 17 Nov  Workshop **to be confirmed with SPLASH organizers**


Format Instructions
--------------------

Please use the SIGPLAN acmart style for all papers: 
http://www.sigplan.org/Resources/Author/. The provided double-column
template is available for Latex and Word.


Organization
------------

Program Committee:

  Marc Feeley, University of Montreal
  Juan Fumero, University of Manchester
  Elisa Gonzalez Boix, Vrije Universiteit Brussel
  David Leopoldseder, Oracle Labs
  Hannes Payer, Google
  Andreas Rossberg, Dfinity 
  Konstantinos Sagonas, Uppsala University
  Manuel Serrano, INRIA
  Foivos Zakkak, Red Hat


PC-Chairs:
  Marc Feeley, University of Montreal
  Juan Fumero, University of Manchester



More information about the Types-announce mailing list