SPLASH Workshops 2020
2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Workshops 2020)
Powered by
Conference Publishing Consulting

12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages (VMIL 2020), November 17, 2020, Virtual, USA

VMIL 2020 – Preliminary Table of Contents

Contents - Abstracts - Authors

12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages (VMIL 2020)


Title Page

Message from the Chairs
Welcome to the 12th ACM Workshop on Virtual Machines and Language Implementations (VMIL'20). The workshop is co-located with SPLASH’20 in Chicago, US. The workshop aims at advancing the state of the art on the design and implementation of programming systems, with virtual machines — broadly defined — as a focus.
Due to COVID-19, many computing conferences, including VMIL, have struggled to obtain submissions. The workshop had two submission deadlines. The first deadline was intended for mature work to be published as part of these proceedings. The second deadline was intended for work-in-progress papers, new ideas, and emerging results. In total, the workshop attracted one full-length paper and no work-in-progress submissions. Due to the low number of submissions, the submitted paper received eight reviews. The program committee accepted this submission for publication and presentation in the workshop.
Additionally, this year we have four invited talks from industry and academia. Matthew Flatt on Racket’s intermediate language for control. Mark Stoodley on JitBuilder2.0, a new framework for optimizing DLS compilers. Chris Seaton on new tools to help understanding the Graal IR, and finally, Vyacheslav Egorov on the evolution of the Dart programming language.
We would like to thank the authors for their submission, and all program committee members for their high-quality and insightful reviews. Finally, we thank all attendees for their participation.


Programming Microcontrollers through High-Level Abstractions
Steven Varoumas, Basile Pesin, Benoît Vaugon, and Emmanuel Chailloux
(LIP6, France; Sorbonne University, France; Inria, France; Armadillo, France)
In this paper, we present an approach for programming microcontrollers that provides more expressivity and safety than a low-level language approach traditionally used to program such devices. To this end, we provide various abstraction layers (abstraction of the microcontroller, of the electronic components of the circuit, and of concurrency) which, while being adapted to the scarce resources of the hardware, offer high-level programming traits for the development of embedded applications. The various presented abstractions make use of an OCaml virtual machine able to run on devices with limited resources and take advantage of the expressivity and extensibility of the language. We illustrate the interest of our work on both entertainment applications and embedded software examples.

Article Search

proc time: 0.53