:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ehrlich, Clint, Blackman, Theodore
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Programming Languages Software Engineering
Accès en ligne:	https://arxiv.org/abs/2605.04050
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

From Code Generation to Software Testing: AI Copilot with Context-Based RAG
par: Wang, Yuchen, et autres
Publié: (2025)

PerfRL: A Small Language Model Framework for Efficient Code Optimization
par: Duan, Shukai, et autres
Publié: (2023)

Introduction to Analytical Software Engineering Design Paradigm
par: Houichime, Tarik, et autres
Publié: (2025)

Turn: A Language for Agentic Computation
par: Kizito, Muyukani
Publié: (2026)

Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support
par: Du, Alexander, et autres
Publié: (2026)

Toward an Agentic Infused Software Ecosystem
par: Marron, Mark
Publié: (2026)

Agentic Code Reasoning
par: Ugare, Shubham, et autres
Publié: (2026)

Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis
par: Mitchell, Jacqueline L., et autres
Publié: (2026)

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
par: Sim, Hohyun, et autres
Publié: (2026)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
par: Sun, Zhensu, et autres
Publié: (2026)

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
par: He, Pengfei, et autres
Publié: (2026)

BODHI: Precise OS Kernel Specification Inference
par: Chang, Zhiming, et autres
Publié: (2026)

Certified Program Synthesis with a Multi-Modal Verifier
par: Feng, Yueyang, et autres
Publié: (2026)

Benchmarking Large Language Models for ABAP Code Generation: An Empirical Study on Iterative Improvement by Compiler Feedback
par: Wallraven, Stephan, et autres
Publié: (2026)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
par: Xia, Shihao, et autres
Publié: (2026)

Phyelds: A Pythonic Framework for Aggregate Computing
par: Aguzzi, Gianluca, et autres
Publié: (2026)

Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace
par: Yu, Simon, et autres
Publié: (2026)

LLMON: An LLM-native Markup Language to Leverage Structure and Semantics at the LLM Interface
par: Hind, Michael, et autres
Publié: (2026)

Steerable Instruction Following Coding Data Synthesis with Actor-Parametric Schema Co-Evolution
par: Huang, Tinglin, et autres
Publié: (2026)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
par: Zhang, Shuoming, et autres
Publié: (2026)

Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming
par: Lang, Nguyet-Anh H., et autres
Publié: (2026)

Stdlib or Third-Party? Empirical Performance and Correctness of LLM-Assisted Zero-Dependency Python Libraries
par: Ding, Peng, et autres
Publié: (2026)

Self-Improving Code Generation via Semantic Entropy and Behavioral Consensus
par: Zhang, Huan, et autres
Publié: (2026)

A Preliminary Study of Multilingual Code Language Models for Code Generation Task Using Translated Benchmarks
par: Dandamudi, Rohit, et autres
Publié: (2024)

Insights from the Usage of the Ansible Lightspeed Code Completion Service
par: Sahoo, Priyam, et autres
Publié: (2024)

Can LLMs Enable Verification in Mainstream Programming?
par: Shefer, Aleksandr, et autres
Publié: (2025)

Smaller = Weaker? Benchmarking Robustness of Quantized LLMs in Code Generation
par: Fang, Sen, et autres
Publié: (2025)

Towards Repository-Level Program Verification with Large Language Models
par: Zhong, Si Cheng, et autres
Publié: (2025)

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge
par: Surana, Shraddha, et autres
Publié: (2025)

A Declarative Language for Building And Orchestrating LLM-Powered Agent Workflows
par: Daunis, Ivan
Publié: (2025)

Effective LLM-Driven Code Generation with Pythoness
par: Levin, Kyla H., et autres
Publié: (2025)

Blueprint First, Model Second: A Framework for Deterministic LLM Workflow
par: Qiu, Libin, et autres
Publié: (2025)

ClassInvGen: Class Invariant Synthesis using Large Language Models
par: Sun, Chuyue, et autres
Publié: (2025)

Generating Verifiable Chain of Thoughts from Exection-Traces
par: Thakur, Shailja, et autres
Publié: (2025)

Analysis of AdvFusion: Adapter-based Multilingual Learning for Code Large Language Models
par: Esmaeili, Amirreza, et autres
Publié: (2025)

REINFOREST: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models
par: Saieva, Anthony, et autres
Publié: (2023)

Assessing GPT-4-Vision's Capabilities in UML-Based Code Generation
par: Antal, Gábor, et autres
Publié: (2024)

Solving Data-centric Tasks using Large Language Models
par: Barke, Shraddha, et autres
Publié: (2024)

Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators
par: Sun, Maolin, et autres
Publié: (2025)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
par: Gao, Yifei, et autres
Publié: (2025)