Buchumschlag

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pirkelbauer, Peter, Liao, Chunhua
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
von: Cummins, Chris, et al.
Veröffentlicht: (2024)

Compiler generated feedback for Large Language Models
von: Grubisic, Dejan, et al.
Veröffentlicht: (2024)

CompilerDream: Learning a Compiler World Model for General Code Optimization
von: Deng, Chaoyi, et al.
Veröffentlicht: (2024)

Compilation as Multi-Language Semantics
von: Bowman, William J.
Veröffentlicht: (2025)

An Optimizing Just-In-Time Compiler for Rotor
von: Trindade, João H., et al.
Veröffentlicht: (2024)

Enhancing Translation Validation of Compiler Transformations with Large Language Models
von: Wang, Yanzhao, et al.
Veröffentlicht: (2024)

The CoCompiler: DSL Lifting via Relational Compilation
von: Spargo, Naomi, et al.
Veröffentlicht: (2025)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
von: Zhao, Jianhong, et al.
Veröffentlicht: (2025)

Algorithmic Language Models with Neurally Compiled Libraries
von: Saldyt, Lucas, et al.
Veröffentlicht: (2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
von: Szabo, Violet, et al.
Veröffentlicht: (2024)

Compiling with Arrays
von: Richter, David, et al.
Veröffentlicht: (2024)

Leveraging Large Language Models for Generalizing Peephole Optimizations
von: Liao, Chunhao, et al.
Veröffentlicht: (2026)

Scaling Optimization Over Uncertainty via Compilation
von: Cho, Minsung, et al.
Veröffentlicht: (2025)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
von: Rinard, Martin
Veröffentlicht: (2026)

Macro-embedding Compiler Intermediate Languages in Racket
von: Bowman, William J.
Veröffentlicht: (2025)

Compilation Semantics for a Programming Language with Versions
von: Tanabe, Yudai, et al.
Veröffentlicht: (2023)

Analyzing Latency Hiding and Parallelism in an MLIR-based AI Kernel Compiler
von: Absar, Javed, et al.
Veröffentlicht: (2026)

Agentic Code Optimization via Compiler-LLM Cooperation
von: Mikek, Benjamin, et al.
Veröffentlicht: (2026)

BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
von: Zhou, Xintong, et al.
Veröffentlicht: (2025)

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
von: Rinard, Martin
Veröffentlicht: (2026)

FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs
von: Chakraborty, Madhurima, et al.
Veröffentlicht: (2025)

NPUEval: Optimizing NPU Kernels with LLMs and Open Source Compilers
von: Kalade, Sarunas, et al.
Veröffentlicht: (2025)

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

Evaluating Compiler Optimization Impacts on zkVM Performance
von: Gassmann, Thomas, et al.
Veröffentlicht: (2025)

Transformers are Efficient Compilers, Provably
von: Zhai, Xiyu, et al.
Veröffentlicht: (2024)

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

Compiling Gradual Types with Evidence
von: Romero, José Luis, et al.
Veröffentlicht: (2025)

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
von: Mahathevan, Kabilan, et al.
Veröffentlicht: (2026)

PassNet: Scaling Large Language Models for Graph Compiler Pass Generation
von: Liu, Yiqun, et al.
Veröffentlicht: (2026)

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
von: Yang, Chenyuan, et al.
Veröffentlicht: (2023)

The Next 700 ML-Enabled Compiler Optimizations
von: VenkataKeerthy, S., et al.
Veröffentlicht: (2023)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
von: Tekriwal, Mohit, et al.
Veröffentlicht: (2025)

Compiling to recurrent neurons
von: Velez-Ginorio, Joey, et al.
Veröffentlicht: (2025)

Compiling to linear neurons
von: Velez-Ginorio, Joey, et al.
Veröffentlicht: (2025)

Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris
von: Li, Minda, et al.
Veröffentlicht: (2026)

Pyrosome: Verified Compilation for Modular Metatheory
von: Jamner, Dustin, et al.
Veröffentlicht: (2025)

Compilation of Modular and General Sparse Workspaces
von: Zhang, Genghan, et al.
Veröffentlicht: (2024)

Partial Evaluation, Whole-Program Compilation
von: Fallin, Chris, et al.
Veröffentlicht: (2024)

Denotation-based Compositional Compiler Verification
von: Cheng, Zhang, et al.
Veröffentlicht: (2024)

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
von: Paraskevopoulou, Zoe
Veröffentlicht: (2026)