Asia IV - FormaliSE 2026

VenueWindsor Convention Center and Hotels

Room nameAsia IV

Floor0

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30	AI for Software Engineering 2ICSE Research Track at Asia IV

11:00 15m Talk		Evaluating and Improving Automated Repository-Level Rust Issue Resolution with LLM-based Agents ICSE Research Track Jiahong Xiang 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 Southern University of Science and Technology
11:15 15m Talk		SWE-Debate: Competitive Multi-Agent Debate for Software Issue Resolution ICSE Research Track Han Li Shanghai Jiao Tong University, China, Yuling Shi Shanghai Jiao Tong University, Shaoxin Lin , Xiaodong Gu Shanghai Jiao Tong University, Heng Lian Xidian University, Wang Xin , Yantao Jia Huawei, huangtao , Qianxiang Wang Huawei Technologies Co., Ltd
11:30 15m Talk		More with Less: An Empirical Study of Turn-Control Strategies for Efficient Coding Agents ICSE Research Track Pengfei Gao ByteDance, Chao Peng ByteDance
11:45 15m Talk		ADARULE: LLM-Driven Natural Language to LTL Conversion via Pattern-Adaptive Rule Induction ICSE Research Track Jiayi Hu East China Normal University, Jingling Sun University of Electronic Science and Technology of China, Chong Wang Nanyang Technological University, Yihao Huang East China Normal University, jincaofeng , Yilongfei Xu East China Normal University, Yong Li Institute of Software, Chinese Academy of Sciences, Kailong Wang Huazhong University of Science and Technology, Weikai Miao Shanghai Key Lab for Trustworthy Computing, School of Computer Science and Software Engineering, East China Normal University, Jin Song Dong National University of Singapore, Geguang Pu East China Normal University, China
12:00 15m Talk		Let the Trial Begin: A Mock-Court Approach to Vulnerability Detection using LLM-Based Agents ICSE Research Track Ratnadira Widyasari Singapore Management University, Singapore, Martin Weyssow Singapore Management University, Ivana Clairine Irsan Singapore Management University, Han Wei Ang GovTech, Frank Liauw Government Technology Agency Singapore, Eng Lieh Ouh Singapore Management University, Singapore, Lwin Khin Shar Singapore Management University, Hong Jin Kang University of Sydney, David Lo Singapore Management University
12:15 15m Talk		Agent-Based Ensemble Reasoning for Repository-Level Issue Resolution ICSE Research Track Zhao Tian Tianjin University, Pengfei Gao ByteDance, Junjie Chen Tianjin University, Chao Peng ByteDance Pre-print

14:00 - 15:30	AI for Software Engineering 5ICSE Research Track / ICSE SE In Practice (SEIP) at Asia IV

14:00 15m Talk		SpecGuru: Hierarchical LLM-Driven API Points-to Specification Generation with Self-Validation ICSE Research Track Shuangxiang Kan UNSW, Yuekang Li UNSW, Xiao Cheng Macquarie University, Yulei Sui University of New South Wales
14:15 15m Talk		Panoptes: A Profile Clustering Framework for Context-Aware Binary Optimization ICSE Research Track Edwin Kayang Arizona State University, Eric Jahns Arizona State University, Mishel Jyothis Paul Arizona State University, Michel Kinsy Arizona State University
14:30 15m Talk		HoarePrompt: Structural Reasoning About Program Correctness in Natural Language ICSE Research Track Dimitrios Stamatios Bouras Peking University, Yihan Dai Nankai University, Tairan Wang University College London, Yingfei Xiong Peking University, Sergey Mechtaev Peking University
14:45 15m Talk		Large Language Model-Aided Partial Program Dependence Analysis ICSE Research Track Xiaokai Rong The University of Texas at Dallas, Aashish Yadavally University of Central Florida, Tien N. Nguyen University of Texas at Dallas Pre-print
15:00 15m Talk		Reducing False Positives in Static Bug Detection with LLMs: An Empirical Study in Industry ICSE SE In Practice (SEIP) Xueying Du Fudan University, Jiayi Feng Fudan University, Yi Zou Fudan University, Wei Xu Tencent, Jie Ma Tencent, Wei Zhang Tencent, Sisi Liu Tencent, Xin Peng Fudan University, Yiling Lou University of Illinois at Urbana-Champaign
15:15 15m Talk		CASCADE: LLM-powered JavaScript Deobfuscator at Google ICSE SE In Practice (SEIP) Shan Jiang UT Austin, Pranoy Kovuri Google, David Tao Google, Zhixun Tan Google

