4 papers
Polynomial Invariant Generation for Floating-Point Programs
Xuran Cai, Liqian Chen, Hongfei Fu
In numeric-intensive computations, it is well known that the execution of floating-point programs is imprecise as floating-point arithmetic incurs round-off errors. Although round-…
Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation
Bo Lin, Shangwen Wang, Liqian Chen +1
The integration of Large Language Models (LLMs) into software development has revolutionized the field, particularly through the use of Retrieval-Augmented Code Generation (RACG) s…
There are More Fish in the Sea: Automated Vulnerability Repair via Binary Templates
Bo Lin, Shangwen Wang, Liqian Chen +1
As software vulnerabilities increase in both volume and complexity, vendors often struggle to repair them promptly. Automated vulnerability repair has emerged as a promising soluti…
Fault Localization from the Semantic Code Search Perspective
Yihao Qin, Shangwen Wang, Yan Lei +5
The software development process is characterized by an iterative cycle of continuous functionality implementation and debugging, essential for the enhancement of software quality…