VMIL 2024 – Proceedings

16th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages (VMIL 2024)

Frontmatter

Papers

On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
Christoph Pichler, Paley Li, Roland Schatz, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, Czechia; Oracle Labs, Austria)

Publisher's Version Article: splashws24vmilmain-p18-p doi:10.1145/3689490.3690398

Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
Yen-Fu Chen, Meng-Hung Chen, Ching-Chun Huang, and Chia-Heng Tu
(National Cheng Kung University, Taiwan)

Publisher's Version Article: splashws24vmilmain-p29-p doi:10.1145/3689490.3690399

Performant Bounds Checking for 64-Bit WebAssembly
Lukas Döllerer and Alexis Engelke
(TU Munich, Germany)

Publisher's Version Article: splashws24vmilmain-p69-p doi:10.1145/3689490.3690400

Smarter Contract Upgrades with Orthogonal Persistence
Luc Bläser, Claudio Russo, Gabor Greif, Ryan Vandersmith, and Jason Ibrahim
(DFINITY Foundation, Switzerland)

Publisher's Version Article: splashws24vmilmain-p73-p doi:10.1145/3689490.3690401

An Analysis of Compiled Code Reusability in Dynamic Compilation
Andrej Pečimúth, David Leopoldseder, and Petr Tůma
(Charles University, Prague, Czechia; Oracle Labs, Czechia; Oracle Labs, Austria)

Publisher's Version Article: splashws24vmilmain-p82-p doi:10.1145/3689490.3690406

Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
Xiaowen Hu, David Zhao, and Bernhard Scholz
(University of Sydney, Australia; RelationalAI, Australia; Sonic Labs, Australia)

Publisher's Version Article: splashws24vmilmain-p91-p doi:10.1145/3689490.3690403

Reducing Feedback Pollution
Sebastián Krynski, Michal Štěpánek, Filip Říha, Filip Křikava, and Jan Vitek
(Czech Technical University, Czechia; Northeastern University, USA)

Publisher's Version Article: splashws24vmilmain-p98-p doi:10.1145/3689490.3690404

proc time: 0.02