Invited Talks
Accepted Talks and Papers
Call for Extended Abstracts and Talks
The 8th MoreVMs workshop aims to bring together industrial and academic programmers to discuss the design, implementation, and usage of modern languages and runtimes.
This includes aspects such as reuse of language runtimes, modular implementation, language design, compilation strategies, as well as the interaction of modern languages and runtimes with operating systems and modern hardware architectures.
By bringing together both researchers and practitioners, the workshop aims to enable a diverse discussion on how languages and runtimes are currently being utilized, and where they need to improve further.
MoreVMs welcomes early-stage work, emerging ideas, insightful discussions of existing systems, as well as extended abstracts for publication in the ACM DL.
Relevant topics include, but are definitely not limited to, the following:
- Extensible VM design (compiler- or interpreter-based VMs)
- Reusable components (e.g. interpreters, garbage collectors, …)
- Static and dynamic compilation techniques
- Techniques for targeting high-level languages such as JavaScript
- Interoperability between languages
- Tooling support (e.g. debugging, profiling, etc.)
- Programming language development environments
- Interaction of virtual machines, operating systems, and computer architecture
- Case studies of existing language implementation approaches
- Language implementation challenges and trade-offs
- Surveys and experience reports to understand usage in the wild
- Survey and analysis of existing VMs and compilers
- Ideas for more predictable performance
- Ideas for how VMs could take advantage of new hardware features
- Ideas for how we should build languages in the future
Workshop Format and Submissions
We welcome presentation proposals in the form of extended abstracts (2 to 4 pages long) and talk proposals (title and 400 words abstract) discussing new techniques, insights, experiences, works-in-progress, as well as future visions, from either an academic or industrial perspective.
We will also consider submissions in form of blog posts. These can be submitted either as HTML files or URL, as well as a brief (ca. 100 word) abstract for the workshop website.
The extended abstracts, talk proposals, and if the speakers wish, their slides, will be published on the workshop’s website.
Extended abstracts can be published as part of the companion of ‹Programming›’24 in the ACM DL. Publication in the ACM DL is conditional on the acceptance by the program committee.
Please note that MoreVMs’24 is organized as an academic workshop, and as such, speakers will be required to register for the workshop.
Author Instructions
Extended abstracts should use the ACM acmart
format and be submitted as PDF: https://www.acm.org/publications/proceedings-template
The format of your paper must strictly adhere to the ACM Format. LaTeX: Use version acmart v1.87 or newer. You can directly download the LaTeX class file acmart and the BibTeX ACM Reference Format, which are also available from CTAN. Please use the sigconf
style by using the following LaTeX class configuration: \documentclass[sigconf,screen]{acmart}
Word: Download template from ACM format site. Please use the sigconf
style by selecting the right template.
Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.
Talk proposal can be plain text, and blog posts can be submitted as HTML or simply a URL to the post.
Tue 12 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:30 | |||
08:30 60mKeynote | Verona: Ownership, Value Independence, Memory Management, and the Future of MutationVIMPL VIMPL Ellen Arvidsson Uppsala University |
09:30 - 10:00 | |||
09:30 30mCoffee break | Coffee & Fika Catering |
10:00 - 12:00 | |||
10:00 60mKeynote | Lightweight Affine Types for Safe Concurrency in ScalaVIMPL VIMPL Link to publication | ||
11:00 30mPaper | A Formal Foundation of Reach CapabilitiesVIMPL VIMPL | ||
11:30 30mTalk | Tinyrossa: a compiler framework for vertical, verified construction of Smalltalk VMs MoreVMs |
12:00 - 13:00 | |||
12:00 60mLunch | Lunch Catering |
13:00 - 15:00 | |||
13:00 60mTalk | Virtual Machines: should we keep doing them?MoreVMs Invited Talk MoreVMs Javier Pimás Universidad de Buenos Aires | ||
14:00 30mTalk | BoaSpect: An Expressive Instrumentation Platform for JavaScript MoreVMs Aäron Munsters Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel | ||
14:30 30mTalk | A Virtual Machine for Higher-Order Reactors MoreVMs Bjarno Oeyen Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel |
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee & Fika Catering |
15:30 - 16:30 | |||
15:30 60mTalk | Retro-fitting Garbage Collection into RustMoreVMs Invited Talk MoreVMs Jacob Hughes King's College London |