1 citations · 2 across the 5 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick
Meta-compiler frameworks, such as RPython and Graal/Truffle, generate high-performance virtual machines (VMs) from interpreter definitions. Although they generate VMs with high-qua…
cs.PL2025★ 1 cited
Pydrofoil: accelerating Sail-based instruction set simulators
Carl Friedrich Bolz-Tereick, Luke Panayi, Ferdia McKeogh +2
We present Pydrofoil, a multi-stage compiler that generates instruction set simulators (ISSs) from processor instruction set architectures (ISAs) expressed in the high-level, verif…