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 – Proceedings

Contents - Abstracts - Authors

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


Title Page
Welcome from the Chairs
VMIL 2023 Organization


CHERI Performance Enhancement for a Bytecode Interpreter
Duncan Lowther ORCID logo, Dejice Jacob ORCID logo, and Jeremy SingerORCID logo
(University of Glasgow, UK)
Publisher's Version
Revisiting Dynamic Dispatch for Modern Architectures
Dave Mason ORCID logo
(Toronto Metropolitan University, Canada)
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)
Publisher's Version
Array Bytecode Support in MicroJIT
Shubham Verma ORCID logo, Harpreet Kaur ORCID logo, Marius Pirvu ORCID logo, and Kenneth B. Kent ORCID logo
(University of New Brunswick, Canada; IBM, Canada)
Publisher's Version
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, Prague, Czechia; Oracle, Austria)
Publisher's Version
Collecting Garbage on the Blockchain
Luc Bläser ORCID logo, Claudio Russo ORCID logo, Ulan Degenbaev ORCID logo, Ömer S. Ağacan ORCID logo, Gabor Greif ORCID logo, and Jason Ibrahim ORCID logo
(DFINITY Foundation, Switzerland; Google, Denmark)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version
Approximating Type Stability in the Julia JIT (Work in Progress)
Artem Pelenitsyn ORCID logo
(Northeastern University, USA)
Publisher's Version
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)
Publisher's Version
Extraction of Virtual Machine Execution Traces
Daniel Pekarek ORCID logo and Hanspeter MössenböckORCID logo
(JKU Linz, Austria)
Publisher's Version

proc time: 5.36