5 papers
Taylor-Approximation-Based Repair of High Floating-Point Errors
Xin Yi, Liqian Chen, Hengbiao Yu +5
Numerical libraries can still lose many bits of accuracy on localized ill-conditioned inputs, such as roots, poles, cancellation points, and branch boundaries. This paper presents…
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…