Image de couverture de livre

An Attempt to Catch Up with JIT Compilers: The False Lead of Optimizing Inline Caches

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Poirier, Aurore, Rohou, Erven, Serrano, Manuel
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Meta-compilation of Baseline JIT Compilers with Druid
par: Palumbo, Nahuel, et autres
Publié: (2025)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
par: Izawa, Yusuke, et autres
Publié: (2025)

Pattern-Based Peephole Optimizations with Java JIT Tests
par: Zang, Zhiqiang, et autres
Publié: (2024)

Deegen: A JIT-Capable VM Generator for Dynamic Languages
par: Xu, Haoran, et autres
Publié: (2024)

An Optimizing Just-In-Time Compiler for Rotor
par: Trindade, João H., et autres
Publié: (2024)

Extending the C/C++ Memory Model with Inline Assembly
par: de Vilhena, Paulo Emílio, et autres
Publié: (2024)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
par: Pirkelbauer, Peter, et autres
Publié: (2025)

Scaling Optimization Over Uncertainty via Compilation
par: Cho, Minsung, et autres
Publié: (2025)

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
par: Cummins, Chris, et autres
Publié: (2024)

Agentic Code Optimization via Compiler-LLM Cooperation
par: Mikek, Benjamin, et autres
Publié: (2026)

CompilerDream: Learning a Compiler World Model for General Code Optimization
par: Deng, Chaoyi, et autres
Publié: (2024)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
par: Zhao, Jianhong, et autres
Publié: (2025)

NPUEval: Optimizing NPU Kernels with LLMs and Open Source Compilers
par: Kalade, Sarunas, et autres
Publié: (2025)

Evaluating Compiler Optimization Impacts on zkVM Performance
par: Gassmann, Thomas, et autres
Publié: (2025)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
par: Tekriwal, Mohit, et autres
Publié: (2025)

The CoCompiler: DSL Lifting via Relational Compilation
par: Spargo, Naomi, et autres
Publié: (2025)

Compiling with Arrays
par: Richter, David, et autres
Publié: (2024)

Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs
par: Cai, Xuran
Publié: (2025)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
par: Rinard, Martin
Publié: (2026)

AwareCompiler: Agentic Context-Aware Compiler Optimization via a Synergistic Knowledge-Data Driven Framework
par: Lin, Hongyu, et autres
Publié: (2025)

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

The Next 700 ML-Enabled Compiler Optimizations
par: VenkataKeerthy, S., et autres
Publié: (2023)

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
par: Voichick, Finn, et autres
Publié: (2023)

Compilation as Multi-Language Semantics
par: Bowman, William J.
Publié: (2025)

Compiling Gradual Types with Evidence
par: Romero, José Luis, et autres
Publié: (2025)

A Deep Dive into Function Inlining and its Security Implications for ML-based Binary Analysis
par: Abusabha, Omar, et autres
Publié: (2025)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
par: Zhou, Zixu
Publié: (2025)

Offline Imitation Learning from Multiple Baselines with Applications to Compiler Optimization
par: Marinov, Teodor V., et autres
Publié: (2024)

Pyrosome: Verified Compilation for Modular Metatheory
par: Jamner, Dustin, et autres
Publié: (2025)

Compilation of Modular and General Sparse Workspaces
par: Zhang, Genghan, et autres
Publié: (2024)

Partial Evaluation, Whole-Program Compilation
par: Fallin, Chris, et autres
Publié: (2024)

Denotation-based Compositional Compiler Verification
par: Cheng, Zhang, et autres
Publié: (2024)

Prime Path Coverage in the GNU Compiler Collection
par: Kvalsvik, Jørgen
Publié: (2025)

Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
par: Sundram, Shiv, et autres
Publié: (2025)

Macro-embedding Compiler Intermediate Languages in Racket
par: Bowman, William J.
Publié: (2025)

Compiling the Mimosa programming language to RTOS tasks
par: Huber, Nikolaus, et autres
Publié: (2025)

E-Graphs as a Persistent Compiler Abstraction
par: Merckx, Jules, et autres
Publié: (2026)

Compilation Semantics for a Programming Language with Versions
par: Tanabe, Yudai, et autres
Publié: (2023)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
par: Szabo, Violet, et autres
Publié: (2024)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
par: Ma, Zhiyao, et autres
Publié: (2025)