16:00 - 17:30	AI for Software Engineering 8ICSE Research Track / ICSE SE In Practice (SEIP) at Asia IV

16:00 15m Talk		Quantifying Memorization Advantage in Code LLMs ICSE Research Track Alberick Euraste Djire University of Luxembourg, Abdoul Kader Kaboré University of Luxembourg, Jordan Samhi University of Luxembourg, Luxembourg, Earl T. Barr University College London, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg
16:15 15m Talk		Assessing Coherency and Consistency of Code Execution Reasoning by Large Language Models ICSE Research Track Changshu Liu University of Illinois at Urbana-Champaign, Yang Chen University of Illinois at Urbana-Champaign, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign
16:30 15m Talk		Top General Performance = Top Domain Performance? DomainCodeBench: A Multi-domain Code Generation Benchmark ICSE Research Track Dewu Zheng Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Ensheng Shi Huawei, Xilin Liu Huawei Cloud, Yuchi Ma Huawei Cloud Computing Technologies, Hongyu Zhang Chongqing University, Zibin Zheng Sun Yat-sen University
16:45 15m Talk		What’s in a Benchmark? The Case of SWE-Bench in Automated Program Repair ICSE SE In Practice (SEIP) Matias Martinez Universitat Politècnica de Catalunya (UPC), Xavier Franch Universitat Politècnica de Catalunya
17:00 15m Talk		The SWE-Bench Illusion: When State-of-the-Art LLMs Remember Instead of Reason ICSE SE In Practice (SEIP) Shanchao Liang Purdue University, USA, Spandan Garg Microsoft Corporation, Roshanak Zilouchian Moghaddam Microsoft
17:15 15m Talk		Rethinking the Evaluation of Secure Code Generation ICSE Research Track Shih-Chieh Dai University of Utah, USA, Jun Xu The University of Utah, Guanhong Tao University of Utah

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30	AI for Software Engineering 11ICSE Research Track / ICSE SE In Practice (SEIP) at Asia IV

11:00 15m Talk		LLM-based Agents for Automated Bug Fixing: How Far Are We? ICSE Research Track Xiangxin Meng Bytedance, Zexiong Ma Peking University, Pengfei Gao ByteDance, Chao Peng ByteDance
11:15 15m Talk		Depradar: Agentic Coordination for Context-Aware Defect Impact Analysis in Deep Learning Libraries ICSE Research Track Yi Gao Zhejiang University, Xing Hu Zhejiang University, Tongtong Xu Huawei, Jiali Zhao Huawei, Xiaohu Yang Zhejiang University, Xin Xia Zhejiang University
11:30 15m Talk		Abstain and Validate: A Dual-LLM Policy for Reducing Noise in Agentic Program Repair ICSE SE In Practice (SEIP) José Pablo Cambronero Google, USA, Michele Tufano Google, Sherry Shi Google, Renyao Wei Google, Grant Uy Google, Sam Cheng Google, Chin-Jung Liu Google, Shiying Pan Google, Satish Chandra Google, Inc, Patrick Rondon Google
11:45 15m Talk		OpenDerisk: An Industrial Framework for AI-Driven SRE, with Design, Implementation, and Case Studies ICSE SE In Practice (SEIP) Peng Di Ant Group & UNSW Sydney, Faqiang Chen , Xiao Bai , Hongjun Yang , Qingfeng Li , Ganglin Wei , Jian Mou , Feng Shi , Keting Chen , Peng Tang , Zhitao Shen , Zheng Li Ant Group, Wenhui Shi , Junwei Guo , Hang Yu Ant Group
12:00 15m Talk		Intelligent Triage: Interpretable Incident Triage Workflow using LLM Extracted Triage Reasoning ICSE SE In Practice (SEIP) Jianing Liu Fudan University, Hao Ren University of Illinois Urbana-Champaign, Yu Kang Microsoft, Minghua Ma Microsoft, Fangkai Yang Microsoft Research, Yong Xu Microsoft Research, Xin Gao Microsoft 365, Meng Zhang , Hongbin Wang Microsoft, Xuedong Gao Microsoft, Qingwei Lin Microsoft, Yingnong Dang Microsoft Azure, Saravan Rajmohan Microsoft, Dongmei Zhang Microsoft, Qi Zhang Microsoft, Chetan Bansal Microsoft Research, Yangfan Zhou Fudan University
12:15 15m Talk		How Do Semantically Equivalent Code Transformations Impact Membership Inference on LLMs for Code? ICSE Research Track Hua yang North Carolina State University, Alejandro Velasco William & Mary, Le-Cong Thanh The University of Melbourne, Md Nazmul Haque North Carolina State University, Bowen Xu North Carolina State University, Denys Poshyvanyk William & Mary

