activity
20212025
most citedDr Wenowdis: Specializing dynamic language C extensions using type information

1 citations · 2 across the 4 of their papers we have counts for

collaborators

5 papers

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…

cs.PL2024★ 1 cited

Dr Wenowdis: Specializing dynamic language C extensions using type information

Maxwell Bernstein, CF Bolz-Tereick

C-based interpreters such as CPython make extensive use of C "extension" code, which is opaque to static analysis tools and faster runtimes with JIT compilers, such as PyPy. Not on…

cs.PL2022

Two-level Just-in-Time Compilation with One Interpreter and One Engine

Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick

Modern, powerful virtual machines such as those running Java or JavaScript support multi-tier JIT compilation and optimization features to achieve their high performance. However,…

cs.PL2021

Threaded Code Generation with a Meta-Tracing JIT Compiler

Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick +1

Language implementation frameworks, e.g., RPython and Truffle/Graal, are practical tools for creating efficient virtual machines, including a well-functioning just-in-time (JIT) co…