ABCDEFGHIJKLMNOPQRSTUVWXYZ
1
Presenter論文番号session_titletextauthorNamespageNumber
award (paper: 👑, artifact: 🛠️)
2
AI4SE-1AI for Software Engineering 1
Dually Hierarchical Drift Adaptation for Online Configuration Performance Learning
Zezhen Xiang (University of Electronic Science and Technology of China, China), Jingzhi Gong (School of Computer Science University of Leeds, UK), Tao Chen (University of Birmingham, UK)
1
3
AI4SE-2AI for Software Engineering 1
PromiseTune: Unveiling Causally Promising and Explainable Configuration Tuning
Pengzhou Chen (University of electronic science and technology of China), Tao Chen (University of Birmingham)
14
4
AI4SE-3AI for Software Engineering 1Quantifying Memorization Advantage in Code LLMs
Albérick Euraste Djiré (University of Luxembourg), Abdoul Kader Kaboré (University of Luxembourg), Jordan Samhi (jordan.samhi@uni.lu), Earl Barr (University College of London), Jacques Klein (University of Luxembourg), Tegawendé F. Bissyandé (University of Luxembourg)
27
5
AI4SE-4AI for Software Engineering 1
Portable Power Modeling with Transfer Learning on JVM-Based Applications
Joseph Raskind (SUNY Binghamton), Timur Babakol (SUNY Binghamton), Yu David Liu (SUNY Binghamton)
40
6
AI4SE-5AI for Software Engineering 1
Scrub It Out! Erasing Sensitive Memorization in Code Language Models via Machine Unlearning
Zhaoyang Chu (Huazhong University of Science and Technology, China), Yao Wan (Huazhong University of Science and Technology, China), Zhikun Zhang (Zhejiang University, China), Di Wang (King Abdullah University of Science and Technology, Saudi Arabia), Zhou Yang (University of Alberta, Canada), Hongyu Zhang (Chongqing University, China), Pan Zhou (Huazhong University of Science and Technology, China), Xuanhua Shi (Huazhong University of Science and Technology, China), Hai Jin (Huazhong University of Science and Technology, China), David Lo (Singapore Management University, Singapore)
53
7
AI4SE-6AI for Software Engineering 2
InferLog: Accelerating LLM Inference for Online Log Parsing via ICL-oriented Prefix Caching
Yilun Wang (Sun Yat-sen University, China), Pengfei Chen (Sun Yat-sen University, Guangdong Key Laboratory of Big Data Analysis and Processing, China), Haiyu Huang (Sun Yat-sen University, China), Zilong He (Sun Yat-sen University, China), Gou Tan (Sun Yat-sen University, China), Chuanfu Zhang (Sun Yat-sen University, China), Jingkai He (Sun Yat-sen University, China), Zibin Zheng (Sun Yat-sen University, China)
66
8
AI4SE-7AI for Software Engineering 2
ConfLogger: Enhance Systems' Configuration Diagnosability through Configuration Logging
Shiwen Shan (Sun Yat-sen University, China), Yintong Huo (Singapore Management University, Singapore), Yuxin Su (Sun Yat-sen University, China), Zhining Wang (Sun Yat-sen University, China), Dan Li (Sun Yat-sen University, China), Zibin Zheng (Sun Yat-sen University, China)
79
9
AI4SE-8AI for Software Engineering 2
RefAgent: A Multi-agent LLM-based Framework for Automatic Software Refactoring
Khouloud Oueslati (Polytechnique Montreal, Canada), Maxime Lamothe (Polytechnique Montreal, Canada), Foutse Khomh (Polytechnique Montreal, Canada)
92
10
AI4SE-9AI for Software Engineering 2Automatic Dockerfile Generation with Large Language Models
Jun Lyu (State Key Laboratory for Novel Software Technology, Nanjing University), He Zhang (State Key Laboratory for Novel Software Technology, Nanjing University), Yusong Yuan (State Key Laboratory for Novel Software Technology, Nanjing University), Lanxin Yang (State Key Laboratory for Novel Software Technology, Nanjing University), Yue Li (State Key Laboratory for Novel Software Technology, Nanjing University), Manuel Rigger (National University of Singapore, Singapore)
105
11
AI4SE-10AI for Software Engineering 2
What to Retrieve for Effective Retrieval-Augmented Code Generation? An Empirical Study and Beyond
Wenchao Gu (Technical University of Munich, Germany), Juntao Chen (The University of Melbourne, Australia), Yanlin Wang (Sun Yat-Sen University, China), Tianyue Jiang (Sun Yat-Sen University, China), Xingzhe Li (Sun Yat-Sen University, China), Mingwei Liu ( Sun Yat-Sen University, China), Xilin Liu (Huawei Cloud Computing Technologies Co., Ltd, China), Yuchi Ma (Huawei Cloud Computing Technologies Co., Ltd, China), Zibin Zheng (Sun Yat-Sen University, China)
126
12
AI4SE-11AI for Software Engineering 2
Knowledge-Augmented Log Anomaly Detection with Large Language Models
Yongliang Tao (Chongqing university, China), Hongyu Zhang (Chongqing university, China), Van-Hoang Le (The University of Newcastle, Australia), Yi Xiao (Chongqing university, China)
139
13
AI4SE-12AI for Software Engineering 3
Order Matters! An Empirical Study on Large Language Models' Input Order Bias in Software Fault Localization
Md Nakhla Rafi (Concordia University, Canada), Dong Jae Kim (DePaul University, USA), Tse-Hsun Chen (Concordia University, Canada), Shaowei Wang (University of Manitoba, Canada)
152
14
AI4SE-13AI for Software Engineering 3Measuring the Influence of Incorrect Code on Test Generation
Dong Huang (National University of Singapore), Jie Zhang (King’s College London), Mark Harman (University College London), Mingzhe Du (National University of Singapore), Heming Cui (University of Hong Kong)
164
15
AI4SE-14AI for Software Engineering 3
Are “Solved Issues” in SWE-bench Really Solved Correctly? An Empirical Study
You Wang (The State Key Laboratory of Blockchain and Data Security, Zhejiang University Hangzhou, China), Michael Pradel (CISPA Helmholtz Center for Information Security Stuttgart, Germany), Zhongxin Liu (The State Key Laboratory of Blockchain and Data Security, Zhejiang University Hangzhou, China)
177
16
AI4SE-15AI for Software Engineering 3
From Code Changes to Quality Gains: An Empirical Study in Python ML Systems with PyQu
Mohamed Almukhtar (University of Michigan-Flint, USA), Anwar Ghammam (University of Michigan-Dearborn, USA), Marouane Kessentini (Grand Valley State University, USA), Hua Ming (University of Michigan-Flint, USA)
190
17
AI4SE-16AI for Software Engineering 3
Assessing Coherency and Consistency of Code Execution Reasoning by Large Language Models
Changshu Liu (University of Illinois at Urbana-Champaign), Yang Chen (University of Illinois at Urbana-Champaign), Reyhanah Jabbarvand (University of Illinois at Urbana-Champaign)
203
18
AI4SE-17AI for Software Engineering 4
RealityCraft: Automated Synthesis of Extended Reality Device Interaction Scripts from Natural Language Instructions
Shuqing Li (The Chinese University of Hong Kong), Yun Peng (The Chinese University of Hong Kong), Yige Chen (Southern University of Science and Technology), Dingyuan Xue (Southern University of Science and Technology), Yepang Liu (Southern University of Science and Technology), Michael R. Lyu (The Chinese University of Hong Kong)
216
19
AI4SE-18AI for Software Engineering 4
Enhancing LLM Code Generation with Ensembles: A Similarity-Based Selection Approach
Tarek Mahmud (Texas A&M University - Kingsville), Bin Duan (The University of Queensland), Corina S. Păsăreanu (CMU), Guowei Yang (The University of Queensland)
228
20
AI4SE-19AI for Software Engineering 4
SEER: Enhancing Chain-of-Thought Code Generation through Self-Exploring Deep Reasoning
Shuzheng Gao (The Chinese University of Hong Kong), Chaozheng Wang (The Chinese University of Hong Kong), Cuiyun Gao (Harbin Institute of Technology, Shenzhen), Michael Lyu (The Chinese University of Hong Kong)
241
21
AI4SE-20AI for Software Engineering 4
HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
Dimitrios Stamatios Bouras (Peking University), Yihan Dai (Peking University), Sergey Mechtaev (Peking University), Tairan Wang (UCL), Yingfei Xiong (Peking University)
254👑
22
AI4SE-21AI for Software Engineering 4
MaCTG: Multi-Agent Collaborative Thought Graph for Automatic Programming
Zixiao Zhao (University of Auckland), Jing Sun (University of Auckland), Zhe Hou (Griffith University), Zhiyuan Wei (Beijing Institute of Technology), Cheng-Hao Cai (Suzhou Industrial Park Monash Research Institute of Science and Technology), Miao Qiao (University of Auckland), Jin Song Dong (National University of Singapore)
267
23
AI4SE-22AI for Software Engineering 5
An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software
Sina Gogani-Khiabani (University of Illinois Chicago, USA), Ashutosh Trivedi (University of Colorado Boulder, USA), Diptikalyan Saha (IBM Research Bangalore, India), Saeid Tizpaz-Niari (University of Illinois Chicago, USA)
280
24
AI4SE-23AI for Software Engineering 5
CREME: Robustness Enhancement of Code LLMs via Layer-Aware Model Editing
Shuhan Liu (Zhejiang University, China), Xing Hu (Zhejiang University, China), Kerui Huang (Zhejiang University, China), Xiaohu Yang (Zhejiang University, China), David Lo (Singapore Management University, Singapore), Xin Xia (Zhejiang University, China)
293
25
AI4SE-24AI for Software Engineering 5
When Prompts Go Wrong: Evaluating Code Model Robustness to Ambiguous, Contradictory, and Incomplete Task Descriptions
Maya Larbi (Luxembourg university), Amal Akli (Luxembourg university), Michail Papadakis (Luxembourg university), Rihab Benyoussfi (Ecole nationale Superieure d’Informatique), Maxime Cordy (luxembourg university), Federica Sarro (University College London United Kingdom), Yves Le Traon (Luxembourg university)
306
26
AI4SE-25AI for Software Engineering 5
SecureReviewer: Enhancing Large Language Models for Secure Code Review through Secure-Aware Fine-Tuning
Fang Liu (Beihang University), Simiao Liu (Beihang University), Yinghao Zhu (Beihang University), Xiaoli Lian (Beihang University), Li Zhang (Beihang University)
319
27
AI4SE-26AI for Software Engineering 5
Argus: A Multi-Agent Sensitive Information Leakage Detection Framework Based on Hierarchical Reference Relationships
Bin Wang (Peking University, China), Hui Li (Peking University, China), Liyang Zhang (University of Electronic Science and Technology of China, China), Qijia Zhuang (University of Electronic Science and Technology of China, China), Ao Yang (Peking University, China), Dong Zhang (Tencent, China), Junjun Luo (Tencent, China), Bing Lin (China Unicom (Guangdong) Industrial Internet Co., Ltd, China)
332
28
AI4SE-27AI for Software Engineering 5Rethinking the Evaluation of Secure Code Generation
Shih-Chieh Dai (University of Utah, USA), Jun Xu (University of Utah, USA), Guanhong Tao (University of Utah, USA)
345
29
AI4SE-28AI for Software Engineering 6
Synthetic Repo-level Bug Dataset for Training Automated Program Repair Models
Minh Pham (FPT Software AI Center), Huy Phan (FPT Software AI Center), Hoang Phan (Nanyang Technological University), Cuong Le (FPT Software AI Center), Tien Nguyen (The University of Texas at Dallas, USA), Nghi Bui (FPT Software AI Center)
358👑
30
AI4SE-29AI for Software Engineering 6Evaluating Generated Commit Messages with Large Language Models
Qunhong Zeng (Beijing Institute of Technology, China), Yuxia Zhang (Beijing Institute of Technology, China), Zexiong Ma (Peking University, China), Bo Jiang (ByteDance, China), Ningyuan Sun (ByteDance, China), Klaas-Jan Stol (University College Cork and Lero, Ireland), Xingyu Mou (Beijing Institute of Technology, China), Hui Liu (Beijing Institute of Technology, China)
371👑
31
AI4SE-30AI for Software Engineering 6
RepoScope: Leveraging Call Chain-Aware Multi-View Context for Repository-Level Code Generation
Yang Liu (Beihang University), Li Zhang (Beihang University), Fang Liu (Beihang University), Zhuohang Wang (Beihang University), Donglin Wei (Beihang University), Zhishuo Yang (Beihang University), Kechi Zhang (Peking University), Jia Li (Peking University), Lin Shi (Beihang University)
383
32
AI4SE-31AI for Software Engineering 6
ProxyWar: Dynamic Assessment of LLM Code Generation in Game Arenas
Wenjun Peng (Adelaide University, Australia), Xinyu Wang (Adelaide University, Australia), Qi Wu (Adelaide University, Australia)
396👑
33
AI4SE-32AI for Software Engineering 6From Seed to Scope: Reasoning to Identify Change Impact Sets
Aashish Yadavally (The University of Texas at Dallas, USA), Tien Nguyen (The University of Texas at Dallas, USA)
409
34
AI4SE-33AI for Software Engineering 6
Top General Performance = Top Domain Performance? DomainCodeBench: A Multi-domain Code Generation Benchmark
Dewu Zheng (Sun Yat-sen University), Yanlin Wang (Sun Yat-sen University), Ensheng Shi (Huawei Cloud Computing Technologies Co., Ltd., Beijing, China), Xilin Liu (Huawei Cloud Computing Technologies Co., Ltd), Yuchi Ma (Huawei Cloud Computing Technologies Co., Ltd.), Hongyu Zhang (Chongqing University), Zibin Zheng (Sun Yat-sen University)
422
35
AI4SE-34AI for Software Engineering 7
Generating Energy-Efficient Code via Large-Language Models - Where Are We Now?
Radu Apsan (Vrije Universiteit Amsterdam), Vincenzo Stoico (Vrije Universiteit Amsterdam), Michel Albonico (Federal University of Technology of Paraná (UTFPR)), Rudra Dhar (IIIT Hyderabad), Karthik Vaidhyanathan (IIIT Hyderabad), Ivano Malavolta (Vrije Universiteit Amsterdam)
435
36
AI4SE-35AI for Software Engineering 7
EMC: A Semantic-Enhanced Malware Classification Method with Robustness and Scalability
Haojun Zhao (Huazhong University of Science and Technology, China), Yueming Wu (Huazhong University of Science and Technology, China), Zhen Li (Huazhong University of Science and Technology, China), Deqing Zou (Huazhong University of Science and Technology, China)
449
37
AI4SE-36AI for Software Engineering 7
FlipFlop: A Static Analysis-based Energy Optimization Framework for GPU Kernels
Saurabhsingh Rajput (Dalhousie University, Canada), Alexander Brandt (Dalhousie University, Canada), Vadim Elisseev (IBM Research, United Kingdom), Tushar Sharma (Dalhousie University, Canada)
462
38
AI4SE-37AI for Software Engineering 7
Panoptes: A Profile Clustering Framework for Context-Aware Binary Optimization
Edwin P. Kayang (Arizona State University), Eric Jahns (Arizona State University), Mishel Jyothis Paul (Arizona State University), Michel A. Kinsy (Arizona State University)
475
39
AI4SE-38AI for Software Engineering 7
ADARULE: LLM-Driven Natural Language to LTL Conversion via Pattern-Adaptive Rule Induction
Jiayi Hu (East China Normal University, China), Jingling Sun (University of Electronic Science and Technology of China, China), Chong Wang (Nanyang Technological University, Singapore), Yihao Huang (East China Normal University, China), Jincao Feng (Shanghai Kong'an Intelligent Technology Software Co., Ltd., China), Yilongfei Xu (East China Normal University, China), Yong Li (Key Lab. of System Software (Chinese Academy of Sciences), ISCAS, China), Kailong Wang (Huazhong University of Science and Technology, China), Weikai Miao (East China Normal University, China), Jin Song Dong (National University of Singapore, Singapore), Geguang Pu (East China Normal University, China)
487
40
AI4SE-39AI for Software Engineering 8
FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
Jiachi Chen (Sun Yat-sen University; The State Key Laboratory of Blockchain and Data Security, Zhejiang University), Yiming Shen (Sun Yat-sen University), Jiashuo Zhang (School of Computer Science, Peking University), Zihao Li (The Hong Kong Polytechnic University), John Grundy (Monash University), Zhenzhe Shao (Sun Yat-sen University), Yanlin Wang (Sun Yat-sen University), Jiashui Wang (Zhejiang University), Ting Chen (University of Electronic Science and Technology of China; Kashi Institute of Electronics and Information Industry), Zibin Zheng (Sun Yat-sen University)
500
41
AI4SE-40AI for Software Engineering 8
An Empirical Study of Knowledge Distillation for Code Understanding Tasks
Ruiqi Wang (Harbin Institute of Technology, Shenzhen), Zezhou Yang (Harbin Institute of Technology, Shenzhen), Cuiyun Gao (Harbin Institute of Technology, Shenzhen), Xin Xia (Zhejiang University), Qing Liao (Harbin Institute of Technology, Shenzhen)
513
42
AI4SE-41AI for Software Engineering 8SEAlign: Alignment Training for Software Engineering Agent
Kechi Zhang (Peking University), Huangzhao Zhang (Independent), Ge Li (Peking University), Jinliang You (Peking University), Jia Li (Wuhan University), Yunfei Zhao (Peking University), Zhi Jin (Peking University)
526👑
43
AI4SE-42AI for Software Engineering 8AdapTrack: Constrained Decoding without Distorting LLM's Output Intent
Yongmin Li (Peking University, China), Jia Li (Tsinghua University, China), Ge Li (Peking University, China), Zhi Jin (Wuhan University, China)
538
44
AI4SE-43AI for Software Engineering 8
Towards Scalable and Interpretable Mobile App Risk Analysis via Large Language Models
Yang Yu (Zhejiang University), Zhenyuan Li (Zhejiang University), Xiandong Ran (Huawei Technologies Co., Ltd.), Jiahao Liu (National University of Singapore), Jiahui Wang (Zhejiang University), Bo Yu (National University of Defense Technology), Shouling Ji (Zhejiang University)
551
45
AI4SE-44AI for Software Engineering 8
How Do Semantically Equivalent Code Transformations Impact Membership Inference on LLMs for Code?
Hua Yang (North Carolina State University), Alejandro Velasco (William & Mary), Thanh Le-Cong (Singapore University of Technology and Design), MD NAZMUL HAQUE (North Carolina State University), Bowen Xu (North Carolina State University), Denys Poshyvanyk (William & Mary)
563
46
AI4SE-45AI for Software Engineering 8
Filtering before Tuning: Robust Fine-Tuning of Large Code Models under Noisy Labels
Zhong Li (Nanjing University), Yang Chen (Nanjing University), Heng Yong (Nanjing University), Yuanyi Lin (Huawei), Jiali Zhao (Huawei), Tongtong Xu (Huawei), Minxue Pan (Nanjing University), Tian Zhang (Nanjing University), Xuandong Li (Nanjing University)
576
47
AI4SE-46AI for Software Engineering 9
Think Like Human Developers: Harnessing Community Knowledge for Structured Code Reasoning
Chengran Yang (Singapore Management University), Zhensu Sun (Singapore Management University, Singapore), Hong Jin Kang (University of Sydney), Jieke Shi (Singapore Management University, Singapore), David Lo (Singapore Management University, Singapore)
589👑
48
AI4SE-47AI for Software Engineering 9
Hey, ChatGPT, Look at My Work: Using Conversational AI in Requirements Engineering Education
Sahar Badihi (University of British Columbia, Canada), Michael Tegegn (University of British Columbia, Canada), Evelien Riddell (University of Waterloo, Canada), Krzysztof Czarnecki (University of Waterloo, Canada), Julia Rubin (University of British Columbia, Canada)
601
49
AI4SE-48AI for Software Engineering 9
An Eye for AI: Eye-Tracking the Micro-Interruptions of GenAI Code Suggestions
Tarek Alakmeh (University of Zurich, Switzerland), Sarah D'Angelo (Google, USA), Thomas Fritz (University of Zurich, Switzerland)
614🛠️
50
AI4SE-49AI for Software Engineering 9What Makes Code Generation Ethically Sourced?
Zhuolin Xu (Concordia University, Canada), Chenglin Li (Concordia University, Canada), Qiushi Li (Concordia University, Canada), Shin Hwei Tan (Concordia University, Canada)
626👑
51
AI4SE-50AI for Software Engineering 9
EmbedAgent: Benchmarking Large Language Models in Embedded System Development
Ruiyang Xu (University of Chinese Academy of Sciences; Chinese Information Processing Laboratory, Institute of Software), Jialun Cao (The Hong Kong University of Science and Technology), Mingyuan Wu (Peng Cheng Laboratory), Wenliang Zhong (University of Chinese Academy of Sciences; Chinese Information Processing Laboratory, Institute of Software), Yaojie Lu (Chinese Information Processing Laboratory, Institute of Software), Ben He (University of Chinese Academy of Sciences; Chinese Information Processing Laboratory, Institute of Software), Xianpei Han (Chinese Information Processing Laboratory, Institute of Software), Shing-Chi Cheung (The Hong Kong University of Science and Technology), Le Sun (Chinese Information Processing Laboratory, Institute of Software)
639
52
AI4SE-51AI for Software Engineering 9
Enabling Global, Human-Centered Explanations for LLMs: From Tokens to Interpretable Code and Test Generation
Dipin Khati (William & Mary), Daniel Rodriguez-Cardenas (William & Mary), David N. Palacio (Microsoft), Alejandro Valesco (William & Mary), Michele Tufano (Google), Denys Poshyvanyk (William & Mary)
652
53
AI4SE-52AI for Software Engineering 10LLM Test Generation via Iterative Hybrid Program Analysis
Sijia Gu (University of British Columbia, Canada), Noor Nashid (University of British Columbia, Canada), Ali Mesbah (University of British Columbia, Canada)
665
54
AI4SE-53AI for Software Engineering 10Automating Just-In-Time Python Type Annotation Updating
Zhipeng Xue (Zhejiang University), Zhipeng Gao (Zhejiang University), Xing Hu (Zhejiang University), Jingyuan Chen (Zhejiang University), Xin Xia (Zhejiang University), Shanping Li (Zhejiang University)
677👑
55
AI4SE-54AI for Software Engineering 10Large Language Model-Aided Partial Program Dependence Analysis
Xiaokai Rong (The University of Texas at Dallas, USA), Aashish Yadavally (The University of Texas at Dallas, USA), Tien Nguyen (The University of Texas at Dallas, USA)
689
56
AI4SE-55AI for Software Engineering 10Enhancing Issue Localization Agent with Tool-Interactive Training
Zexiong Ma (Peking University), Chao Peng (ByteDance), Qunhong Zeng (Beijing Institute of Technology), Pengfei Gao (ByteDance), Yanzhen Zou (Peking University), Bing Xie (Peking University)
702
57
AI4SE-56AI for Software Engineering 10
Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
Saketh Ram Kasibatla (UC San Diego), Arpan Agarwal (University of Illinois, Urbana-Champaign), Yuriy Brun (University of Massachusetts, Amherst), Sorin Lerner (Cornell University), Talia Ringer (University of Illinois, Urbana-Champaign), Emily First (Rutgers University)
714
58
AI4SE-57AI for Software Engineering 10
Towards Better Linux Kernel Fault Localization: Leveraging Contrastive Reasoning and Hierarchical Context Analysis
Haichi Wang (School of Computer Software, Tianjin University), Ruiguo Yu (School of Computer Science and Technology, Information and Network Center, Tianjin University), Yesong Pang (School of Computer Software, Tianjin University), Yingquan Zhao (School of Cybersecurity, Tianjin University), Junjie Chen (School of Computer Software, Tianjin University), Jiajun Jiang (School of Computer Software, Tianjin University), Zan Wang (School of Computer Software, School of Artificial Intelligence, Tianjin University)
727
59
AI4SE-58AI for Software Engineering 11
Write Your Own Code Checker: An Automated Test-Driven Checker Development Approach with LLMs
Jun Liu (Institute of Software Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China), Yuanyuan Xie (Institute of Software Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China), Jiwei Yan (Institute of Software Chinese Academy of Sciences, China), Jinhao Huang (Institute of Software Chinese Academy of Sciences, China), Jun Yan (Institute of Software Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China), Jian Zhang (Institute of Software Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
740
60
AI4SE-59AI for Software Engineering 11
HarnessLLM: Rust Verification Harness Generation with Large Language Models
Minghua Wang (Ant Group, China), Yuwei Liu (Ant Group, China), Lin Huang (Ant Group, China)
753
61
AI4SE-60AI for Software Engineering 11Issue2Test: Generating Reproducing Test Cases from Issue Reports
Noor Nashid (University of British Columbia), Islem Bouzenia (CISPA Helmholtz Center for Information Security), Michael Pradel (CISPA Helmholtz Center for Information Security), Ali Mesbah (University of British Columbia)
765
62
AI4SE-61AI for Software Engineering 11Retrieval-Augmented Test Generation: How Far Are We?
Jiho Shin (York University), Nima Shiri Harzevili (York University), Reem Aleithan (York University), Hadi Hemmati (York University), Song Wang (York University)
778
63
AI4SE-62AI for Software Engineering 11
SAINT: Service-level Integration Test Generation with Program Analysis and LLM-based Agents
Rangeet Pan (IBM Research), Raju Pavuluri (IBM Research), Ruikai Huang (Georgia Institute of Technology), Rahul Krishna (IBM Research), Tyler Stennett (Georgia Institute of Technology), Alessandro Orso (University of Georgia), Saurabh Sinha (IBM Research)
791
64
AI4SE-63AI for Software Engineering 11
DepRadar: Agentic Coordination for Context-Aware Defect Impact Analysis in Deep Learning Libraries
Yi Gao (The State Key Laboratory of Blockchain and Data Security, Zhejiang University), Xing Hu (The State Key Laboratory of Blockchain and Data Security, Zhejiang University), Tongtong Xu (Huawei), Jiali Zhao (Huawei), Xiaohu Yang (The State Key Laboratory of Blockchain and Data Security, Zhejiang University), Xin Xia (The State Key Laboratory of Blockchain and Data Security, Zhejiang University)
803
65
AI4SE-64AI for Software Engineering 12
Evaluating and Improving Automated Repository-Level Rust Issue Resolution with LLM-based Agents
Jiahong Xiang (Research Institute of Trustworthy Autonomous Systems, Southern University of Science and Technology), Wenxiao He (Southern University of Science and Technology), Xihua Wang (Southern University of Science and Technology), Hongliang Tian (Ant Group), Yuqun Zhang (Research Institute of Trustworthy Autonomous Systems, Southern University of Science and Technology)
816
66
AI4SE-65AI for Software Engineering 12Repairing LLM Executions for Secure Automatic Programming
Ali El Husseini (National University of Singapore, CNRS@CREATE), Yacine Izza (National University of Singapore, CNRS@CREATE), Blaise Genest (CNRS, CNRS@CREATE, IPAL), Abhik Roychoudhury (National University of Singapore)
830
67
AI4SE-66AI for Software Engineering 12
Unlocking LLM Repair Capabilities Through Cross-Language Translation and Multi-Agent Refinement
Wenqiang Luo (City University of Hong Kong, Hong Kong), Jacky Wai Keung (City University of Hong Kong, Hong Kong), Boyang Yang (Jisuan Institute of Technology, China), Jacques Klein (University of Luxembourg, Luxembourg), Tegawende F. Bissyande (University of Luxembourg, Luxembourg), Haoye Tian (Aalto University, Finland), Bach Le (University of Melbourne, Australia)
842
68
AI4SE-67AI for Software Engineering 12
INTENTFIX: Automated Logic Vulnerability Repair via LLM-Driven Intent Modeling
Jinseok Heo (Sungkyunkwan University, Republic of Korea), Dongwook Choi (Sungkyunkwan University, Republic of Korea), Jinyoung Kim (Sungkyunkwan University, Republic of Korea), Misoo Kim (Chonnam National University, Republic of Korea), Eunseok Lee (Sungkyunkwan University, Republic of Korea)
855
69
AI4SE-68AI for Software Engineering 12LLM-based Agents for Automated Bug Fixing: How Far Are We?
Xiangxin Meng (ByteDance, China), Zexiong Ma (ByteDance, China), Pengfei Gao (ByteDance, China), Chao Peng (ByteDance, China)
867
70
AI4SE-69AI for Software Engineering 13Automating API Documentation from Crowdsourced Knowledge
Bonan Kou (Purdue University, United States), Zijie Zhou (University of Illinois Urbana-Champaign, United States), Muhao Chen (University of California, Davis, United States), Tianyi Zhang (Purdue University, United States)
880
71
AI4SE-70AI for Software Engineering 13
LLM-based API Argument Completion with Knowledge-Augmented Prompts
893
72
AI4SE-71AI for Software Engineering 13
UniCoR: Modality Collaboration for Robust Cross-Language Hybrid Code Retrieval
Yang Yang (Central South University), Li Kuang (Central South University), Jiakun Liu (Harbin Institute of Technology), Zhongxin Liu (Zhejiang University), Yingjie Xia (Hangzhou Dianzi University), David Lo (Singapore Management University)
906👑
73
AI4SE-72AI for Software Engineering 13Unified Software Engineering Agent as AI Software Engineer
Leonhard Applis (National University of Singapore, Singapore), Yuntong Zhang (National University of Singapore, Singapore), Shanchao Liang (Purdue University, USA), Nan Jiang (Purdue University, USA), Lin Tan (Purdue University, USA), Abhik Roychoudhury (National University of Singapore, Singapore)
919
74
AI4SE-73AI for Software Engineering 13
From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
Yuling Shi (Shanghai Jiao Tong University), Songsong Wang (University of California, Davis), Chengcheng Wan (East China Normal University), Min Wang (University of Pennsylvania), Xiaodong Gu (Shanghai Jiao Tong University)
931
75
AI4SE-74AI for Software Engineering 14
NB2P: Generating Data Science Pipelines from Computational Notebooks
Haotian Gao (National University of Singapore, Singapore), Quang Trung Ta (National University of Singapore, Singapore), Tien Tuan Anh Dinh (Deakin University, Australia), Nhut-Minh Ho (National University of Singapore, Singapore), Zhiyong Huang (National University of Singapore, Singapore), Beng Chin Ooi (Zhejiang University, China)
944
76
AI4SE-75AI for Software Engineering 14FreshBrew: A Benchmark for Evaluating AI Agents on Java Code Migration
Victor May (Google, USA), Diganta Misra (Max Planck Institut für Intelligente Systeme (MPI-IS) and ELLIS Institute, Germany), Yanqi Luo (Salesforce, USA), Anjali Sridhar (Google, USA), Justine Gehring (Google, Canada), Silvio Ribeiro (Google, USA)
956
77
AI4SE-76AI for Software Engineering 14
More with Less: An Empirical Study of Turn-Control Strategies for Efficient Coding Agents
Pengfei Gao (ByteDance), Chao Peng (ByteDance)
968
78
AI4SE-77AI for Software Engineering 14RISE: Rule-Driven SQL Dialect Translation via Query Reduction
Xudong Xie (Institute of Software at CAS, China), Yuwei Zhang (Institute of Software at CAS, China), Wensheng Dou (Institute of Software at CAS, China), Yu Gao (Institute of Software at CAS, China), Ziyu Cui (Institute of Software at CAS, China), Jiansen Song (Institute of Software at CAS, China), Rui Yang (Institute of Software at CAS, China), Jun Wei (Institute of Software at CAS, China)
980
79
AI4SE-78AI for Software Engineering 14
SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
Momoko Shiraishi (The University of Tokyo, Japan), Yinzhi Cao (Johns Hopkins University, USA), Takahiro Shinagawa (The University of Tokyo, Japan)
992
80
AI4SE-79AI for Software Engineering 15Locus: Agentic Predicate Synthesis for Directed Fuzzing
Jie Zhu (University of Chicago, USA), Chihao Shen (University of Maryland), Ziyang Li (Johns Hopkins University), Jiahao Yu (Northwestern University), Yizheng Chen (University of Maryland), Kexin Pei (University of Chicago)
1004
81
AI4SE-80AI for Software Engineering 15Scaling Security Testing by Addressing the Reachability Gap
Gaetano Sapia (Max Planck Institute for Security and Privacy (MPI-SP)), Marcel Böhme (Max Planck Institute for Security and Privacy (MPI-SP))
1018
82
AI4SE-81AI for Software Engineering 15
When AI Takes the Wheel: Security Analysis of Framework-Constrained Program Generation
Yue Liu (Monash University), Zhenchang Xing (CSIRO's Data61), Shidong Pan (CSIRO's Data61), Chakkrit Tantithamthavorn (Monash University)
1030
83
AI4SE-82AI for Software Engineering 15
Let the Trial Begin: A Mock-Court Approach to Vulnerability Detection using LLM-Based Agents
Ratnadira Widyasari (Singapore Management University, Singapore), Martin Weyssow (Singapore Management University, Singapore), Ivana Clairine Irsan (Singapore Management University, Singapore), Han Wei Ang (GovTech, Singapore), Frank Liauw (GovTech, Singapore), Eng Lieh Ouh (Singapore Management University, Singapore), Lwin Khin Shar (Singapore Management University, Singapore), Hong Jin Kang (University of Sydney, Australia), David Lo (Singapore Management University, Singapore)
1042
84
AI4SE-83AI for Software Engineering 15
Software Vulnerability Management in the Era of Artificial Intelligence: An Industry Perspective
M. Mehdi Kholoosi (Adelaide University, Australia), Triet Huynh Minh Le (Adelaide University, Australia), M. Ali Babar (Adelaide University &, Elevexai Systems, Australia)
1055
85
AI4SE-84AI for Software Engineering 16
XRFix: Exploring Performance Bug Repair of Extended Reality Applications with Large Language Models
Jingwen Wu (Hong Kong Baptist University), Hanyang Guo (Sun Yat-sen University), Hong-Ning Dai (Hong Kong Baptist University), Xiapu Luo (The Hong Kong Polytechnic University)
1068
86
AI4SE-85AI for Software Engineering 16
Rethinking the Capability of Fine-Tuned Language Models for Automated Vulnerability Repair
Woorim Han (Seoul National University), Yeongjun Kwak (Ulsan National Institute of Science and Technology (UNIST)), Miseon Yu (Seoul National University), Kyeongmin Kim (Ulsan National Institute of Science and Technology (UNIST)), Younghan Lee (Sungshin Women's University), Hyungon Moon (Ulsan National Institute of Science and Technology (UNIST)), Yunheung Paek (Seoul National University)
1081
87
AI4SE-86AI for Software Engineering 16
TraceCoder: A Trace-Driven Multi-Agent Framework for Automated Debugging of LLM-Generated Code
Jiangping Huang (Chongqing University of Posts and Telecommunications, China), Wenguang Ye (Chongqing University of Posts and Telecommunications, China), Weisong Sun (Nanyang Technological University, Singapore), Jian Zhang (Beihang University, China), Mingyue Zhang (Southwest University, China), Yang Liu (Nanyang Technological University, Singapore)
1095
88
AI4SE-87AI for Software Engineering 16
Well Begun is Half Done: Location-Aware and Trace-Guided Iterative Automated Vulnerability Repair
Zhenlei Ye (Yangzhou University), Xiaobing Sun (Yangzhou University), Sicong Cao (Nanjing University of Posts and Telecommunications), Lili Bo (Yangzhou University), Bin Li (Yangzhou University)
1108👑
89
AI4SE-88AI for Software Engineering 16Input Reduction Enhanced LLM-based Program Repair
Boyang Yang (Yanshan University, China), Luyao Ren (Peking University, China), Xin Yin (Zhejiang University, China), Jiadong Ren (Yanshan University, China), Haoye Tian (Aalto University, Finland), Shunfu Jin (Yanshan University, China)
1121
90
AI4SE-89AI for Software Engineering 17
A Causal Perspective on Measuring, Explaining and Mitigating Smells in LLM-Generated Code
Alejandro Velasco (William & Mary, USA), Daniel Rodriguez-Cardenas (William & Mary, USA), Dipin Khati (William & Mary, USA), David N. Palacio (Microsoft, USA), Luftar Rahman Alif (University of Dhaka, Bangladesh), Denys Poshyvanyk (William & Mary, USA)
1134
91
AI4SE-90AI for Software Engineering 17
A Comparison of Conversational Models and Humans in Answering Technical Questions: the Firefox Case
João Correia (Pontifical Catholic University of Rio de Janeiro), Daniel Coutinho (Pontifical Catholic University of Rio de Janeiro), Marco Castelluccio (Mozilla Corporation), Caio Barbosa (Pontifical Catholic University of Rio de Janeiro), Rafael de Mello (Federal University of Rio de Janeiro), Anita Sarma (Oregon State University), Alessandro Garcia (Pontifical Catholic University of Rio de Janeiro), Marco Gerosa (Northern Arizona University), Igor Steinmacher (Northern Arizona University)
1146
92
AI4SE-91AI for Software Engineering 17
Reflections on the Reproducibility of Commercial LLM Performance in Empirical Software Engineering Studies
Florian Angermeir (fortiss and Blekinge Institute of Technology, Germany and Sweden), Maximilian Amougou (fortiss, Germany), Mark Kreitz (University of the Bundeswehr Munich, Germany), Andreas Bauer (Blekinge Institute of Technology, Sweden), Matthias Linhuber (Technical University of Munich, Germany), Davide Fucci (Blekinge Institute of Technology, Sweden), Fabiola Moyón C. (Siemens AG, Germany), Daniel Mendez (Blekinge Institute of Technology and fortiss, Sweden and Germany), Tony Gorschek (Blekinge Institute of Technology and fortiss, Sweden and Germany)
1159
93
AI4SE-92AI for Software Engineering 17On LLMs’ Internal Representation of Code Correctness
Francisco Ribeiro (New York University Abu Dhabi), Claudio Spiess (UC Davis), Prem Devanbu (UC Davis), Sarah Nadi (New York University Abu Dhabi)
1172
94
AI4SE-93AI for Software Engineering 17
Inside Out: Uncovering How Comment Internalization Steers LLMs for Better or Worse
Aaron Imani (University of California, Irvine), Mohammad Moshirpour (University of California, Irvine), Iftekhar Ahmed (University of California, Irvine)
1185
95
AI4SE-94AI for Software Engineering 18PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
Yuan-An Xiao (Key Lab of HCST (PKU), MOE; SCS, Peking University, China), Weixuan Wang (Key Lab of HCST (PKU), MOE; SCS, Peking University, China), Dong Liu (ZTE Coporation, China), Junwei Zhou (ZTE Coporation, China), Shengyu Cheng (ZTE Coporation, China), Yingfei Xiong (Key Lab of HCST (PKU), MOE; SCS, Peking University, China)
1198
96
AI4SE-95AI for Software Engineering 18
SpecGuru: Hierarchical LLM-Driven API Points-to Specification Generation with Self-Validation
Shuangxiang Kan (University of New South Wales), Yuekang Li (University of New South Wales, Australia), Xiao Cheng (Macquarie University), Yulei Sui (University of New South Wales, Australia)
1212
97
AI4SE-96AI for Software Engineering 18
TAAF: A Trace Abstraction and Analysis Framework Synergizing Knowledge Graphs and LLMs
Alireza Ezaz (Brock University, Canada), Ghazal Khodabandeh (Brock University, Canada), Majid Babaei (University of the Fraser Valley, Canada), Naser Ezzati-Jivan (Brock University, Canada)
1225
98
AI4SE-97AI for Software Engineering 18
FoundRoot: Towards Foundation Model for Root Cause Analysis via Structured Deep Thinking
Zhe Xie (Tsinghua University), Zeyan Li (ByteDance), Xiao He (ByteDance), Shenglin Zhang (Nankai University), Longlong Xu (Tsinghua University), Yuzhuo Yang (Tsinghua University), Tieying Zhang (ByteDance), Jianjun Chen (ByteDance), Rui Shi (ByteDance), Dan Pei (Tsinghua University)
1237
99
AI4SE-98AI for Software Engineering 18Improving Code Generation via Small Language Model-as-a-judge
Giuseppe Crupi (Università della Svizzera italiana (USI), Switzerland), Rosalia Tufano (Università della Svizzera italiana (USI), Switzerland), Gabriele Bavota (Università della Svizzera italiana (USI), Switzerland)
1250
100
AI4SE-99AI for Software Engineering 19
Heterogeneous Prompting and Execution Feedback for SWE Issue Test Generation and Selection
Toufique Ahmed (IBM Research), Jatin Ganhotra (IBM Research), Avraham Shinnar (IBM Research), Martin Hirzel (IBM Research)
1262