14:00 - 15:30	AI for Software Engineering 14ICSE Research Track at Asia IV

14:00 15m Talk		Knowledge Matters: Injecting Project and Testing Knowledge into LLM-based Unit Test Generation ICSE Research Track Anji Li School of Software Engineering, Sun Yat-sen University, Mingwei Liu Sun Yat-Sen University, Zhenxi Chen Sun Yat-Sen University, Zheng Pei Sun Yat-Sen University, Zike Li Sun Yat-Sen University, Dekun Dai Sun Yat-Sen University, Yanlin Wang Sun Yat-sen University, Zibin Zheng Sun Yat-sen University
14:15 15m Talk		Issue2Test: Generating Reproducing Test Cases from Issue Reports ICSE Research Track Noor Nashid University of British Columbia, Islem BOUZENIA University of Stuttgart, Michael Pradel CISPA Helmholtz Center for Information Security, Ali Mesbah University of British Columbia
14:30 15m Talk		RBCTest: Leveraging LLMs to Mine and Verify Oracles of API Response Bodies for RESTful API Testing ICSE Research Track Hieu Huynh University of Melbourne, Quoc-Tri Le Katalon LLC, Tu Nguyen University of Science, VNU-HCM, Viet Nguyen University of Science, VNU-HCM, Vu Nguyen University of Science, VNU-HCM; Katalon LLC., Tien N. Nguyen University of Texas at Dallas
14:45 15m Talk		Measuring the Influence of Incorrect Code on Test Generation ICSE Research Track Dong Huang The University of Hong Kong, Jie M. Zhang King's College London, Mark Harman Meta Platforms, Inc. and UCL, Mingzhe Du National University of Singapore, Heming Cui University of Hong Kong
15:00 15m Talk		Retrieval-Augmented Test Generation: How Far Are We? ICSE Research Track Jiho Shin Queen's University, Nima Shiri Harzevili York University, Reem Aleithan York University, Canada, Hadi Hemmati York University, Song Wang York University Pre-print
15:15 15m Talk		SAINT: Service-level Integration Test Generation with Program Analysis and LLM-based Agents ICSE Research Track Rangeet Pan IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Ruikai Huang Georgia Institute of Technology, Tyler Stennett Georgia Institute of Technology, Rahul Krishna IBM Research, Alessandro Orso University of Georgia, USA, Saurabh Sinha IBM Research

16:00 - 17:30	AI for Software Engineering 17ICSE Research Track / ICSE SE In Practice (SEIP) at Asia IV

