Imagen de Portada

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Izawa, Yusuke, Masuhara, Hidehiko, Bolz-Tereick, Carl Friedrich
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Compilation Semantics for a Programming Language with Versions
por: Tanabe, Yudai, et al.
Publicado: (2023)

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
por: Jung, Christoph, et al.
Publicado: (2025)

Meta-compilation of Baseline JIT Compilers with Druid
por: Palumbo, Nahuel, et al.
Publicado: (2025)

Evolution Language Framework for Persistent Objects
por: Kamina, Tetsuo, et al.
Publicado: (2025)

Dr Wenowdis: Specializing dynamic language C extensions using type information
por: Bernstein, Maxwell, et al.
Publicado: (2024)

Consistent Distributed Reactive Programming with Retroactive Computation
por: Kamina, Tetsuo, et al.
Publicado: (2025)

An Attempt to Catch Up with JIT Compilers: The False Lead of Optimizing Inline Caches
por: Poirier, Aurore, et al.
Publicado: (2025)

Pydrofoil: accelerating Sail-based instruction set simulators
por: Bolz-Tereick, Carl Friedrich, et al.
Publicado: (2025)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
por: Ma, Zhiyao, et al.
Publicado: (2025)

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
por: Cummins, Chris, et al.
Publicado: (2024)

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
por: Paraskevopoulou, Zoe
Publicado: (2026)

Compilation as Multi-Language Semantics
por: Bowman, William J.
Publicado: (2025)

The CoCompiler: DSL Lifting via Relational Compilation
por: Spargo, Naomi, et al.
Publicado: (2025)

CompilerDream: Learning a Compiler World Model for General Code Optimization
por: Deng, Chaoyi, et al.
Publicado: (2024)

Compiling with Arrays
por: Richter, David, et al.
Publicado: (2024)

BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
por: Zhou, Xintong, et al.
Publicado: (2025)

Compilation of Modular and General Sparse Workspaces
por: Zhang, Genghan, et al.
Publicado: (2024)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
por: Rinard, Martin
Publicado: (2026)

TPDE: A Fast Adaptable Compiler Back-End Framework
por: Schwarz, Tobias, et al.
Publicado: (2025)

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
por: Rinard, Martin
Publicado: (2026)

AwareCompiler: Agentic Context-Aware Compiler Optimization via a Synergistic Knowledge-Data Driven Framework
por: Lin, Hongyu, et al.
Publicado: (2025)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
por: Szabo, Violet, et al.
Publicado: (2024)

Deegen: A JIT-Capable VM Generator for Dynamic Languages
por: Xu, Haoran, et al.
Publicado: (2024)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
por: Pirkelbauer, Peter, et al.
Publicado: (2025)

Generating Compilers for Qubit Mapping and Routing
por: Molavi, Abtin, et al.
Publicado: (2025)

Compiling Gradual Types with Evidence
por: Romero, José Luis, et al.
Publicado: (2025)

Compile-Time Java Stream Fusion via mapMulti
por: Bugayenko, Yegor, et al.
Publicado: (2026)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
por: Zhang, Shuoming, et al.
Publicado: (2026)

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
por: Ma, Haoyang, et al.
Publicado: (2025)

Compiling to recurrent neurons
por: Velez-Ginorio, Joey, et al.
Publicado: (2025)

Compiling to linear neurons
por: Velez-Ginorio, Joey, et al.
Publicado: (2025)

Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
por: Kırmemiş, Oğuzcan, et al.
Publicado: (2024)

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
por: Huang, Qifan, et al.
Publicado: (2026)

E-Graphs as a Persistent Compiler Abstraction
por: Merckx, Jules, et al.
Publicado: (2026)

Pyrosome: Verified Compilation for Modular Metatheory
por: Jamner, Dustin, et al.
Publicado: (2025)

Partial Evaluation, Whole-Program Compilation
por: Fallin, Chris, et al.
Publicado: (2024)

Denotation-based Compositional Compiler Verification
por: Cheng, Zhang, et al.
Publicado: (2024)

An Optimizing Just-In-Time Compiler for Rotor
por: Trindade, João H., et al.
Publicado: (2024)

LiteCoOp: Lightweight Multi-LLM Shared-Tree Reasoning for Model-Serving Compiler Optimizations
por: Tang, Annabelle Sujun, et al.
Publicado: (2026)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
por: Zheng, Size, et al.
Publicado: (2026)