| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Presenter | 論文番号 | session_title | text | authorNames | pageNumber | award (paper: 👑, artifact: 🛠️) | |||||||||||||||||||
2 | AI4SE-1 | AI 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-2 | AI 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-3 | AI for Software Engineering 1 | Quantifying 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-4 | AI 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-5 | AI 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-6 | AI 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-7 | AI 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-8 | AI 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-9 | AI for Software Engineering 2 | Automatic 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-10 | AI 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-11 | AI 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-12 | AI 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-13 | AI for Software Engineering 3 | Measuring 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-14 | AI 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-15 | AI 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-16 | AI 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-17 | AI 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-18 | AI 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-19 | AI 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-20 | AI 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-21 | AI 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-22 | AI 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-23 | AI 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-24 | AI 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-25 | AI 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-26 | AI 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-27 | AI for Software Engineering 5 | Rethinking 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-28 | AI 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-29 | AI for Software Engineering 6 | Evaluating 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-30 | AI 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-31 | AI 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-32 | AI for Software Engineering 6 | From 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-33 | AI 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-34 | AI 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-35 | AI 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-36 | AI 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-37 | AI 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-38 | AI 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-39 | AI 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-40 | AI 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-41 | AI for Software Engineering 8 | SEAlign: 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-42 | AI for Software Engineering 8 | AdapTrack: 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-43 | AI 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-44 | AI 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-45 | AI 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-46 | AI 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-47 | AI 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-48 | AI 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-49 | AI for Software Engineering 9 | What 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-50 | AI 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-51 | AI 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-52 | AI for Software Engineering 10 | LLM 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-53 | AI for Software Engineering 10 | Automating 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-54 | AI for Software Engineering 10 | Large 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-55 | AI for Software Engineering 10 | Enhancing 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-56 | AI 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-57 | AI 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-58 | AI 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-59 | AI 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-60 | AI for Software Engineering 11 | Issue2Test: 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-61 | AI for Software Engineering 11 | Retrieval-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-62 | AI 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-63 | AI 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-64 | AI 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-65 | AI for Software Engineering 12 | Repairing 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-66 | AI 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-67 | AI 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-68 | AI for Software Engineering 12 | LLM-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-69 | AI for Software Engineering 13 | Automating 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-70 | AI for Software Engineering 13 | LLM-based API Argument Completion with Knowledge-Augmented Prompts | 893 | ||||||||||||||||||||||
72 | AI4SE-71 | AI 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-72 | AI for Software Engineering 13 | Unified 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-73 | AI 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-74 | AI 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-75 | AI for Software Engineering 14 | FreshBrew: 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-76 | AI 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-77 | AI for Software Engineering 14 | RISE: 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-78 | AI 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-79 | AI for Software Engineering 15 | Locus: 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-80 | AI for Software Engineering 15 | Scaling 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-81 | AI 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-82 | AI 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-83 | AI 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-84 | AI 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-85 | AI 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-86 | AI 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-87 | AI 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-88 | AI for Software Engineering 16 | Input 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-89 | AI 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-90 | AI 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-91 | AI 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-92 | AI for Software Engineering 17 | On 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-93 | AI 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-94 | AI for Software Engineering 18 | PredicateFix: 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-95 | AI 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-96 | AI 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-97 | AI 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-98 | AI for Software Engineering 18 | Improving 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-99 | AI 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 |