Imagen de Portada

AI Coding Agents Need Better Compiler Remarks

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Deo, Akash, Campanoni, Simone, McMichen, Tommy
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages D.3.4; I.2.2
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

JITScope: Interactive Visualization of JIT Compiler IR Transformations
por: Dalbo, Kyra, et al.
Publicado: (2025)

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
por: Vogel, Martin, et al.
Publicado: (2026)

LLM Translation of Compiler Intermediate Representation
por: Ramirez, Andrea Valenzuela, et al.
Publicado: (2026)

Compressed code: the hidden effects of quantization and distillation on programming tokens
por: Siniaev, Viacheslav, et al.
Publicado: (2026)

L2MAC: Large Language Model Automatic Computer for Extensive Code Generation
por: Holt, Samuel, et al.
Publicado: (2023)

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

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
por: Bruzzone, Federico, et al.
Publicado: (2026)

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

From Separate Compilation to Sound Language Composition
por: Bruzzone, Federico, et al.
Publicado: (2026)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
por: Gross, Jason, et al.
Publicado: (2022)

AI-PROPELLER: Warehouse-Scale Interprocedural Code Layout Optimization with AlphaEvolve
por: Ananda, Chaitanya Mamatha, et al.
Publicado: (2026)

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
por: Kiselyov, Oleg, et al.
Publicado: (2024)

Ada-MK: Adaptive MegaKernel Optimization via Automated DAG-based Search for LLM Inference
por: Dong, Wenxin, et al.
Publicado: (2026)

Meta-Monomorphizing Specializations
por: Bruzzone, Federico, et al.
Publicado: (2026)

Verified VCG and Verified Compiler for Dafny
por: Nezamabadi, Daniel, et al.
Publicado: (2025)

Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution
por: Khatchadourian, Raffi, et al.
Publicado: (2025)

TSCG: Deterministic Tool-Schema Compilation for Agentic LLM Deployments
por: Sakizli, Furkan
Publicado: (2026)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
por: Geeson, Luke, et al.
Publicado: (2024)

Getting a Handle on Unmanaged Memory
por: Wanninger, Nick, et al.
Publicado: (2024)

Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis
por: Xu, Zhihao, et al.
Publicado: (2025)

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
por: Lopoukhine, Alexandre, et al.
Publicado: (2025)

LLMs as Idiomatic Decompilers: Recovering High-Level Code from x86-64 Assembly for Dart
por: Abualazm, Raafat, et al.
Publicado: (2026)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
por: Knothe, David, et al.
Publicado: (2026)

Teaching Introductory Functional Programming Using Haskelite
por: Vasconcelos, Pedro
Publicado: (2025)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
por: Wienczkowski, Michael
Publicado: (2026)

AutoBench: Automating LLM Evaluation through Reciprocal Peer Assessment
por: Loi, Dario, et al.
Publicado: (2025)

Amortizing Pragmatic Program Synthesis with Rankings
por: Pu, Yewen, et al.
Publicado: (2023)

Baking for Dafny: A CakeML Backend for Dafny
por: Nezamabadi, Daniel, et al.
Publicado: (2025)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
por: Abounegm, Abdelrahman, et al.
Publicado: (2024)

Dependence-Driven, Scalable Quantum Circuit Mapping with Affine Abstractions
por: Benbetka, Marouane, et al.
Publicado: (2025)

LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
por: Fakih, Mohamad, et al.
Publicado: (2024)

LR Parsing of Permutation Phrases
por: Kostičová, Jana
Publicado: (2024)

Towards Single-System Illusion in Software-Defined Vehicles -- Automated, AI-Powered Workflow
por: Lebioda, Krzysztof, et al.
Publicado: (2024)

AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI
por: Pohle, Clemens
Publicado: (2026)

LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study
por: Ranasinghe, Nishath Rajiv, et al.
Publicado: (2025)

TensorRight: Automated Verification of Tensor Graph Rewrites
por: Arora, Jai, et al.
Publicado: (2025)

Deploy, Calibrate, Monitor, Heal -- No Human Required: An Autonomous AI SRE Agent for Elasticsearch
por: Mukkolakkal, Muhamed Ramees Cheriya
Publicado: (2026)

AgentPulse: A Continuous Multi-Signal Framework for Evaluating AI Agents in Deployment
por: Gao, Yuxuan, et al.
Publicado: (2026)

Accelerating Large Language Models through Partially Linear Feed-Forward Network
por: Hu, Gansen, et al.
Publicado: (2025)

Unified Modeling Language Code Generation from Diagram Images Using Multimodal Large Language Models
por: Bates, Averi, et al.
Publicado: (2025)