:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Deo, Akash, Campanoni, Simone, McMichen, Tommy
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages D.3.4; I.2.2
Accès en ligne:	https://arxiv.org/abs/2604.13927
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
par: Vogel, Martin, et autres
Publié: (2026)

JITScope: Interactive Visualization of JIT Compiler IR Transformations
par: Dalbo, Kyra, et autres
Publié: (2025)

Compressed code: the hidden effects of quantization and distillation on programming tokens
par: Siniaev, Viacheslav, et autres
Publié: (2026)

L2MAC: Large Language Model Automatic Computer for Extensive Code Generation
par: Holt, Samuel, et autres
Publié: (2023)

LLM Translation of Compiler Intermediate Representation
par: Ramirez, Andrea Valenzuela, et autres
Publié: (2026)

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

Sharing Analysis in the Pawns Compiler
par: Naish, Lee
Publié: (2024)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
par: Bruzzone, Federico, et autres
Publié: (2026)

Getting a Handle on Unmanaged Memory
par: Wanninger, Nick, et autres
Publié: (2024)

From Separate Compilation to Sound Language Composition
par: Bruzzone, Federico, et autres
Publié: (2026)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
par: Gross, Jason, et autres
Publié: (2022)

AI-PROPELLER: Warehouse-Scale Interprocedural Code Layout Optimization with AlphaEvolve
par: Ananda, Chaitanya Mamatha, et autres
Publié: (2026)

Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution
par: Khatchadourian, Raffi, et autres
Publié: (2025)

Ada-MK: Adaptive MegaKernel Optimization via Automated DAG-based Search for LLM Inference
par: Dong, Wenxin, et autres
Publié: (2026)

TSCG: Deterministic Tool-Schema Compilation for Agentic LLM Deployments
par: Sakizli, Furkan
Publié: (2026)

Verified VCG and Verified Compiler for Dafny
par: Nezamabadi, Daniel, et autres
Publié: (2025)

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
par: Kiselyov, Oleg, et autres
Publié: (2024)

Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis
par: Xu, Zhihao, et autres
Publié: (2025)

Meta-Monomorphizing Specializations
par: Bruzzone, Federico, et autres
Publié: (2026)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
par: Geeson, Luke, et autres
Publié: (2024)

LLMs as Idiomatic Decompilers: Recovering High-Level Code from x86-64 Assembly for Dart
par: Abualazm, Raafat, et autres
Publié: (2026)

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

AutoBench: Automating LLM Evaluation through Reciprocal Peer Assessment
par: Loi, Dario, et autres
Publié: (2025)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
par: Knothe, David, et autres
Publié: (2026)

Teaching Introductory Functional Programming Using Haskelite
par: Vasconcelos, Pedro
Publié: (2025)

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
par: Lopoukhine, Alexandre, et autres
Publié: (2025)

LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
par: Fakih, Mohamad, et autres
Publié: (2024)

Amortizing Pragmatic Program Synthesis with Rankings
par: Pu, Yewen, et autres
Publié: (2023)

Baking for Dafny: A CakeML Backend for Dafny
par: Nezamabadi, Daniel, et autres
Publié: (2025)

AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI
par: Pohle, Clemens
Publié: (2026)

Towards Single-System Illusion in Software-Defined Vehicles -- Automated, AI-Powered Workflow
par: Lebioda, Krzysztof, et autres
Publié: (2024)

LR Parsing of Permutation Phrases
par: Kostičová, Jana
Publié: (2024)

AgentPulse: A Continuous Multi-Signal Framework for Evaluating AI Agents in Deployment
par: Gao, Yuxuan, et autres
Publié: (2026)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
par: Abounegm, Abdelrahman, et autres
Publié: (2024)

Dependence-Driven, Scalable Quantum Circuit Mapping with Affine Abstractions
par: Benbetka, Marouane, et autres
Publié: (2025)

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

Inside VOLT: Designing an Open-Source GPU Compiler
par: Jeong, Shinnung, et autres
Publié: (2025)

LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study
par: Ranasinghe, Nishath Rajiv, et autres
Publié: (2025)

TensorRight: Automated Verification of Tensor Graph Rewrites
par: Arora, Jai, et autres
Publié: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
par: Guo, Jinyao, et autres
Publié: (2025)