16:00 15m Talk		TAAF: A Trace Abstraction and Analysis Framework Synergizing Knowledge Graphs and LLMs ICSE Research Track Alireza Ezaz Brock University, Ghazal Khodabandeh Brock University, Majid Babaei University of the Fraser Valley, Naser Ezzati-Jivan Brock University Pre-print
16:15 15m Talk		InferLog: Accelerating LLM Inference for Online Log Parsing via ICL-oriented Prefix Caching ICSE Research Track Yilun Wang School of Systems Science and Engineering, Sun Yat-sen University, Guangzhou, China, Pengfei Chen Sun Yat-sen University, Haiyu Huang Sun Yat-sen University, Zilong He Sun Yat-sen University, Gou Tan School of Systems Science and Engineering, Sun Yat-sen University, Guangzhou, China, Chuanfu Zhang Sun Yat-Sen University, Jingkai He School of Systems Science and Engineering,Sun Yat-sen University, Guangzhou, China, Zibin Zheng Sun Yat-sen University
16:30 15m Talk		Order Matters! An Empirical Study on Large Language Models' Input Order Bias in Software Fault Localization ICSE Research Track Md Nakhla Rafi Concordia University, Dong Jae Kim DePaul University, Tse-Hsun (Peter) Chen Concordia University, Shaowei Wang University of Manitoba
16:45 15m Talk		When LLMs Listen to Experts: Accurate Failure Diagnosis in Operating Systems ICSE SE In Practice (SEIP) Yongxin Zhao , Shenglin Zhang Nankai University, Yuxin Sun Nankai University, Wenwei Gu Nankai University, Yongqian Sun Nankai University, Luping Wang Alibaba Group, Li Shi Alibaba Group, Cheng Huang Alibaba Group, Guodong Yang Alibaba Group, Liping Zhang Alibaba Group, Dan Pei Tsinghua University
17:00 15m Talk		MagmaScope: Identifying Root-Cause Changes for Emergency Incident in Large-Scale Cloud Infrastructure ICSE SE In Practice (SEIP) Zongyang Li Peking University, Ning Wang Bytedance, Jiliang Liu Bytedance, Yaping Zhang Bytedance, Feifan Tong Bytedance, Zhaoxing Chen Bytedance, Chan Li Bytedance, Ming Liu Bytedance, Xiang Zhang Bytedance, Yifan Wu Peking University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Ying Li School of Software and Microelectronics, Peking University, Beijing, China
17:15 15m Talk		Correctness isn’t Efficiency: Runtime Memory Divergence in LLM-Generated Code ICSE SE In Practice (SEIP) Prateek Kumar Rajput Zortify and University of Luxembourg, Yewei Song University of Luxembourg, Abdoul Aziz Bonkoungou B Medical Systems and University of Luxembourg, Iyiola E. Olatunji University of Luxembourg, Abdoul Kader Kaboré University of Luxembourg, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30	AI for Software Engineering 21ICSE Research Track / ICSE New Ideas and Emerging Results (NIER) / ICSE Journal-first Papers at Asia IV

11:00 15m Talk		On the Evaluation of Large Language Models in Multilingual Vulnerability Repair ICSE Journal-first Papers Dong Wang Tianjin University, Junji Yu Tianjin University, Honglin Shu Kyushu University, Michael Fu The University of Melbourne, Kla Tantithamthavorn Monash University, Yasutaka Kamei Kyushu University, Junjie Chen Tianjin University
11:15 15m Talk		Not All Input Helps: What Information Should We Feed to LLMs for Vulnerability Repair? ICSE New Ideas and Emerging Results (NIER) Dongwook Choi SungKyunKwan University, Eunseok Lee Sungkyunkwan University
11:30 15m Talk		EMC: A Semantic-Enhanced Malware Classification Method with Robustness and Scalability ICSE Research Track Haojun Zhao Huazhong University of Science and Technology, Yueming Wu Huazhong University of Science and Technology, Zhen Li Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology
11:45 15m Talk		When AI Takes the Wheel: Security Analysis of Framework-Constrained Program Generation ICSE Research Track Yue Liu Monash University, Zhenchang Xing CSIRO's Data61, Shidong Pan Columbia University & New York University, Kla Tantithamthavorn Monash University
12:00 15m Talk		Software Vulnerability Management in the Era of Artificial Intelligence: An Industry Perspective ICSE Research Track M. Mehdi Kholoosi Adelaide University, Triet Le The University of Adelaide, Muhammad Ali Babar School of Computer Science, The University of Adelaide Pre-print
12:15 15m Talk		Towards Scalable and Interpretable Mobile App Risk Analysis via Large Language Models ICSE Research Track Yu Yang 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

14:00 - 15:30	AI for Software Engineering 24ICSE Journal-first Papers / ICSE New Ideas and Emerging Results (NIER) / ICSE Research Track at Asia IV

