3 papers
cs.SE2025
Computing Floating-Point Errors by Injecting Perturbations
Youshuai Tan, Zhanwei Zhang, Jinfu Chen +3
Floating-point programs form the foundation of modern science and engineering, providing the essential computational framework for a wide range of applications, such as safety-crit…
cs.SE2025
Studying and Understanding the Effectiveness and Failures of Conversational LLM-Based Repair
Aolin Chen, Haojun Wu, Qi Xin +2
Automated program repair (APR) is designed to automate the process of bug-fixing. In recent years, thanks to the rapid development of large language models (LLMs), automated repair…
cs.SE2025
DELA: A Novel Approach for Detecting Errors Induced by Large Atomic Condition Numbers
Youshuai Tan, Zhanwei Zhang, Jinfu Chen +3
Numerical programs form the foundation of modern science and engineering, providing essential solutions to complex mathematical problems. Therefore, errors in numerical results wou…