Europa II - FormaliSE 2026

VenueWindsor Convention Center and Hotels

Room nameEuropa II

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

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

19:00 - 21:00	ICSE Newcomer ReceptionICSE Social, Networking and Special Rooms at Europa II A special reception to welcome newcomers to ICSE 2026. Join us for an evening of networking and fun!

19:00 2h Meeting		ICSE Newcomer Reception ICSE Social, Networking and Special Rooms

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

11:00 - 12:30	AI for Software Engineering 3ICSE SE In Practice (SEIP) at Europa II

11:00 15m Talk		Agentic Memory Enhanced Recursive Reasoning for Root Cause Localization in Microservices ICSE SE In Practice (SEIP) Lingzhe Zhang Peking University, China, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Yunpeng Zhai Alibaba Group, Leyi Pan Tsinghua University, Chiming Duan Peking University, Minghua He Peking University, Mengxi Jia Institute of Artificial Intelligence, China Telecom, Ying Li School of Software and Microelectronics, Peking University, Beijing, China
11:15 15m Talk		R-Log: Incentivizing Log Analysis Capability in LLMs via Reasoning-based Reinforcement Learning ICSE SE In Practice (SEIP) Yilun Liu Huawei co. LTD, Chen Ziang Huawei co. LTD; Nankai University, Song Xu Huawei co. LTD, Minggui He Huawei co. LTD, Shimin Tao University of Science and Technology of China; Huawei co. LTD, Weibin Meng Huawei co. LTD, Yuming Xie Huawei co. LTD, Tao Han Huawei co. LTD, Chunguang Zhao Huawei co. LTD, Jingzhou Du Huawei co. LTD, Daimeng Wei Huawei co. LTD, Shenglin Zhang Nankai University, Yongqian Sun Nankai University
11:30 15m Talk		LLM-Based Automated Diagnosis Of Integration Test Failures At Google ICSE SE In Practice (SEIP) Celal Ziftci Google, Ray Liu Google, Spencer Greene Google, Livio Dalloro Google
11:45 15m Talk		Automated Bug Frame Retrieval from Gameplay Videos Using Vision-Language Models ICSE SE In Practice (SEIP) Wentao Lu University of Alberta, Alexander Senchenko Electronic Arts, Abram Hindle University of Alberta, Cor-Paul Bezemer University of Alberta
12:00 15m Talk		Finding the Needle in the Crash Stack: Industrial-Scale Crash Root Cause Localization with AutoCrashFL ICSE SE In Practice (SEIP) Sungmin Kang NUS, Sumi Yun SAP Labs Korea, Jingun Hong SAP Labs Korea, Shin Yoo KAIST, Gabin An Korea University
12:15 15m Talk		PerFrame: Monitoring GUI Loading Performance in Mobile Apps via Semantic Distinguish ICSE SE In Practice (SEIP) Jianing Liu Fudan University, Shiyu Guo Meituan, Yongxiang Hu Fudan University, Yu Zhang Meituan, Hailiang Jin Meituan Inc., Juxing Yuan Meituan Inc., Yangfan Zhou Fudan University, Xin Wang Fudan University

14:00 - 15:30	AI for Software Engineering 6ICSE Research Track at Europa II

14:00 15m Talk		Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification ICSE Research Track Saketh Ram Kasibatla UC San Diego, Arpan Agrawal University of Illinois Urbana-Champaign, Yuriy Brun University of Massachusetts, Sorin Lerner University of California at San Diego, Talia Lily Ringer University of Illinois Urbana-Champaign, Emily First Rutgers University
14:15 15m Talk		RISE: Rule-Driven SQL Dialect Translation via Query Reduction ICSE Research Track Xudong Xie Institute of Software Chinese Academy of Sciences, China, Yuwei Zhang Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Yu Gao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Ziyu Cui Institute of Software at Chinese Academy of Sciences, Jiansen Song Institute of Software at Chinese Academy of Sciences, Rui Yang Institute of Software, Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
14:30 15m Talk		RepoScope: Leveraging Call Chain-Aware Multi-View Context for Repository-Level Code Generation ICSE Research Track Yang Liu , Li Zhang Beihang University, Fang Liu Beihang University, Zhuohang Wang Beihang University, Donglin Wei Beihang University, Zhishuo Yang Beihang University, Kechi Zhang Peking University, China, Jia Li , Lin Shi Beihang University Pre-print
14:45 15m Talk		What to Retrieve for Effective Retrieval-Augmented Code Generation? An Empirical Study and Beyond ICSE Research Track Wenchao Gu Technical University of Munich, Juntao Chen Sun Yat-Sen University, Yanlin Wang Sun Yat-sen University, Tianyue Jiang Sun Yat-sen University, Xingzhe Li Sun Yat-Sen University, Mingwei Liu Sun Yat-Sen University, Xilin Liu Huawei Cloud, Yuchi Ma Huawei Cloud Computing Technologies, Zibin Zheng Sun Yat-sen University
15:00 15m Talk		SEER: Enhancing Chain-of-Thought Code Generation through Self-Exploring Deep Reasoning ICSE Research Track Shuzheng Gao 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
15:15 15m Talk		SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence ICSE Research Track Momoko Shiraishi The University of Tokyo, Yinzhi Cao Johns Hopkins University, Takahiro Shinagawa The University of Tokyo

