From the 1 of 8 linked papers with an AI index.
8 papers
CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development
Peiding Wang, Li Zhang, Fang Liu +2
The paper introduces CodeSpec, a method that creates paired architecture and behavior specifications to guide LLM-based code agents in developing new features across existing codeb…
Beyond "What to Retrieve": Uncertainty in Retrieval-Augmented Code Generation
Chandan Kumar Sah, Xiaoli Lian, Li Zhang
Repository-level code generation relies on heterogeneous evidence whose relevance, compatibility, and completeness are inherently uncertain. Similar-code examples, repository conte…
Benchmarking Requirement-to-Architecture Generation with Hybrid Evaluation
Minxiao Li, Li Zhang, Shuying Yan +4
Software architecture serves as the blueprint of a software system, capturing high-level structural decisions that shape downstream implementation and system quality. Despite this…
ContraFix: Skill-Enhanced Contrastive Runtime Analysis for Vulnerability Repair
Simiao Liu, Fang Liu, Peiding Wang +4
As software systems grow increasingly complex, automated vulnerability repair (AVR) remains difficult because the materials available to a repair system are usually failure artifac…
MemRepair: Hierarchical Memory for Agentic Repository-Level Vulnerability Repair
Simiao Liu, Li Zhang, Fang Liu +3
Modern software ecosystems face a rapidly growing number of disclosed vulnerabilities, increasing the need for automated repair techniques that can operate reliably at repository s…
CangjieBench: Benchmarking LLMs on a Low-Resource General-Purpose Programming Language
Junhang Cheng, Fang Liu, Jia Li +3
Large Language Models excel in high-resource programming languages but struggle with low-resource ones. Existing research related to low-resource programming languages primarily fo…