3 papers
cs.SE2026
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…
cs.SE2026
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…
cs.AI2026
Xetrieval: Mechanistically Explaining Dense Retrieval
Zhixin Cai, Jun Bai, Yang Liu +7
Explaining why dense retrievers assign high relevance scores remains challenging because retrieval decisions are made through opaque high-dimensional embeddings. Existing explanati…