16:00 - 17:30	AI for Software Engineering 9ICSE Research Track at Europa II

16:00 15m Talk		Rethinking the Capability of Fine-Tuned Language Models for Automated Vulnerability Repair ICSE Research Track 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, Korea Pre-print
16:15 15m Talk		TraceCoder: A Trace-Driven Multi-Agent Framework for Automated Debugging of LLM-Generated Code ICSE Research Track Jiangping Huang Chongqing University of Posts and Telecommunications, Wenguang Ye Chongqing University of Posts and Telecommunications, Weisong Sun Nanyang Technological University, Jian Zhang Beihang University, Mingyue Zhang Southwest University, Yang Liu Nanyang Technological University
16:30 15m Talk		INTENTFIX: Automated Logic Vulnerability Repair via LLM-Driven Intent Modeling ICSE Research Track Jinseok Heo Sungkyunkwan University, Dongwook Choi SungKyunKwan University, Jinyoung Kim Sungkyunkwan University, Misoo Kim Chonnam National University, Eunseok Lee Sungkyunkwan University
16:45 15m Talk		Well Begun is Half Done: Location-Aware and Trace-Guided Iterative Automated Vulnerability Repair ICSE Research Track Zhenlei Ye Yangzhou University, Xiaobing Sun Yangzhou University, Sicong Cao Nanjing University of Posts and Telecommunications, Lili Bo Yangzhou University, Bin Li Yangzhou University
17:00 15m Talk		From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging ICSE Research Track Yuling Shi Shanghai Jiao Tong University, Songsong Wang University of California, Davis, Chengcheng Wan East China Normal University, Wang Min University of Pennsylvania, Xiaodong Gu Shanghai Jiao Tong University Pre-print
17:15 15m Talk		Unlocking LLM Repair Capabilities Through Cross-Language Translation and Multi-Agent Refinement ICSE Research Track Wenqiang LUO City University of Hong Kong, Jacky Keung City University of Hong Kong, Boyang Yang Yanshan University, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Haoye Tian Aalto University, Xuan-Bach D. Le University of Melbourne

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

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

11:00 15m Talk		Dually Hierarchical Drift Adaptation for Online Configuration Performance Learning ICSE Research Track Zezhen Xiang University of Electronic Science and Technology of China, Jingzhi Gong University of Leeds, Tao Chen University of Birmingham Pre-print
11:15 15m Talk		3D Software Synthesis Driven by Constraint-Expressive Intermediate Representation ICSE Research Track Shuqing Li The Chinese University of Hong Kong, Anson Y. Lam The Chinese University of Hong Kong, Yun Peng The Chinese University of Hong Kong, Wenxuan Wang Hong Kong University of Science and Technology, Michael Lyu The Chinese University of Hong Kong Pre-print
11:30 15m Talk		PromiseTune: Unveiling Causally Promising and Explainable Configuration Tuning ICSE Research Track Pengzhou Chen University of electronic science and technology of China, Tao Chen University of Birmingham Pre-print
11:45 15m Talk		From Seed to Scope: Reasoning to Identify Change Impact Sets ICSE Research Track Aashish Yadavally University of Central Florida, Tien N. Nguyen University of Texas at Dallas Pre-print
12:00 15m Talk		TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback ICSE SE In Practice (SEIP) Prithwish Jana Georgia Institute of Technology, Sam Davidson Amazon Web Services, Bhavana Bhasker Amazon Web Services, Andrey Kan Amazon Web Services, Anoop Deoras Amazon Web Services, Laurent Callot AWS AI Labs DOI Pre-print
12:15 15m Talk		From Code Changes to Quality Gains: An Empirical Study in Python ML Systems with PyQu ICSE Research Track Mohamed Almukhtar University of Michigan-Flint, Anwar Ghammam University of Michigan - Dearborn, Marouane Kessentini Grand Valley State University, Hua Ming University of Michigan - Flint Pre-print