14:00 15m Talk		Exploring Fine-Grained Bug Report Categorization with Large Language Models and Prompt Engineering: An Empirical Study ICSE Journal-first Papers Anil Koyuncu Bilkent University
14:15 15m Talk		Mapping the Trust Terrain: LLMs in Software Engineering — Insights and Perspectives ICSE Journal-first Papers Dipin Khati William & Mary, Yijin Liu College of William and Wary, David Nader Palacio Microsoft, Yixuan Zhang William & Mary, Denys Poshyvanyk William & Mary
14:30 15m Talk		On-the-Fly Input Adaptation for Reliable Code Intelligence ICSE New Ideas and Emerging Results (NIER) Ravishka Rathnasuriya The University of Texas - Dallas, Wei Yang UT Dallas
14:45 15m Talk		From RSE to AI4RSE: A Quadrant Model for AI-Augmented Research Software ICSE New Ideas and Emerging Results (NIER) Siamak Farshidi Wageningen University & Research, Kwabena Ebo Bennin Wageningen University & Research, Bedir Tekinerdogan Wageningen University & Research
15:00 15m Talk		Enabling Global, Human-Centered Explanations for LLMs: From Tokens to Interpretable Code and Test Generation ICSE Research Track Dipin Khati William & Mary, Daniel Rodriguez-Cardenas William & Mary, David N. Palacio Microsoft, Alejandro Velasco William & Mary, Michele Tufano Google, Denys Poshyvanyk William & Mary
15:15 15m Talk		When to Answer and When to Defer: A Decision Framework for Reliable Code Predictions ICSE New Ideas and Emerging Results (NIER) Ravishka Rathnasuriya The University of Texas - Dallas, Wei Yang UT Dallas

16:00 - 17:30	AI for Software Engineering 27ICSE Research Track / ICSE New Ideas and Emerging Results (NIER) at Asia IV

