SPLASH Workshop/Symposium Events 2023
2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2023)
Powered by
Conference Publishing Consulting

15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages (VMIL 2023), October 23, 2023, Cascais, Portugal

VMIL 2023 – Preliminary Table of Contents

Contents - Abstracts - Authors

15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages (VMIL 2023)


Title Page
Message from the Chairs


Extraction of Virtual Machine Execution Traces
Daniel Pekarek ORCID logo and Hanspeter MössenböckORCID logo
(JKU Linz, Austria)
Article Search
Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM Objects
Tom Braun ORCID logo, Marcel TaeumelORCID logo, Eliot Miranda ORCID logo, and Robert Hirschfeld ORCID logo
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
Article Search
Debugging Dynamic Language Features in a Multi-tier Virtual Machine
Anmolpreet Singh ORCID logo, Aayush Sharma ORCID logo, Meetesh Kalpesh Mehta ORCID logo, and Manas Thakur ORCID logo
(IIT Mandi, India; IIT Bombay, India)
Article Search
Collecting Garbage on the Blockchain
Luc Bläser ORCID logo, Claudio Russo ORCID logo, Ulan Degenbaev ORCID logo, Ömer S. Agacan ORCID logo, Gabor Greif ORCID logo, and Jason Ibrahim ORCID logo
(DFINITY Foundation, Switzerland; Google, Denmark)
Article Search
Revisiting Dynamic Dispatch for Modern Architectures
Dave Mason ORCID logo
(Toronto Metropolitan University, Canada)
Article Search
CHERI Performance Enhancement for a Bytecode Interpreter
Duncan Lowther ORCID logo, Dejice Jacob ORCID logo, and Jeremy SingerORCID logo
(University of Glasgow, UK)
Article Search
Gigue: A JIT Code Binary Generator for Hardware Testing
Quentin Ducasse ORCID logo, Pascal Cotret ORCID logo, and Loïc Lagadec ORCID logo
(ENSTA Bretagne, France)
Article Search
Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation
Christoph Pichler ORCID logo, Paley Li ORCID logo, Roland Schatz ORCID logo, and Hanspeter MössenböckORCID logo
(JKU Linz, Austria; Oracle, Austria)
Article Search
Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation
Juan Fumero ORCID logo, György Rethy ORCID logo, Athanasios Stratikopoulos ORCID logo, Nikos Foutris ORCID logo, and Christos Kotselidis ORCID logo
(University of Manchester, UK; ETH Zurich, Switzerland)
Article Search
Approximating Type Stability in the Julia JIT (Work in Progress)
Artem PelenitsynORCID logo
(Northeastern University, USA)
Article Search
Array Bytecode Support in MicroJIT
Shubham Verma, Harpreet Kaur, Marius Pirvu, and Kenneth B. Kent
(University of New Brunswick, Canada; IBM, Canada)
Article Search

proc time: 2.55