Copertina

Toward an Agentic Infused Software Ecosystem

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Marron, Mark
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
di: Marron, Mark
Pubblicazione: (2024)

Catalpa: GC for a Low-Variance Software Stack
di: Arnold, Anthony, et al.
Pubblicazione: (2025)

A New Generation of Intelligent Development Environments
di: Marron, Mark
Pubblicazione: (2024)

An Effectively $Ω(c)$ Language and Runtime
di: Marron, Mark
Pubblicazione: (2024)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
di: Beheshti, Amin
Pubblicazione: (2024)

Agentic Code Reasoning
di: Ugare, Shubham, et al.
Pubblicazione: (2026)

Turn: A Language for Agentic Computation
di: Kizito, Muyukani
Pubblicazione: (2026)

Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis
di: Mitchell, Jacqueline L., et al.
Pubblicazione: (2026)

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
di: Sim, Hohyun, et al.
Pubblicazione: (2026)

Introduction to Analytical Software Engineering Design Paradigm
di: Houichime, Tarik, et al.
Pubblicazione: (2025)

From Code Generation to Software Testing: AI Copilot with Context-Based RAG
di: Wang, Yuchen, et al.
Pubblicazione: (2025)

BuildBench: Benchmarking LLM Agents on Compiling Real-World Open-Source Software
di: Zhang, Zehua, et al.
Pubblicazione: (2025)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
di: Richter, Cedric, et al.
Pubblicazione: (2025)

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback
di: Maddila, Chandra, et al.
Pubblicazione: (2025)

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
di: Agarwal, Anmol, et al.
Pubblicazione: (2026)

Towards Repository-Level Program Verification with Large Language Models
di: Zhong, Si Cheng, et al.
Pubblicazione: (2025)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
di: Chakraborty, Saikat, et al.
Pubblicazione: (2024)

AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation
di: Sun, Zhensu, et al.
Pubblicazione: (2024)

Agentic Specification Generator for Move Programs
di: Fu, Yu-Fu, et al.
Pubblicazione: (2025)

Process-Centric Analysis of Agentic Software Systems
di: Liu, Shuyang, et al.
Pubblicazione: (2025)

DafnyBench: A Benchmark for Formal Software Verification
di: Loughridge, Chloe, et al.
Pubblicazione: (2024)

Agentic Proving for Program Verification
di: Sosso, Alessandro, et al.
Pubblicazione: (2026)

CorrectHDL: Agentic HDL Design with LLMs Leveraging High-Level Synthesis as Reference
di: Xu, Kangwei, et al.
Pubblicazione: (2025)

Lita: Light Agent Uncovers the Agentic Coding Capabilities of LLMs
di: Dai, Hankun, et al.
Pubblicazione: (2025)

Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support
di: Du, Alexander, et al.
Pubblicazione: (2026)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
di: Sun, Zhensu, et al.
Pubblicazione: (2026)

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
di: He, Pengfei, et al.
Pubblicazione: (2026)

BODHI: Precise OS Kernel Specification Inference
di: Chang, Zhiming, et al.
Pubblicazione: (2026)

Certified Program Synthesis with a Multi-Modal Verifier
di: Feng, Yueyang, et al.
Pubblicazione: (2026)

Benchmarking Large Language Models for ABAP Code Generation: An Empirical Study on Iterative Improvement by Compiler Feedback
di: Wallraven, Stephan, et al.
Pubblicazione: (2026)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
di: Xia, Shihao, et al.
Pubblicazione: (2026)

Phyelds: A Pythonic Framework for Aggregate Computing
di: Aguzzi, Gianluca, et al.
Pubblicazione: (2026)

Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace
di: Yu, Simon, et al.
Pubblicazione: (2026)

LLMON: An LLM-native Markup Language to Leverage Structure and Semantics at the LLM Interface
di: Hind, Michael, et al.
Pubblicazione: (2026)

Steerable Instruction Following Coding Data Synthesis with Actor-Parametric Schema Co-Evolution
di: Huang, Tinglin, et al.
Pubblicazione: (2026)

LCM: Lossless Context Management
di: Ehrlich, Clint, et al.
Pubblicazione: (2026)

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

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

Stdlib or Third-Party? Empirical Performance and Correctness of LLM-Assisted Zero-Dependency Python Libraries
di: Ding, Peng, et al.
Pubblicazione: (2026)

Self-Improving Code Generation via Semantic Entropy and Behavioral Consensus
di: Zhang, Huan, et al.
Pubblicazione: (2026)