:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Tang, Annabelle Sujun, Priebe, Christopher, Qin, Lianhui, Esmaeilzadeh, Hadi
Formato:	Preprint
Publicado:	2026
Materias:	Machine Learning Artificial Intelligence Programming Languages
Acceso en línea:	https://arxiv.org/abs/2602.01935
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

REASONING COMPILER: LLM-Guided Optimizations for Efficient Model Serving
por: Tang, Annabelle Sujun, et al.
Publicado: (2025)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
por: Izawa, Yusuke, et al.
Publicado: (2025)

Agentic Code Optimization via Compiler-LLM Cooperation
por: Mikek, Benjamin, et al.
Publicado: (2026)

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

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

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

Sharing Analysis in the Pawns Compiler
por: Naish, Lee
Publicado: (2024)

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

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

ECCO: Evidence-Driven Causal Reasoning for Compiler Optimization
por: Pan, Haolin, et al.
Publicado: (2026)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
por: Leonhart, Emma
Publicado: (2026)

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

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

Scaling Optimization Over Uncertainty via Compilation
por: Cho, Minsung, et al.
Publicado: (2025)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
por: Zhao, Jianhong, et al.
Publicado: (2025)

NPUEval: Optimizing NPU Kernels with LLMs and Open Source Compilers
por: Kalade, Sarunas, et al.
Publicado: (2025)

LLM-Aided Compilation for Tensor Accelerators
por: Hong, Charles, et al.
Publicado: (2024)

Evaluating Compiler Optimization Impacts on zkVM Performance
por: Gassmann, Thomas, et al.
Publicado: (2025)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
por: Tekriwal, Mohit, et al.
Publicado: (2025)

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

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

The Next 700 ML-Enabled Compiler Optimizations
por: VenkataKeerthy, S., et al.
Publicado: (2023)

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

Algorithmic Language Models with Neurally Compiled Libraries
por: Saldyt, Lucas, et al.
Publicado: (2024)

Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs
por: Cai, Xuran
Publicado: (2025)

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

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

Collaborating Action by Action: A Multi-agent LLM Framework for Embodied Reasoning
por: White, Isadora, et al.
Publicado: (2025)

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

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
por: Voichick, Finn, et al.
Publicado: (2023)

MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization
por: Sadr, Amirhosein, et al.
Publicado: (2026)

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

An LLM-Tool Compiler for Fused Parallel Function Calling
por: Singh, Simranjit, et al.
Publicado: (2024)

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
por: Kan, Shuanglong, et al.
Publicado: (2026)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
por: Dau, Anh T. V., et al.
Publicado: (2026)

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

Offline Imitation Learning from Multiple Baselines with Applications to Compiler Optimization
por: Marinov, Teodor V., et al.
Publicado: (2024)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
por: Zhou, Zixu
Publicado: (2025)

Small Drafts, Big Verdict: Information-Intensive Visual Reasoning via Speculation
por: Liu, Yuhan, et al.
Publicado: (2025)

LightCode: Compiling LLM Inference for Photonic-Electronic Systems
por: Tomich, Ryan, et al.
Publicado: (2025)