ASE 2025
Sun 16 - Thu 20 November 2025 Seoul, South Korea

This program is tentative and subject to change.

Wed 19 Nov 2025 11:30 - 11:40 at Grand Hall 1 - Program Repair 2

Resource leaks pose a persistent threat to software reliability, resulting in resource exhaustion, performance degradation, and system crashes. Existing automated repair approaches, primarily based on rigid templates, are limited in handling complex or multi-resource leak scenarios and often compromise program semantics. Although recent advances in Large language models show promise in program repair, existing LLM-based methods frequently generate semantically invalid patches for resource leaks. This paper presents \textit{Amur}, a semantics-aware patching framework that leverages static analysis to guide LLMs in repairing both single- and multi-resource leaks. At the core of Amur is a novel \textit{Resource Flow Analysis (RFA)}, a flow-sensitive and inter-resource-aware static analysis that captures resource usage patterns and dependencies. RFA identifies potential leak points and enforces semantic constraints to guide LLMs in synthesizing semantics-preserving patches. We evaluate Amur on the NJR-1 dataset and the new \textbf{JLeaks} benchmark (ICSE 2024), which targets realistic multi-resource leak scenarios. Amur achieves substantial improvements over state-of-the-art methods, improving patch accuracy by 33% over RLFixer and 24% over LLM-only baselines in single-resource leak cases. For multi-resource leaks, Amur generates patches in 96% of cases and achieves 80% correctness, outperforming RLFixer and LLM-only baselines by 76% and 16%, respectively. These results demonstrate that integrating RFA into LLM-guided repair significantly enhances the correctness and generalizability of automated resource leak fixes.

This program is tentative and subject to change.

Wed 19 Nov

Displayed time zone: Seoul change

11:00 - 12:30
Program Repair 2Research Papers at Grand Hall 1
11:00
10m
Talk
Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation
Research Papers
Haoxiang Jia Peking University, Robbie Morris University College London, He Ye University College London (UCL), Federica Sarro University College London, Sergey Mechtaev Peking University
11:10
10m
Talk
Fixing Broken Graphs: LLM-Powered Automatic Code Optimization for DNN Programs
Research Papers
Haotian Wang Nankai University, Yicheng Sui Nankai University, Yudong Xie Nankai University, Yicong Liu Nankai University, Yufei Sun Nankai University, Changqing Shi Nankai University, Yuzhi Zhang Nankai University
11:20
10m
Talk
SemGuard: Real-Time Semantic Evaluator for Correcting LLM-Generated Code
Research Papers
Qinglin Wang Shandong Normal University, Zhihong Sun Shandong Normal University, Ruyun Wang Institute of Information Engineering, Chinese Academy of Sciences, Tao Huang Shandong Normal University, Zhi Jin Peking University, Ge Li Peking University, Chen Lyu Shandong Normal University
11:30
10m
Talk
Amur: Fixing Multi-Resource Leaks Guided by Resource Flow Analysis
Research Papers
Jinyoung Kim Sungkyunkwan University, Eunseok Lee Sungkyunkwan University
11:40
10m
Talk
Automated Repair of OpenID Connect Programs
Research Papers
Tamjid Al Rahat University of Virginia, Yanju Chen University of California, San Diego, Yu Feng University of California at Santa Barbara, Yuan Tian
11:50
10m
Talk
FlakyGuard: Automatically Fixing Flaky Tests at Industry Scale
Research Papers
Chengpeng Li University of Texas at Austin, Farnaz Behrang Uber Technologies, August Shi The University of Texas at Austin, Peng Liu Uber Technologies
12:00
10m
Talk
LLMPort: Cross-file Patch Porting via Task Decomposition and Self-correction
Research Papers
Bofei Chen Fudan University, Lei Zhang Fudan University, Peng Deng Fudan University, Nan Wang Fudan University, Haoyu Xu Fudan University, Mingda Guo Fudan Universityv, Yuan Zhang Fudan University, Min Yang Fudan University
12:10
10m
Talk
Repairing Leaks in Resource Wrappers
Research Papers
Sanjay Malakar University of California, Riverside, Martin Kellogg New Jersey Institute of Technology, Michael D. Ernst University of Washington, Manu Sridharan University of California at Riverside
12:20
10m
Talk
Automatic Fixing of Missing Dependency Errors
Research Papers
Jun Lyu Nanjing University, He Zhang Nanjing University, Lanxin Yang Nanjing University, Yue Li Nanjing University, Chenxing Zhong Nanjing University, Manuel Rigger National University of Singapore