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

This program is tentative and subject to change.

Tue 18 Nov 2025 14:50 - 15:00 at Grand Hall 3 - Maintenance & Evolution 1

Static analyzers are vital to ensure software quality, but often produce false alarms; In this paper, we focus on the challenging task, directly refining defective static detection rules in the analyzer with Large Language Models to eliminate false positives/negatives fundamentally. This paper introduces RuleRefiner, a novel multi-stage framework for static analyzer rule refinement. RuleRefiner systematically employs LLMs by integrating dynamic profiling information for fact-based rule- code alignment, performing differential fault localization to ac-curately pinpoint error sources, and utilizing targeted templates to guide and constrain LLM-based modifications for precise and minimally disruptive enhancements. Evaluated on 218 real-world Semgrep rule issues, RuleRefiner achieved up to an 80.28% success rate, significantly outperforming baseline LLM methods by 1.34x-2.45x. Our results also demonstrate that RuleRefiner-refined rules are comparable, and sometimes superior, to expert-written ones in generalization and precision.

This program is tentative and subject to change.

Tue 18 Nov

Displayed time zone: Seoul change

14:00 - 15:30
Maintenance & Evolution 1Research Papers / Journal-First Track at Grand Hall 3
14:00
10m
Talk
Enhancing LLMs with Staged Grouping and Dehallucination for Header File Decomposition
Research Papers
Yue Wang Peking University, Jiaxuan Sun Peking University, Yanzhen Zou Peking University, Bing Xie Peking University
14:10
10m
Research paper
Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution
Research Papers
Raffi Khatchadourian CUNY Hunter College, Tatiana Castro Vélez University of Puerto Rico, Rio Piedras Campus, Mehdi Bagherzadeh Oakland University, Nan Jia City University of New York (CUNY) Graduate Center, Anita Raja City University of New York (CUNY) Hunter College
Pre-print Media Attached
14:20
10m
Talk
An Empirical Study of Python Library Migration Using Large Language Models
Research Papers
Mohayeminul Islam University of Alberta, Ajay Jha North Dakota State University, May Mahmoud New York University Abu Dhabi, Ildar Akhmetov Northeastern University, Sarah Nadi New York University Abu Dhabi
14:30
10m
Talk
Measuring the Impact of Predictive Models on the Software Project: A Cost, Service Time, and Risk Evaluation of a Metric-based Defect Severity Prediction Model
Journal-First Track
Umamaheswara Sharma B National Institute of Technology, Calicut, Ravichandra Sadam National Institute of Technology Warangal
14:40
10m
Talk
Demystifying the Evolution of Neural Networks with BOM Analysis: Insights from a Large-Scale Study of 55,997 GitHub Repositories
Research Papers
xiaoning ren , Yuhang Ye University of Science and Technology of China, Xiongfei Wu University of Luxembourg, Yueming Wu Huazhong University of Science and Technology, Yinxing Xue Institute of AI for Industries, Chinese Academy of Sciences
14:50
10m
Talk
Fact-Aligned and Template-Constrained Static Analyzer Rule Enhancement with LLMs
Research Papers
Zongze Jiang Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Ge Wen Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology
15:00
10m
Talk
MCTS-Refined CoT: High-Quality Fine-Tuning Data for LLM-Based Repository Issue Resolution
Research Papers
Yibo Wang Northeastern University, Zhihao Peng Northeastern University, Ying Wang Northeastern University, Zhao Wei Tencent, Hai Yu Northeastern University, China, Zhiliang Zhu Northeastern University, China
15:10
10m
Talk
Software Reconfiguration in Robotics
Journal-First Track
Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Sven Peldszus IT University of Copenhagen, Davide Brugali University of Bergamo, Italy, Daniel Strüber Chalmers | University of Gothenburg / Radboud University, Thorsten Berger Ruhr University Bochum
15:20
10m
Talk
CROSS2OH: Enabling Seamless Porting of C/C++ Software Libraries to OpenHarmony
Research Papers
Qian Zhang University of California at Riverside, Li Tsz On The Hong Kong University of Science and Technology, Ying Wang Northeastern University, Li Li Beihang University, Shing-Chi Cheung Hong Kong University of Science and Technology