[TYPES/announce] VMIL 2023 - Co-located with SPLASH'23 - 2nd Call for Papers

Andrea Rosa andrea.rosa at usi.ch
Tue Jul 4 10:41:54 EDT 2023


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

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

Co-located with SPLASH 2023
October 22-27, 2023, Cascais, Portugal

https://urldefense.com/v3/__https://2023.splashcon.org/home/vmil-2023__;!!IBzWLUs!VGOMB7wuhS2fcbgnI3DONF-ba02qWXeA0LWK146rKG4GnMV-fwG2b-0ihGRgYDm1cXl85HzZNL5311JByeBfkZbq-sUJtpH7k5U$ 
========================================================================

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.

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);
- memory management;
- security considerations;
- concurrency (both internal and user-facing);
- performance engineering;
- 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;
- the use of VMs in teaching programming, programming languages, and programming language implementation.

----------------------------------
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 10 pages, excluding references).

- 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 maximum length of these submissions is 6 pages, but we will consider shorter submissions (e.g. a well-written 2-page abstract).

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

The workshop has two submission deadlines.

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.

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

The address of the submission site is: https://urldefense.com/v3/__https://vmil23.hotcrp.com__;!!IBzWLUs!VGOMB7wuhS2fcbgnI3DONF-ba02qWXeA0LWK146rKG4GnMV-fwG2b-0ihGRgYDm1cXl85HzZNL5311JByeBfkZbq-sUJOfjHe3I$ 

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

All deadlines are Anywhere on Earth (AoE), i.e., UTC-12h

2023-07-12:       Abstract submission deadline (research and experience papers)
2023-07-17:       Submission deadline (research and experience papers)
2023-07-27:       Submission deadline (WIP and position papers only)
2023-08-24:       Acceptance notification
2023-09-10:       Camera-ready paper deadline

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

Please use the SIGPLAN acmart style (`sigplan` option) for all papers: https://urldefense.com/v3/__https://sigplan.org/Resources/Author/*acmart-format__;Iw!!IBzWLUs!VGOMB7wuhS2fcbgnI3DONF-ba02qWXeA0LWK146rKG4GnMV-fwG2b-0ihGRgYDm1cXl85HzZNL5311JByeBfkZbq-sUJiLyLRDo$ . The provided double-column template is available for Latex and Word.

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

PC Chairs:

Andrea Rosà, Università della Svizzera italiana
Martin Henz, National University Singapore


Program Committee:

Edd Barrett, King’s College London
Steve Blackburn, Australian National University and Google
Rodrigo Bruno, INESC-ID / Técnico, ULisboa
Juan Fumero, University of Manchester
Christine H. Flood, Red Hat, Inc.
Doug Lea, State University of New York (SUNY) Oswego
Hidehiko Masuhara, Tokyo Institute of Technology
Fabio Niephaus, Oracle Labs, Potsdam
Guido Salvaneschi, University of St. Gallen
Adam Welc, Uber Technologies


-------------------------

Andrea Rosà
Faculty of Informatics - Office D5.10
Università della Svizzera italiana (USI)
Via la Santa 1
CH-6962 Viganello
Switzerland
(e) andrea.rosa at usi.ch<mailto:andrea.rosa at usi.ch>
(p) +41 58 666 4455 ext. 2183


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230704/38fdd23e/attachment-0001.htm>


More information about the Types-announce mailing list