posted by organizer: yizawa || 91 views || tracked by 1 users: [display]

VMIL 2025 : 2025 Workshop on Virtual Machines and Language Implementations

FacebookTwitterLinkedInGoogle


Conference Series : Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms
 
Link: https://conf.researchr.org/home/icfp-splash-2025/vmil-2025
 
When Oct 12, 2025 - Oct 18, 2025
Where Shingapole
Abstract Registration Due Jul 14, 2025
Submission Deadline Jul 21, 2025
Notification Due Aug 4, 2025
Final Version Due Aug 25, 2025
Categories    virtual machines   programming languages   language implementations   compilers
 

Call For Papers

========================================================================

Call for Papers

Workshop on Virtual Machines and Language Implementations (VMIL’25)
Co-located with SPLASH 2025
October 12-18, 2025, Singapore

https://conf.researchr.org/home/icfp-splash-2025/vmil-2025

========================================================================
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

----------

Submission Categories
==========

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.

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


Additionally, this year, we invite “Experimental Setups” papers in both research
and work-in-progress paper categories.

Experimental setups
==========

As experiments in our field become increasingly challenging due to the growing
complexity of software and hardware stacks, we aim to support researchers in
preparing their experimental setups, which often demand significant engineering
efforts. Therefore, we invite the submission of experimental setups to receive
feedback. Such submissions should briefly discuss what the experiments are meant
to show and then describe the experimental setup, but should explicitly not discuss
any results. We recommend the format of both research and work-in-progress
papers for such submissions.

**AUTHORS TAKE NOTE**: If authors intend to submit their papers as experimental
setups, please check the relevant checkbox in HotCRP before submitting your
paper.

Submissions
==========

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 experimental setups 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. As the review process is
double blind, please ensure all author names are redacted when submitting for
review.

For the second deadline, we will consider only work-in-progress and position
papers. Abstracts do not have to be submitted before the deadline. These will
not be published in the ACM DL, and will only appear on the website.

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

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

**AUTHORS TAKE NOTE**: The official publication date is the date the proceedings
are made available in the ACM Digital Library. This date may be up to two
weeks before the first day of your conference. The official publication date
affects the deadline for any patent filings related to published work.

Submission formats
==========

- **Research and experience papers**: 6-10 pages, double-column, maximum 10pp, excluding references.
- **Work-in-progress and position papers**: up to 6 pages, double-column, maximum 10pp, but we will consider shorter submissions (e.g. a well-written2-page abstract).

Please use the SIGPLAN acmart style (`sigplan` option) for all papers:
https://sigplan.org/Resources/Author/#acmart-format. The provided double-column
template is available for Latex and Word.

----------

Important Dates

----------

All deadlines are Anywhere on Earth (AoE), i.e., UTC-12h
Mon 14 Jul 2025: Abstract Submission (Research papers)
Mon 21 Jul 2025: Submission Deadline (Research papers)
Mon 4 Aug 2025: Author Notification (Research papers)
Tue 12 Aug 2025: Submission Deadline (Work-in-Progress papers)
Mon 25 Aug 2025: Camera Ready (Research papers)
Wed 27 Aug 2025: Author Notification (Work-in-Progress papers)

----------

Organization

----------

Steering Committee Chair:
Stefan Marr, University of Kent, United Kingdom

PC Chairs:
Shoaib Akram, Australian National University, Australia
Yusuke Izawa, Tokyo Metropolitan University, Japan

Program Committee:
Edd Barrett, King's College London. United Kingdom
Olivier Flückiger, Google, Switzerland
Stephen Kell, King's College London, United Kingdom
Raffi Khatchadourian, CUNY Hunter College, United States
Iacovos Kolokasis, University of Crete
Paul Leger, Universidad Católica del Norte, Chile
Tomoki Nakamaru, The University of Tokyo, Japan
Athanasios Stratikopoulos, University of Manchester, United Kingdom
Tomoharu Ugawa, University of Tokyo, Japan

Related Resources

EEIEJ 2025   Emerging Trends in Electrical, Electronics & Instrumentation Engineering: An international Journal
OpenSuCo @ ISC HPC 2017   2017 International Workshop on Open Source Supercomputing
FETC 2025   The 2025 FPT International Conference on Emerging Trends in Computing
PLOS 2025   PLOS 2025 : 13th Workshop on Programming Languages and Operating Systems
IEEE AIxVR 2026   8th International Conference on Artificial Intelligence & extended and Virtual Reality
CIMA 2025   Congress on Intelligent Machines and Algorithms
ASPLOS 2026   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems - Summer
GLECC 2025   GLECC 2025 - International Conference on Globalisation in Languages, Education, Culture, and Communication (Final CfP)
LM 2025   Living Machines 2025: The 14th International Conference on Biomimetics and Biohybrid Systems
ISVC 2025   20th International Symposium on Visual Computing