4 papers
CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development
Peiding Wang, Li Zhang, Fang Liu +2
LLM-based code agents have advanced repository-level software development through iterative interaction with codebases and tools. However, feature development requires integrating…
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…
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…
Challenges of Using Pre-trained Models: the Practitioners' Perspective
Xin Tan, Taichuan Li, Ruohe Chen +2
The challenges associated with using pre-trained models (PTMs) have not been specifically investigated, which hampers their effective utilization. To address this knowledge gap, we…