:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Aguzzi, Gianluca, Domini, Davide, Farabegoli, Nicolas, Viroli, Mirko
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering Artificial Intelligence Programming Languages
Online-Zugang:	https://arxiv.org/abs/2603.29999
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

MacroSwarm: A Field-based Compositional Framework for Swarm Programming
von: Aguzzi, Gianluca, et al.
Veröffentlicht: (2024)

Proximity-based Self-Federated Learning
von: Domini, Davide, et al.
Veröffentlicht: (2024)

FBFL: A Field-Based Coordination Approach for Data Heterogeneity in Federated Learning
von: Domini, Davide, et al.
Veröffentlicht: (2025)

Software Engineering for Collective Cyber-Physical Ecosystems
von: Casadei, Roberto, et al.
Veröffentlicht: (2024)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
von: Dong, Honghua, et al.
Veröffentlicht: (2025)

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

GitChameleon 2.0: Evaluating AI Code Generation Against Python Library Version Incompatibilities
von: Misra, Diganta, et al.
Veröffentlicht: (2025)

Functional Programming Paradigm of Python for Scientific Computation Pipeline Integration
von: Zhang, Chen, et al.
Veröffentlicht: (2024)

ProFed: a Benchmark for Proximity-based non-IID Federated Learning
von: Domini, Davide, et al.
Veröffentlicht: (2025)

Turn: A Language for Agentic Computation
von: Kizito, Muyukani
Veröffentlicht: (2026)

Blueprint First, Model Second: A Framework for Deterministic LLM Workflow
von: Qiu, Libin, et al.
Veröffentlicht: (2025)

LangGPT: Rethinking Structured Reusable Prompt Design Framework for LLMs from the Programming Language
von: Wang, Ming, et al.
Veröffentlicht: (2024)

Herb.jl: A Unifying Program Synthesis Library
von: Hinnerichs, Tilman, et al.
Veröffentlicht: (2025)

The Invisible Hand of AI Libraries Shaping Open Source Projects and Communities
von: Esposito, Matteo, et al.
Veröffentlicht: (2026)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
von: Zhang, Shuoming, et al.
Veröffentlicht: (2026)

A Problem-Oriented Perspective and Anchor Verification for Code Optimization
von: Ye, Tong, et al.
Veröffentlicht: (2024)

A Declarative Language for Building And Orchestrating LLM-Powered Agent Workflows
von: Daunis, Ivan
Veröffentlicht: (2025)

Reverse Chain: A Generic-Rule for LLMs to Master Multi-API Planning
von: Zhang, Yinger, et al.
Veröffentlicht: (2023)

Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace
von: Yu, Simon, et al.
Veröffentlicht: (2026)

LecPrompt: A Prompt-based Approach for Logical Error Correction with CodeBERT
von: Xu, Zhenyu, et al.
Veröffentlicht: (2024)

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

A Preliminary Study of Multilingual Code Language Models for Code Generation Task Using Translated Benchmarks
von: Dandamudi, Rohit, et al.
Veröffentlicht: (2024)

Evaluating the Performance of Large Language Models in Competitive Programming: A Multi-Year, Multi-Grade Analysis
von: Dumitran, Adrian Marius, et al.
Veröffentlicht: (2024)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
von: Le-Cong, Thanh, et al.
Veröffentlicht: (2025)

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

PerfRL: A Small Language Model Framework for Efficient Code Optimization
von: Duan, Shukai, et al.
Veröffentlicht: (2023)

Introduction to Analytical Software Engineering Design Paradigm
von: Houichime, Tarik, et al.
Veröffentlicht: (2025)

Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support
von: Du, Alexander, et al.
Veröffentlicht: (2026)

Toward an Agentic Infused Software Ecosystem
von: Marron, Mark
Veröffentlicht: (2026)

Agentic Code Reasoning
von: Ugare, Shubham, et al.
Veröffentlicht: (2026)

Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis
von: Mitchell, Jacqueline L., et al.
Veröffentlicht: (2026)

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

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
von: Sun, Zhensu, et al.
Veröffentlicht: (2026)

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

BODHI: Precise OS Kernel Specification Inference
von: Chang, Zhiming, et al.
Veröffentlicht: (2026)

Certified Program Synthesis with a Multi-Modal Verifier
von: Feng, Yueyang, et al.
Veröffentlicht: (2026)

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

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
von: Xia, Shihao, et al.
Veröffentlicht: (2026)

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

Steerable Instruction Following Coding Data Synthesis with Actor-Parametric Schema Co-Evolution
von: Huang, Tinglin, et al.
Veröffentlicht: (2026)