VMIL 2023 – Proceedings

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

Frontmatter

Papers

CHERI Performance Enhancement for a Bytecode Interpreter
Duncan Lowther, Dejice Jacob, and Jeremy Singer
(University of Glasgow, UK)


@InProceedings{VMIL23p1, author = {Duncan Lowther and Dejice Jacob and Jeremy Singer}, title = {CHERI Performance Enhancement for a Bytecode Interpreter}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3623507.3623552}, year = {2023}, } Publisher's Version

Revisiting Dynamic Dispatch for Modern Architectures
Dave Mason
(Toronto Metropolitan University, Canada)


@InProceedings{VMIL23p14, author = {Dave Mason}, title = {Revisiting Dynamic Dispatch for Modern Architectures}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {14-13}, doi = {10.1145/3623507.3623551}, year = {2023}, } Publisher's Version

Debugging Dynamic Language Features in a Multi-tier Virtual Machine
Anmolpreet Singh, Aayush Sharma, Meetesh Kalpesh Mehta, and Manas Thakur
(IIT Mandi, India; IIT Bombay, India)


@InProceedings{VMIL23p27, author = {Anmolpreet Singh and Aayush Sharma and Meetesh Kalpesh Mehta and Manas Thakur}, title = {Debugging Dynamic Language Features in a Multi-tier Virtual Machine}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {27-26}, doi = {10.1145/3623507.3623549}, year = {2023}, } Publisher's Version

Array Bytecode Support in MicroJIT
Shubham Verma, Harpreet Kaur, Marius Pirvu, and Kenneth B. Kent
(University of New Brunswick, Canada; IBM, Canada)


@InProceedings{VMIL23p40, author = {Shubham Verma and Harpreet Kaur and Marius Pirvu and Kenneth B. Kent}, title = {Array Bytecode Support in MicroJIT}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {40-39}, doi = {10.1145/3623507.3623557}, year = {2023}, } Publisher's Version

Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation
Christoph Pichler, Paley Li, Roland Schatz, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle, Prague, Czechia; Oracle, Austria)


@InProceedings{VMIL23p53, author = {Christoph Pichler and Paley Li and Roland Schatz and Hanspeter Mössenböck}, title = {Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {53-52}, doi = {10.1145/3623507.3623554}, year = {2023}, } Publisher's Version

Collecting Garbage on the Blockchain
Luc Bläser, Claudio Russo, Ulan Degenbaev, Ömer S. Ağacan, Gabor Greif, and Jason Ibrahim
(DFINITY Foundation, Switzerland; Google, Denmark)


@InProceedings{VMIL23p66, author = {Luc Bläser and Claudio Russo and Ulan Degenbaev and Ömer S. Ağacan and Gabor Greif and Jason Ibrahim}, title = {Collecting Garbage on the Blockchain}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {66-65}, doi = {10.1145/3623507.3627672}, year = {2023}, } Publisher's Version

Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation
Juan Fumero, György Rethy, Athanasios Stratikopoulos, Nikos Foutris, and Christos Kotselidis
(University of Manchester, UK; ETH Zurich, Switzerland)


@InProceedings{VMIL23p79, author = {Juan Fumero and György Rethy and Athanasios Stratikopoulos and Nikos Foutris and Christos Kotselidis}, title = {Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {79-78}, doi = {10.1145/3623507.3623555}, year = {2023}, } Publisher's Version

Gigue: A JIT Code Binary Generator for Hardware Testing
Quentin Ducasse, Pascal Cotret, and Loïc Lagadec
(ENSTA Bretagne, France)


@InProceedings{VMIL23p92, author = {Quentin Ducasse and Pascal Cotret and Loïc Lagadec}, title = {Gigue: A JIT Code Binary Generator for Hardware Testing}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {92-91}, doi = {10.1145/3623507.3623553}, year = {2023}, } Publisher's Version

Approximating Type Stability in the Julia JIT (Work in Progress)
Artem Pelenitsyn
(Northeastern University, USA)


@InProceedings{VMIL23p105, author = {Artem Pelenitsyn}, title = {Approximating Type Stability in the Julia JIT (Work in Progress)}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {105-104}, doi = {10.1145/3623507.3623556}, year = {2023}, } Publisher's Version

Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM Objects
Tom Braun, Marcel Taeumel, Eliot Miranda, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)


@InProceedings{VMIL23p118, author = {Tom Braun and Marcel Taeumel and Eliot Miranda and Robert Hirschfeld}, title = {Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM Objects}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {118-117}, doi = {10.1145/3623507.3623548}, year = {2023}, } Publisher's Version

Extraction of Virtual Machine Execution Traces
Daniel Pekarek and Hanspeter Mössenböck
(JKU Linz, Austria)


@InProceedings{VMIL23p131, author = {Daniel Pekarek and Hanspeter Mössenböck}, title = {Extraction of Virtual Machine Execution Traces}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {131-130}, doi = {10.1145/3623507.3623547}, year = {2023}, } Publisher's Version

proc time: 3.48