Cover Image

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Rinard, Martin
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

Compiling with Arrays
by: Richter, David, et al.
Published: (2024)

AI Coding Agents Need Better Compiler Remarks
by: Deo, Akash, et al.
Published: (2026)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
by: Wu, Jinhua, et al.
Published: (2025)

Dependency-Aware Compilation for Surface Code Quantum Architectures
by: Molavi, Abtin, et al.
Published: (2023)

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

Foundational Verification of Smart Contracts through Verified Compilation
by: Sjöberg, Vilhelm, et al.
Published: (2024)

Compilation as Multi-Language Semantics
by: Bowman, William J.
Published: (2025)

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

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

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

Compilation of Commit Changes within Java Source Code Repositories
by: Schott, Stefan, et al.
Published: (2024)

Emergent Representations of Program Semantics in Language Models Trained on Programs
by: Jin, Charles, et al.
Published: (2023)

Practical Insights into Fair Comparison and Evaluation Frame for Neutral-Atom Compilers
by: Khusainov, Emil, et al.
Published: (2026)

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

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

Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System
by: Brahmakshatriya, Ajay, et al.
Published: (2026)

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

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

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

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

An Empirical Study on the Performance and Energy Usage of Compiled Python Code
by: Stoico, Vincenzo, et al.
Published: (2025)

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

LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
by: Zhang, Shuoming, et al.
Published: (2025)

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

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

Prime Path Coverage in the GNU Compiler Collection
by: Kvalsvik, Jørgen
Published: (2025)

Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
by: Sundram, Shiv, et al.
Published: (2025)

Macro-embedding Compiler Intermediate Languages in Racket
by: Bowman, William J.
Published: (2025)

Compiling the Mimosa programming language to RTOS tasks
by: Huber, Nikolaus, et al.
Published: (2025)

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

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

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

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

Finding Missed Code Size Optimizations in Compilers using LLMs
by: Italiano, Davide, et al.
Published: (2024)