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

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

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

Publisher's Version

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

Publisher's Version

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

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

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

proc time: 2.42