14:00 - 15:30	AI for Software Engineering 15ICSE New Ideas and Emerging Results (NIER) / ICSE Research Track at Europa II

14:00 15m Talk		SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt ICSE New Ideas and Emerging Results (NIER) Xiaoqi Li Hainan University, Yingjie Mao Hainan University, Zexin Lu Hong Kong Polytechnic University, Wenkai Li Hainan University, Zongwei Li Hainan University
14:15 15m Talk		Leveraging Design-Aware Context in Large Language Models for Code Comment Generation ICSE New Ideas and Emerging Results (NIER) Aritra Mitra Indian Institute of Technology Kharagpur, Srijoni Majumdar University of Leeds, Anamitra Mukhopadhyay Indian Institute of Technology Kharagpur, Partha Pratim Das Ashoka University, Paul Clough University of Sheffield, Partha Pratim Chakrabarti Indian Institute of Technology, Kharagpur
14:30 15m Talk		From Execution to Embedding: Enriching Code Representations with Data Difference Signals for Comment Generation ICSE New Ideas and Emerging Results (NIER) Giacomo Fantino Politecnico di Torino, Italy, Antonio Vetrò Politecnico di Torino, Marco Torchiano Politecnico di Torino, Federica Cappelluti Politecnico di Torino, Italy
14:45 15m Talk		Towards Bridging Language Gaps in OSS with LLM-Driven Documentation Translation ICSE New Ideas and Emerging Results (NIER) Elijah Kayode Adejumo George Mason University, Mariam Guizani Queen's University, Canada, Fatemeh Vares George Mason University, Brittany Johnson George Mason University
15:00 15m Talk		Automating API Documentation from Crowdsourced Knowledge ICSE Research Track Bonan Kou Purdue University, Zijie Zhou University of Illinois Urbana-Champaign, Muhao Chen University of Southern California, Tianyi Zhang Purdue University
15:15 15m Talk		UniCoR: Modality Collaboration for Robust Cross-Language Hybrid Code Retrieval ICSE Research Track Yang Yang Central South University, China, Li Kuang Centrel South University, Jiakun Liu Harbin Institute of Technology, Zhongxin Liu Zhejiang University, Yingjie Xia Hangzhou Dianzi University, David Lo Singapore Management University

16:00 - 17:30	AI for Software Engineering 18ICSE Research Track at Europa II

16:00 15m Talk		Are “Solved Issues” in SWE-bench Really Solved Correctly? An Empirical Study ICSE Research Track You Wang Zhejiang University, Michael Pradel CISPA Helmholtz Center for Information Security, Zhongxin Liu Zhejiang University
16:15 15m Talk		EmbedAgent: Benchmarking Large Language Models in Embedded System Development ICSE Research Track Ruiyang Xu University of Chinese Academy of Sciences, Jialun Cao Hong Kong University of Science and Technology, Mingyuan Wu Southern University of Science and Technology, Wenliang Zhong Institute of Software, Chinese Academy of Sciences, Yaojie Lu Institute of Software, Chinese Academy of Sciences, Ben He University of Chinese Academy of Sciences, Xianpei Han Institute of Software, Chinese Academy of Sciences, Shing-Chi Cheung Hong Kong University of Science and Technology, Le Sun Institute of Software, Chinese Academy of Sciences
16:30 15m Talk		When Prompts Go Wrong: Evaluating Code Model Robustness to Ambiguous, Contradictory, and Incomplete Task Descriptions ICSE Research Track Maya LARBI University of Luxembourg, Amal Akli University of Luxembourg, Mike Papadakis University of Luxembourg, Rihab BOUYOUSFI Ecole nationale Supérieure d’Informatique (ESI), Maxime Cordy University of Luxembourg, Luxembourg, Federica Sarro University College London, Yves Le Traon University of Luxembourg, Luxembourg Pre-print
16:45 15m Talk		Reflections on the Reproducibility of Commercial LLM Performance in Empirical Software Engineering Studies ICSE Research Track Florian Angermeir fortiss, Maximilian Amougou fortiss GmbH, Mark Kreitz University of the Bundeswehr Munich, Andreas Bauer Technische Hochschule Nürnberg Georg Simon Ohm, Matthias Linhuber Technical University Munich, Davide Fucci Blekinge Institute of Technology, Fabiola Moyón Siemens Technology and Technical University of Munich, Daniel Mendez Blekinge Institute of Technology and fortiss, Tony Gorschek Blekinge Institute of Technology / DocEngineering DOI Pre-print
17:00 15m Talk		FreshBrew: A Benchmark for Evaluating AI Agents on Java Code Migration ICSE Research Track Victor May Google, Diganta Misra Max Planck Institut für Intelligente Systeme (MPI-IS) and ELLIS Institute, Tübingen, Yanqi Luo Salesforce, Anjali Sridhar Google, Justine Gehring Gologic, Silvio Soares Ribeiro Junior Google
17:15 15m Talk		ProxyWar: Dynamic Assessment of LLM Code Generation in Game Arenas ICSE Research Track Xinyu Wang The University of Adelaide, Wenjun Peng The University of Adelaide, Qi Wu University of Adelaide

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