16:00 15m Talk		Setup AGent (SAG): A Dual-Model LLM Agent for Autonomous End-to-End Java Project Configuration ICSE New Ideas and Emerging Results (NIER) Chenhao Wei Stevens Institute of technology, Gengwu Zhao Stevens Institute of Technology, Xinyi Li Stevens Institute of Technology, Billy Ye Stevens Institute of Technology, Lu Xiao Stevens Institute of Technology
16:15 15m Talk		MAJIT: Just-in-Time Detection of Compatibility Issues in Android and iOS Apps through Large Language Model-based Multi-Agent Collaboration ICSE New Ideas and Emerging Results (NIER) Jiaqi Wang Xidian University, Di Cui Xidian University, Shenghan Liu Douyin, Qiankang Mao Douyin, xiangxingqian Douyin, Qiaoyin Gan Douyin, Rui Li
16:30 15m Talk		Code Wars: Adversarial Self-Play for Evolving Software Validation Tools ICSE New Ideas and Emerging Results (NIER) Merve Astekin SINTEF, Sagar Sen , Arda Goknil SINTEF Digital, Hasan Sozer Ozyegin University
16:45 15m Talk		SEAlign: Alignment Training for Software Engineering Agent ICSE Research Track Kechi Zhang Peking University, China, Huangzhao Zhang Verdent AI, Ge Li Peking University, Jinliang You Peking University, Jia Li , Yunfei Zhao Peking University, Zhi Jin Peking University, Wuhan University
17:00 15m Talk		Atomizer: An LLM-based Collaborative Multi-Agent Framework for Intent-Driven Commit Untangling ICSE Research Track Kangchen Zhu National university of Defense Technology, Zhiliang Tian National University of Defense Technology, Shangwen Wang National University of Defense Technology, mingyue leng National University of Defense Technology, Xiaoguang Mao National University of Defense Technology
17:15 15m Talk		Enhancing Issue Localization Agent with Tool-Interactive Training ICSE Research Track Zexiong Ma Peking University, Chao Peng ByteDance, Qunhong Zeng Beijing Institute of Technology, Pengfei Gao ByteDance, Yanzhen Zou Peking University, Bing Xie Peking University Pre-print

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Asia IV	ICSE Research Track AI for Software Engineering 2																																				ICSE Research Track + ICSE SE In Practice (SEIP) AI for Software Engineering 5																								ICSE Research Track + ICSE SE In Practice (SEIP) AI for Software Engineering 8

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Asia IV	ICSE Research Track + ICSE SE In Practice (SEIP) AI for Software Engineering 11																																				ICSE Research Track AI for Software Engineering 14																								ICSE Research Track + ICSE SE In Practice (SEIP) AI for Software Engineering 17

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Asia IV	ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) + ICSE Journal-first Papers AI for Software Engineering 21																																				ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER) + ICSE Research Track AI for Software Engineering 24																								ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) AI for Software Engineering 27

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Asia IV	ICSE Research Track Evaluating and Improving Automated Repository-Level Rust Issue Resoluti ... 11:00 - 11:15			ICSE Research Track SWE-Debate: Competitive Multi-Agent Debate for Software Issue Resolution 11:15 - 11:30			ICSE Research Track More with Less: An Empirical Study of Turn-Control Strategies for Effic ... 11:30 - 11:45			ICSE Research Track ADARULE: LLM-Driven Natural Language to LTL Conversion via Pattern-Adap ... 11:45 - 12:00			ICSE Research Track Let the Trial Begin: A Mock-Court Approach to Vulnerability Detection u ... 12:00 - 12:15			ICSE Research Track Agent-Based Ensemble Reasoning for Repository-Level Issue Resolution 12:15 - 12:30																					ICSE Research Track SpecGuru: Hierarchical LLM-Driven API Points-to Specification Generatio ... 14:00 - 14:15			ICSE Research Track Panoptes: A Profile Clustering Framework for Context-Aware Binary Optim ... 14:15 - 14:30			ICSE Research Track HoarePrompt: Structural Reasoning About Program Correctness in Natural ... 14:30 - 14:45			ICSE Research Track Large Language Model-Aided Partial Program Dependence Analysis 14:45 - 15:00			ICSE SE In Practice (SEIP) Reducing False Positives in Static Bug Detection with LLMs: An Empirica ... 15:00 - 15:15			ICSE SE In Practice (SEIP) CASCADE: LLM-powered JavaScript Deobfuscator at Google 15:15 - 15:30									ICSE Research Track Quantifying Memorization Advantage in Code LLMs 16:00 - 16:15			ICSE Research Track Assessing Coherency and Consistency of Code Execution Reasoning by Larg ... 16:15 - 16:30			ICSE Research Track Top General Performance = Top Domain Performance? DomainCodeBench: A Mu ... 16:30 - 16:45			ICSE SE In Practice (SEIP) What’s in a Benchmark? The Case of SWE-Bench in Automated Program Repair 16:45 - 17:00			ICSE SE In Practice (SEIP) The SWE-Bench Illusion: When State-of-the-Art LLMs Remember Instead of ... 17:00 - 17:15			ICSE Research Track Rethinking the Evaluation of Secure Code Generation 17:15 - 17:30

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Asia IV	ICSE Research Track LLM-based Agents for Automated Bug Fixing: How Far Are We? 11:00 - 11:15			ICSE Research Track Depradar: Agentic Coordination for Context-Aware Defect Impact Analysis ... 11:15 - 11:30			ICSE SE In Practice (SEIP) Abstain and Validate: A Dual-LLM Policy for Reducing Noise in Agentic P ... 11:30 - 11:45			ICSE SE In Practice (SEIP) OpenDerisk: An Industrial Framework for AI-Driven SRE, with Design, Imp ... 11:45 - 12:00			ICSE SE In Practice (SEIP) Intelligent Triage: Interpretable Incident Triage Workflow using LLM Ex ... 12:00 - 12:15			ICSE Research Track How Do Semantically Equivalent Code Transformations Impact Membership I ... 12:15 - 12:30																					ICSE Research Track Knowledge Matters: Injecting Project and Testing Knowledge into LLM-bas ... 14:00 - 14:15			ICSE Research Track Issue2Test: Generating Reproducing Test Cases from Issue Reports 14:15 - 14:30			ICSE Research Track RBCTest: Leveraging LLMs to Mine and Verify Oracles of API Response Bod ... 14:30 - 14:45			ICSE Research Track Measuring the Influence of Incorrect Code on Test Generation 14:45 - 15:00			ICSE Research Track Retrieval-Augmented Test Generation: How Far Are We? 15:00 - 15:15			ICSE Research Track SAINT: Service-level Integration Test Generation with Program Analysis ... 15:15 - 15:30									ICSE Research Track TAAF: A Trace Abstraction and Analysis Framework Synergizing Knowledge ... 16:00 - 16:15			ICSE Research Track InferLog: Accelerating LLM Inference for Online Log Parsing via ICL-ori ... 16:15 - 16:30			ICSE Research Track Order Matters! An Empirical Study on Large Language Models' Input Order ... 16:30 - 16:45			ICSE SE In Practice (SEIP) When LLMs Listen to Experts: Accurate Failure Diagnosis in Operating Sy ... 16:45 - 17:00			ICSE SE In Practice (SEIP) MagmaScope: Identifying Root-Cause Changes for Emergency Incident in La ... 17:00 - 17:15			ICSE SE In Practice (SEIP) Correctness isn’t Efficiency: Runtime Memory Divergence in LLM-Generate ... 17:15 - 17:30

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Asia IV	ICSE Journal-first Papers On the Evaluation of Large Language Models in Multilingual Vulnerabilit ... 11:00 - 11:15			ICSE New Ideas and Emerging Results (NIER) Not All Input Helps: What Information Should We Feed to LLMs for Vulner ... 11:15 - 11:30			ICSE Research Track EMC: A Semantic-Enhanced Malware Classification Method with Robustness ... 11:30 - 11:45			ICSE Research Track When AI Takes the Wheel: Security Analysis of Framework-Constrained Pro ... 11:45 - 12:00			ICSE Research Track Software Vulnerability Management in the Era of Artificial Intelligence ... 12:00 - 12:15			ICSE Research Track Towards Scalable and Interpretable Mobile App Risk Analysis via Large L ... 12:15 - 12:30																					ICSE Journal-first Papers Exploring Fine-Grained Bug Report Categorization with Large Language Mo ... 14:00 - 14:15			ICSE Journal-first Papers Mapping the Trust Terrain: LLMs in Software Engineering — Insights and ... 14:15 - 14:30			ICSE New Ideas and Emerging Results (NIER) On-the-Fly Input Adaptation for Reliable Code Intelligence 14:30 - 14:45			ICSE New Ideas and Emerging Results (NIER) From RSE to AI4RSE: A Quadrant Model for AI-Augmented Research Software 14:45 - 15:00			ICSE Research Track Enabling Global, Human-Centered Explanations for LLMs: From Tokens to I ... 15:00 - 15:15			ICSE New Ideas and Emerging Results (NIER) When to Answer and When to Defer: A Decision Framework for Reliable Cod ... 15:15 - 15:30									ICSE New Ideas and Emerging Results (NIER) Setup AGent (SAG): A Dual-Model LLM Agent for Autonomous End-to-End Jav ... 16:00 - 16:15			ICSE New Ideas and Emerging Results (NIER) MAJIT: Just-in-Time Detection of Compatibility Issues in Android and iO ... 16:15 - 16:30			ICSE New Ideas and Emerging Results (NIER) Code Wars: Adversarial Self-Play for Evolving Software Validation Tools 16:30 - 16:45			ICSE Research Track SEAlign: Alignment Training for Software Engineering Agent 16:45 - 17:00			ICSE Research Track Atomizer: An LLM-based Collaborative Multi-Agent Framework for Intent-D ... 17:00 - 17:15			ICSE Research Track Enhancing Issue Localization Agent with Tool-Interactive Training 17:15 - 17:30

Room information: Asia IV

This program is tentative and subject to change.

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Research Track

ICSE Research Track + ICSE SE In Practice (SEIP)

ICSE Research Track + ICSE SE In Practice (SEIP)

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Research Track + ICSE SE In Practice (SEIP)

ICSE Research Track

ICSE Research Track + ICSE SE In Practice (SEIP)

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) + ICSE Journal-first Papers

ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER) + ICSE Research Track

ICSE Research Track + ICSE New Ideas and Emerging Results (NIER)

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tracks

Room information: Asia IV

This program is tentative and subject to change.

Program Display Configuration

Wed 15 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Research Track

ICSE Research Track + ICSE SE In Practice (SEIP)

ICSE Research Track + ICSE SE In Practice (SEIP)

Thu 16 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Research Track + ICSE SE In Practice (SEIP)

ICSE Research Track

ICSE Research Track + ICSE SE In Practice (SEIP)

Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) + ICSE Journal-first Papers

ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER) + ICSE Research Track

ICSE Research Track + ICSE New Ideas and Emerging Results (NIER)

Wed 15 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change