Faculty and Graduate Students win Distinguished Paper Award at ACM FSE 2024

Researchers from the NUS Automated Program Repair research programme win the Distinguished Paper Award at the 2024 ACM Conference on the Foundations of Software Engineering (FSE) for their paper "ProveNFix: Temporal Property-Guided Program Repair". Authored by Song Yahui (Post-doctoral Fellow), Gao Xiang (former NUS PhD Student and Post-doc), Li Wenhua (PhD Student), Chin Wei-Ngan (Associate Professor) and Abhik Roychoudhury (Provost’s Chair Professor), the paper introduces ProveNFix, a tool using temporal logic to automatically detect and fix bugs. ProveNFix outperforms existing tools, quickly identifying bugs across large open-source C projects, including critical systems like OpenSSL, improving software security and reliability. ProveNFix is particularly valuable for maintaining large, complex software systems.