11:00 - 12:30	AI for Software Engineering 22ICSE Research Track at Europa II

11:00 15m Talk		Environment-Aware Code Generation: How far are We? ICSE Research Track Tongtong Wu Monash University, Rongyi Chen Southeast University, Wenjie Du Southeast University, Suyu Ma CSIRO's Data61, Guilin Qi Southeast University, Zhenchang Xing CSIRO's Data61, Shahram Khadivi eBay Inc., Ramesh Periyathambi eBay Inc., Gholamreza Haffari Monash University
11:15 15m Talk		LLM-based API Argument Completion with Knowledge-Augmented Prompts ICSE Research Track Waseem Akram Beijing Institute of Technology, Yanjie Jiang Tianjin University, Haris Ali Khan Beijing Institute of Technology, Furqan Jalil Beijing Institute of Technology, Hui Liu Beijing Institute of Technology
11:30 15m Talk		Distance-Guided Search in Program Synthesis with Imperfect LLM Solutions ICSE Research Track Hangyeol Cho Hanyang University, Jaehyung Lee Hanyang University, Woosuk Lee Hanyang University
11:45 15m Talk		Automatic Dockerfile Generation with Large Language Models ICSE Research Track Jun Lyu Nanjing University, He Zhang Nanjing University, Yusong Yuan Nanjing University, Lanxin Yang Nanjing University, Yue Li Nanjing University, Manuel Rigger National University of Singapore
12:00 15m Talk		A Causal Perspective on Measuring, Explaining and Mitigating Smells in LLM-Generated Code ICSE Research Track Alejandro Velasco William & Mary, Daniel Rodriguez-Cardenas William & Mary, Dipin Khati William & Mary, David N. Palacio Microsoft, Lutfar Rahman Alif University of Dhaka, Denys Poshyvanyk William & Mary DOI Pre-print
12:15 15m Talk		A Comparison of Conversational Models and Humans in Answering Technical Questions: the Firefox Case ICSE Research Track João Correia PUC-Rio, Daniel Coutinho Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marco Castelluccio Mozilla, Caio Barbosa Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Igor Steinmacher RESHAPE LAB, Northern Arizona University, USA, Marco Gerosa Northern Arizona University, Alessandro Garcia Pontifical Catholic University of Rio de Janeiro, Rafael de Mello UFRJ, Brazil, Anita Sarma Oregon State University

14:00 - 15:30	AI for Software Engineering 25ICSE Journal-first Papers / ICSE Research Track / ICSE New Ideas and Emerging Results (NIER) / ICSE Demonstrations at Europa II

