This program is tentative and subject to change.
Fixing memory leaks in software is crucial to improving system efficiency, reliability, and stability. Nevertheless, manually fixing memory leaks is not only time-consuming but also error-prone. Recent research has proposed program repair techniques to fix memory leaks automatically. However, a common limitation of prior techniques is that they cannot tackle memory leaks in binary code. Given the huge popularity of binary code, it is highly necessary to fix its hidden memory leaks. To this end, this paper presents BFix, the first-ever binary-level memory-leak fixing tool. BFix creates effective binary analysis techniques to overcome the unique technical challenges of automatically and safely fixing memory leaks in binaries. Our experiments show that BFix can achieve promising fixing effectiveness and efficiency, comparable to state-of-the-art source-level fixing tools. Meanwhile, it has a negligible impact on binary code size and performance.
This program is tentative and subject to change.
Wed 15 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
11:00 - 12:30 | |||
11:00 15mTalk | BFix: Automated Safe Memory-Leak Fixing for Binary Code Research Track Wen Zhang University of Georgia, Botang Xiao University of Georgia, Qingchen Kong University of Georgia, Boyang Yi University of Georgia, Suxin Ji University of Georgia, USA, Yage Hu University of Georgia, Songlan Wang University of Georgia, Wenwen Wang University of Georgia | ||
11:15 15mTalk | Learning without Forgetting: Towards Continual learning of Fault Localization Models in Industrial Software Systems Research Track Chun Li Nanjing University, Hui Li Samsung Electronics (China) R&D Centre, Zhong Li Nanjing University, Minxue Pan Nanjing University, Xuandong Li Nanjing University | ||
11:30 15mTalk | Memory-Efficient Large Language Models for Program Repair with Semantic-Guided Patch Generation Research Track Le-Cong Thanh The University of Melbourne, Xuan-Bach D. Le University of Melbourne, Toby Murray University of Melbourne | ||
11:45 15mTalk | Addressing Test Flakiness: Practical Approaches in a Database-Reliant Industrial System SE In Practice (SEIP) George Vegelien Delft University of Technology, Carolin Brandt Delft University of Technology, Bas Graaf Exact, Arie van Deursen TU Delft Pre-print | ||
12:00 15mTalk | XTrace: A Non-Invasive Dynamic Tracing Framework for Android Applications in Production SE In Practice (SEIP) Qi Hu ByteDance, Jiangchao Liu ByteDance, Lin Zhang ByteDance, Edward Jiang ByteDance, Xin Yu ByteDance | ||
12:15 15mTalk | Delta Debugging for LLM-integrated Systems SE In Practice (SEIP) Hao-Nan Zhu University of California, Davis, Muhammad Numair Mansur Amazon Web Services, Martin Schäf Amazon Web Services, Zeya Chen Amazon Web Services, Tancrède Lepoint Amazon, Willem Visser Amazon Web Services | ||