5 papers
AdaTrans: Automated C to Rust Transformation via Error-Adaptive Repair
Xiaofan Liu, Zecan Li, Zhuang Zhao +4
The automated transformation of C code to Rust is challenging due to Rust's strict ownership and borrowing semantics. While Large Language Models (LLMs) show promise, they often pr…
SiblingRepair: Sibling-Based Multi-Hunk Repair with Large Language Models
Xinyu Liu, Jiayu Ren, Yusen Wang +3
Developers often make similar mistakes across code locations implementing related functionalities. These locations, called siblings, share similar issues and require similar fixes.…
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…
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…
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…