14:00 15m Talk		ArtifactSync: Automated Repository Synchronization through Hierarchical Change Impact Analysis ICSE Demonstrations Ebube Alor Concordia University, João Pedro de Souza Olivo Tardivo Universidade Estadual do Paraná, SayedHassan Khatoonabadi Concordia University, Emad Shihab Concordia University
14:15 15m Talk		Introducing Phylogenetics in Search-based Software Engineering: Phylogenetics-aware SBSE ICSE Journal-first Papers Daniel Blasco SVIT Research Group. Universidad San Jorge, Antonio Iglesias Universidad San Jorge, Jorge Echeverria Universidad San Jorge, Francisca Perez Universitat Politècnica de València, Carlos Cetina
14:30 15m Talk		Automating Terraform Code Migration through Provider Evolution Knowledge ICSE New Ideas and Emerging Results (NIER) Pranjal Gupta IBM Research, Pooja Aggarwal IBM Research, Brent Paulovicks IBM Research, Prateeti Mohapatra IBM Research, Rong Lee IBM Research, Vadim Sheinin IBM Research
14:45 15m Talk		Replacing Training with Reasoning: Reinterpreting Classic ML Pipelines with LLMs ICSE New Ideas and Emerging Results (NIER) Marco Alecci University of Luxembourg, Jordan Samhi University of Luxembourg, Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg
15:00 15m Talk		NB2P: Generating Data Science Pipelines from Computational Notebooks ICSE Research Track Haotian Gao National University of Singapore, Singapore and NUSRI Chongqing, China, Quang Trung Ta National University of Singapore, Tien Tuan Anh Dinh Deakin University, Australia, Nhut Minh Ho National University of Singapore, Zhiyong Huang National University of Singapore, Beng Chin Ooi National University of Singapore, Singapore
15:15 15m Talk		Multi-Location Software Model Completion ICSE Research Track Alisa Carla Welter Saarland University, Christof Tinnes Siemens AG, Sven Apel Saarland University

16:00 - 17:30	AI for Software Engineering 28ICSE Journal-first Papers / ICSE New Ideas and Emerging Results (NIER) / ICSE Research Track at Europa II

16:00 15m Talk		ConfLogger: Enhance Systems' Configuration Diagnosability through Configuration Logging ICSE Research Track Shiwen Shan Sun Yat-sen University, Yintong Huo Singapore Management University, Singapore, Yuxin Su Sun Yat-sen University, Zhining Wang Sun Yat-sen University, Dan Li Sun Yat-sen University, Zibin Zheng Sun Yat-sen University
16:15 15m Talk		Towards Better Linux Kernel Fault Localization: Leveraging Contrastive Reasoning and Hierarchical Context Analysis ICSE Research Track Haichi Wang College of Intelligence and Computing, Tianjin University, Ruiguo Yu College of Intelligence and Computing, Tianjin University, Yesong Pang College of Intelligence and Computing, Tianjin University, Yingquan Zhao Tianjin University, Junjie Chen Tianjin University, Jiajun Jiang Tianjin University, Zan Wang Tianjin University
16:30 15m Talk		LLM meets ML: Data-efficient Anomaly Detection on Unstable Logs ICSE Journal-first Papers Fatemeh (Bahar) Hadadi University of Ottawa, Xu Qinghua Research Ireland Lero Centre for Software, University of Limerick Limerick, Domenico Bianculli University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
16:45 15m Talk		Generality Is Not Enough: Zero-Label Cross-System Log-Based Anomaly Detection via Knowledge-Level Collaboration ICSE New Ideas and Emerging Results (NIER) Xinlong Zhao School of Software and Microelectronics, Peking University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Minghua He Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China
17:00 15m Talk		Knowledge-Augmented Log Anomaly Detection with Large Language Models ICSE Research Track Yongliang Tao , Hongyu Zhang Chongqing University, Van-Hoang Le The University of Newcastle, Yi Xiao Chongqing University
17:15 15m Talk		FoundRoot: Towards Foundation Model for Root Cause Analysis via Structured Deep Thinking ICSE Research Track 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

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Europa II	ICPC Program																								ICPC Program																																				ICPC Program																								ICPC Program

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Europa II	ICPC Program																								ICPC Program																																				ICPC Program																								ICPC Program

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30
Europa II	ICSE Student Mentoring Workshop (SMeW)																								ICSE Student Mentoring Workshop (SMeW)																																				ICSE Student Mentoring Workshop (SMeW)																								ICSE Student Mentoring Workshop (SMeW)																																				ICSE Social, Networking and Special Rooms ICSE Newcomer Reception

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
Europa II	ICSE SE In Practice (SEIP) AI for Software Engineering 3																																				ICSE Research Track AI for Software Engineering 6																								ICSE Research Track AI for Software Engineering 9

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
Europa II	ICSE Research Track + ICSE SE In Practice (SEIP) AI for Software Engineering 12																																				ICSE New Ideas and Emerging Results (NIER) + ICSE Research Track AI for Software Engineering 15																								ICSE Research Track AI for Software Engineering 18

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
Europa II	ICSE Research Track AI for Software Engineering 22																																				ICSE Journal-first Papers + ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) + ICSE Demonstrations AI for Software Engineering 25																								ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER) + ICSE Research Track AI for Software Engineering 28

Sat 18 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Europa II	EnCyCriS																								EnCyCriS																																				EnCyCriS																								EnCyCriS

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	19:00			15			30			45			20:00			15			30			45
Europa II	ICSE Social, Networking and Special Rooms ICSE Newcomer Reception 19:00 - 21:00

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
Europa II	ICSE SE In Practice (SEIP) Agentic Memory Enhanced Recursive Reasoning for Root Cause Localization ... 11:00 - 11:15			ICSE SE In Practice (SEIP) R-Log: Incentivizing Log Analysis Capability in LLMs via Reasoning-base ... 11:15 - 11:30			ICSE SE In Practice (SEIP) LLM-Based Automated Diagnosis Of Integration Test Failures At Google 11:30 - 11:45			ICSE SE In Practice (SEIP) Automated Bug Frame Retrieval from Gameplay Videos Using Vision-Languag ... 11:45 - 12:00			ICSE SE In Practice (SEIP) Finding the Needle in the Crash Stack: Industrial-Scale Crash Root Caus ... 12:00 - 12:15			ICSE SE In Practice (SEIP) PerFrame: Monitoring GUI Loading Performance in Mobile Apps via Semanti ... 12:15 - 12:30																					ICSE Research Track Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verifi ... 14:00 - 14:15			ICSE Research Track RISE: Rule-Driven SQL Dialect Translation via Query Reduction 14:15 - 14:30			ICSE Research Track RepoScope: Leveraging Call Chain-Aware Multi-View Context for Repositor ... 14:30 - 14:45			ICSE Research Track What to Retrieve for Effective Retrieval-Augmented Code Generation? An ... 14:45 - 15:00			ICSE Research Track SEER: Enhancing Chain-of-Thought Code Generation through Self-Exploring ... 15:00 - 15:15			ICSE Research Track SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large ... 15:15 - 15:30									ICSE Research Track Rethinking the Capability of Fine-Tuned Language Models for Automated V ... 16:00 - 16:15			ICSE Research Track TraceCoder: A Trace-Driven Multi-Agent Framework for Automated Debuggin ... 16:15 - 16:30			ICSE Research Track INTENTFIX: Automated Logic Vulnerability Repair via LLM-Driven Intent M ... 16:30 - 16:45			ICSE Research Track Well Begun is Half Done: Location-Aware and Trace-Guided Iterative Auto ... 16:45 - 17:00			ICSE Research Track From Code to Correctness: Closing the Last Mile of Code Generation with ... 17:00 - 17:15			ICSE Research Track Unlocking LLM Repair Capabilities Through Cross-Language Translation an ... 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
Europa II	ICSE Research Track Dually Hierarchical Drift Adaptation for Online Configuration Performan ... 11:00 - 11:15			ICSE Research Track 3D Software Synthesis Driven by Constraint-Expressive Intermediate Repr ... 11:15 - 11:30			ICSE Research Track PromiseTune: Unveiling Causally Promising and Explainable Configuration ... 11:30 - 11:45			ICSE Research Track From Seed to Scope: Reasoning to Identify Change Impact Sets 11:45 - 12:00			ICSE SE In Practice (SEIP) TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via ... 12:00 - 12:15			ICSE Research Track From Code Changes to Quality Gains: An Empirical Study in Python ML Sys ... 12:15 - 12:30																					ICSE New Ideas and Emerging Results (NIER) SCLA: Automated Smart Contract Summarization via LLMs and Control Flow ... 14:00 - 14:15			ICSE New Ideas and Emerging Results (NIER) Leveraging Design-Aware Context in Large Language Models for Code Comme ... 14:15 - 14:30			ICSE New Ideas and Emerging Results (NIER) From Execution to Embedding: Enriching Code Representations with Data D ... 14:30 - 14:45			ICSE New Ideas and Emerging Results (NIER) Towards Bridging Language Gaps in OSS with LLM-Driven Documentation Tra ... 14:45 - 15:00			ICSE Research Track Automating API Documentation from Crowdsourced Knowledge 15:00 - 15:15			ICSE Research Track UniCoR: Modality Collaboration for Robust Cross-Language Hybrid Code Re ... 15:15 - 15:30									ICSE Research Track Are “Solved Issues” in SWE-bench Really Solved Correctly? An Empirical ... 16:00 - 16:15			ICSE Research Track EmbedAgent: Benchmarking Large Language Models in Embedded System Devel ... 16:15 - 16:30			ICSE Research Track When Prompts Go Wrong: Evaluating Code Model Robustness to Ambiguous, C ... 16:30 - 16:45			ICSE Research Track Reflections on the Reproducibility of Commercial LLM Performance in Emp ... 16:45 - 17:00			ICSE Research Track FreshBrew: A Benchmark for Evaluating AI Agents on Java Code Migration 17:00 - 17:15			ICSE Research Track ProxyWar: Dynamic Assessment of LLM Code Generation in Game Arenas 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
Europa II	ICSE Research Track Environment-Aware Code Generation: How far are We? 11:00 - 11:15			ICSE Research Track LLM-based API Argument Completion with Knowledge-Augmented Prompts 11:15 - 11:30			ICSE Research Track Distance-Guided Search in Program Synthesis with Imperfect LLM Solutions 11:30 - 11:45			ICSE Research Track Automatic Dockerfile Generation with Large Language Models 11:45 - 12:00			ICSE Research Track A Causal Perspective on Measuring, Explaining and Mitigating Smells in ... 12:00 - 12:15			ICSE Research Track A Comparison of Conversational Models and Humans in Answering Technical ... 12:15 - 12:30																					ICSE Demonstrations ArtifactSync: Automated Repository Synchronization through Hierarchical ... 14:00 - 14:15			ICSE Journal-first Papers Introducing Phylogenetics in Search-based Software Engineering: Phyloge ... 14:15 - 14:30			ICSE New Ideas and Emerging Results (NIER) Automating Terraform Code Migration through Provider Evolution Knowledge 14:30 - 14:45			ICSE New Ideas and Emerging Results (NIER) Replacing Training with Reasoning: Reinterpreting Classic ML Pipelines ... 14:45 - 15:00			ICSE Research Track NB2P: Generating Data Science Pipelines from Computational Notebooks 15:00 - 15:15			ICSE Research Track Multi-Location Software Model Completion 15:15 - 15:30									ICSE Research Track ConfLogger: Enhance Systems' Configuration Diagnosability through Confi ... 16:00 - 16:15			ICSE Research Track Towards Better Linux Kernel Fault Localization: Leveraging Contrastive ... 16:15 - 16:30			ICSE Journal-first Papers LLM meets ML: Data-efficient Anomaly Detection on Unstable Logs 16:30 - 16:45			ICSE New Ideas and Emerging Results (NIER) Generality Is Not Enough: Zero-Label Cross-System Log-Based Anomaly Det ... 16:45 - 17:00			ICSE Research Track Knowledge-Augmented Log Anomaly Detection with Large Language Models 17:00 - 17:15			ICSE Research Track FoundRoot: Towards Foundation Model for Root Cause Analysis via Structu ... 17:15 - 17:30

Room information: Europa II

This program is tentative and subject to change.

Program Display Configuration

Tue 14 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

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

Sun 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

ICPC Program

ICPC Program

ICPC Program

ICPC Program

Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

ICPC Program

ICPC Program

ICPC Program

ICPC Program

Tue 14 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Student Mentoring Workshop (SMeW)

ICSE Student Mentoring Workshop (SMeW)

ICSE Student Mentoring Workshop (SMeW)

ICSE Student Mentoring Workshop (SMeW)

ICSE Social, Networking and Special Rooms

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

ICSE SE In Practice (SEIP)

ICSE Research Track

ICSE Research Track

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

ICSE Research Track + ICSE SE In Practice (SEIP)

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

ICSE Research Track

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

ICSE Research Track

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

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

Sat 18 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

EnCyCriS

EnCyCriS

EnCyCriS

EnCyCriS

Tue 14 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

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

Tue 14 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

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 14 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

Sat 18 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 14 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