212 - MO2RE 2025

VenueRogers Centre, Ottawa (formerly Shaw Centre)

Room name212

Floor2

Room number212

Capacity107

Room Information

See map. 212 entrance is on in the little corridor whose entrance is between rooms 210 and 208 on the second floor off the Rideau Canal Atrium. Other rooms in the corridor are 211 and 213-215.

This room will be used for both the Doctoral Symposium and the CAIN Doctoral Symposium.

During the main conference (Wed-Fri) a key theme of this room will be AI for Analysis.

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Session 1Multi-Discip. Requirements Engineering at 212

09:00 10m Day opening		Welcome from the organizers Multi-Discip. Requirements Engineering Sallam Abualhaija University of Luxembourg, Daniel Amyot University of Ottawa, Chetan Arora Monash University, Alessio Ferrari CNR-ISTI, Paola Spoletini Kennesaw State University, Davide Fucci Blekinge Institute of Technology
09:10 60m Keynote		A History of RE as Seen by a Still-Active Alter Kaker Who Was in It From Before the Beginning Multi-Discip. Requirements Engineering Dan Berry University of Waterloo
10:10 20m Panel		Group activity (part 1) Multi-Discip. Requirements Engineering

11:00 - 12:30	Session 2: Requirements and NormsMulti-Discip. Requirements Engineering at 212

11:00 45m Talk		Untangling Shared Phenomena for Improving Analysis of Normative Requirements Multi-Discip. Requirements Engineering Junwei Quan University of Toronto, Lina Marsso École Polytechnique de Montréal, Dalal Alrajeh Imperial College London, Marsha Chechik University of Toronto
11:45 45m Talk		A Taxonomy of Real-World Defeaters in Safety Assurance Cases Multi-Discip. Requirements Engineering Usman Gohar Dept. of Computer Science, Iowa State University, Michael Hunter Iowa State University, Myra Cohen Iowa State University, Robyn Lutz Iowa State University

14:00 - 15:30	Session 3: Multidisciplinary REMulti-Discip. Requirements Engineering at 212

14:00 60m Keynote		Building REsilience: Antifragility through Multidisciplinarity in Requirements Engineering Multi-Discip. Requirements Engineering Sarah Gregory
15:00 30m Panel		Group activity (part 2) Multi-Discip. Requirements Engineering

16:00 - 17:30	Session 4: Requirements, AI, and testingMulti-Discip. Requirements Engineering at 212

16:00 30m Talk		Exploring Large Language Models for Requirements on String Values Multi-Discip. Requirements Engineering Aren Babikian University of Toronto, Boqi Chen McGill University, Gunter Mussbacher McGill University
16:30 30m Talk		On the Automated Generation of UI for Template-based Requirements Specification Multi-Discip. Requirements Engineering Ikram Darif École de technologie supérieure (ÉTS), Ghizlane El Boussaidi École de Technologie Supérieure, Segla Kpodjedo Ecole de Technologie Superieure
17:00 30m Day closing		Wrap up and closing Multi-Discip. Requirements Engineering Sallam Abualhaija University of Luxembourg, Daniel Amyot University of Ottawa, Chetan Arora Monash University, Alessio Ferrari CNR-ISTI, Paola Spoletini Kennesaw State University, Davide Fucci Blekinge Institute of Technology

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:05	Session 1: Security & Miscellaneous (talks and panel)ICSE Doctoral Symposium at 212 Chair(s): Tayana Conte Universidade Federal do Amazonas

09:00 5m Day opening		Opening of the Doctoral Symposium ICSE Doctoral Symposium Tayana Conte Universidade Federal do Amazonas, Alexander Serebrenik Eindhoven University of Technology
09:05 6m Talk		Advancing Secure and Standard Source Code Generation Techniques ICSE Doctoral Symposium Mohammed Latif Siddiq University of Notre Dame Pre-print
09:11 6m Talk		Towards Secure and Interactive Smart Contract Code from Formal SYMBOLEO Specifications ICSE Doctoral Symposium Sofana Alfuhaid University of Ottawa
09:17 6m Talk		Empirically-Informed Approaches to Shift Vulnerability Detection to the Left ICSE Doctoral Symposium Paschal Amusuo Purdue University
09:23 6m Talk		A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development ICSE Doctoral Symposium Alejandra Selva-Mora Universidad de Costa Rica
09:29 6m Talk		Towards Configuration-Aware Performance Modeling ICSE Doctoral Symposium Yuanjie Xia University of Waterloo
09:35 30m Panel		Panel: Security ICSE Doctoral Symposium Marsha Chechik University of Toronto, Laurie Williams North Carolina State University, Mohammed Latif Siddiq University of Notre Dame, Yuanjie Xia University of Waterloo, Paschal Amusuo Purdue University, Alejandra Selva-Mora Universidad de Costa Rica, Sofana Alfuhaid University of Ottawa

11:00 - 12:00	Session 2: Human aspects (talks and panel)ICSE Doctoral Symposium at 212 Chair(s): Alexander Serebrenik Eindhoven University of Technology

11:00 6m Talk		Decoding Diversity: Understanding its Impact on Team Performance in Software Teams ICSE Doctoral Symposium Kezia Devathasan University of Victoria
11:06 6m Talk		Diverse Participation and Newcomer Risk Perception in Open Source Software Communities ICSE Doctoral Symposium Hana Frluckaj University of Texas
11:12 6m Talk		A Framework for Supporting Transparency in Software Ecosystems Portals from the Point of View of Developer Experience ICSE Doctoral Symposium Rodrigo Zacarias UNIRIO - Universidade Federal do Estado do Rio de Janeiro
11:18 6m Talk		Studying and Improving Code Understandability through Atoms of Confusion ICSE Doctoral Symposium Guoshuai Shi University of Waterloo
11:24 6m Talk		Understanding and Improving Code Review of Changes in Build Systems ICSE Doctoral Symposium Mahtab Nejati University of Waterloo
11:30 30m Panel		Panel: Human aspects ICSE Doctoral Symposium Rashina Hoda Monash University, David Redmiles University of California, Irvine, Gema Rodríguez-Pérez University of British Columbia (UBC), Kezia Devathasan University of Victoria, Hana Frluckaj University of Texas, Mahtab Nejati University of Waterloo, Guoshuai Shi University of Waterloo, Rodrigo Zacarias UNIRIO - Universidade Federal do Estado do Rio de Janeiro

14:00 - 15:00	Session 3: Maintenance (talks and panel)ICSE Doctoral Symposium at 212 Chair(s): Alexander Serebrenik Eindhoven University of Technology

14:00 6m Talk		Concern-based Management of Software Design Complexity ICSE Doctoral Symposium Jason Lefever Drexel University
14:06 6m Talk		Mitigating Waste That Tacitly Accrues in Continuous Integration Pipelines ICSE Doctoral Symposium Nimmi Rashinika Weeraddana University of Waterloo Pre-print
14:12 6m Talk		Automated Detection and Refactoring of Mock Clones in Java Projects ICSE Doctoral Symposium Gengwu Zhao Stevens Institute of Technology
14:18 6m Talk		Practical Preprocessing of Logs at Scale ICSE Doctoral Symposium JianChen Zhao University of Waterloo
14:24 6m Talk		Bridging the Gap Between Log Parsing Techniques and Practitioners: Challenges and Solutions ICSE Doctoral Symposium Hetong Dai University of Waterloo
14:30 30m Panel		Panel: Maintenance ICSE Doctoral Symposium Sridhar Chimalakonda Indian Institute of Technology, Tirupati, Wesley Assunção North Carolina State University, Hetong Dai University of Waterloo, Jason Lefever Drexel University, Nimmi Weeraddana University of Waterloo, JianChen Zhao University of Waterloo, Gengwu Zhao Stevens Institute of Technology

16:00 - 17:00	Session 4: Testing (talks and panel)ICSE Doctoral Symposium at 212 Chair(s): Tayana Conte Universidade Federal do Amazonas

16:00 6m Talk		TestifAI: Probabilistic Context-Aware Testing For Safe Deep Learning Models ICSE Doctoral Symposium AroojArif Northeastern University London
16:06 6m Talk		Foundation Models for Automatic Issue Labeling ICSE Doctoral Symposium Giuseppe Colavito University of Bari
16:12 6m Talk		Automatically Generating Single-Responsibility Unit Tests ICSE Doctoral Symposium Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e Ingenierías, Universidad Católica Boliviana
16:18 6m Talk		Automatic Test Case Generation for Smart Human-Centric Ecosystems ICSE Doctoral Symposium Alind Xhyra Universitá della Svizzera Italiana (USI) Lugano, Constructor Institute of Technology (CIT) Schaffhausen
16:24 6m Talk		A Framework for On the Fly Input Refinement for Deep Learning Models ICSE Doctoral Symposium Ravishka Shemal Rathnasuriya University of Texas at Dallas
16:30 30m Panel		Panel: Testing ICSE Doctoral Symposium Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Xavier Devroey University of Namur, Annibale Panichella Delft University of Technology, Ahmed Arif University of California, Merced, Giuseppe Colavito University of Bari, Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e Ingenierías, Universidad Católica Boliviana, Ravishka Shemal Rathnasuriya University of Texas at Dallas, Alind Xhyra Universitá della Svizzera Italiana (USI) Lugano, Constructor Institute of Technology (CIT) Schaffhausen

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30	AI for Analysis 1ICSE Research Track at 212

11:00 15m Talk		A Multiple Representation Transformer with Optimized Abstract Syntax Tree for Efficient Code Clone Detection ICSE Research Track TianChen Yu School of Software Engineering, South China University of Technology, Li Yuan School of Software Engineering, South China University of Technology, Guangzhou, China, Liannan Lin School of Software Engineering, South China University of Technology, Hongkui He School of Software Engineering, South China University of Technology
11:15 15m Talk		Can an LLM find its way around a Spreadsheet? ICSE Research Track Cho-Ting Lee Virginia Tech, Andrew Neeser Virginia Tech, Shengzhe Xu Virginia Tech, Jay Katyan Virginia Tech, Patrick Cross Virginia Tech, Sharanya Pathakota Virginia Tech, Marigold Norman World Forest ID, John C. Simeone Simeone Consulting, LLC, Jaganmohan Chandrasekaran Virginia Tech, Naren Ramakrishnan Virginia Tech
11:30 15m Talk		QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning ICSE Research Track Alex Sanchez-Stern University of Massachusetts at Amherst, Abhishek Varghese University of Massachusetts, Zhanna Kaufman University of Massachusetts, Shizhuo Zhang University of Illinois Urbana-Champaign, Talia Lily Ringer University of Illinois Urbana-Champaign, Yuriy Brun University of Massachusetts Link to publication Pre-print
11:45 15m Talk		TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference ICSE Research Track Chong Wang Nanyang Technological University, Jian Zhang Nanyang Technological University, Yiling Lou Fudan University, Mingwei Liu Fudan University, Weisong Sun Nanyang Technological University, Yang Liu Nanyang Technological University, Xin Peng Fudan University
12:00 15m Talk		ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation ICSE Research Track Xue Jiang , Yihong Dong Peking University, Yongding Tao University of Electronic Science and Technology of China, Huanyu Liu Xidian University, Zhi Jin Peking University, Ge Li Peking University
12:15 15m Talk		Rango: Adaptive Retrieval-Augmented Proving for Automated Software VerificationAward Winner ICSE Research Track Kyle Thompson University of California, San Diego, Nuno Saavedra INESC-ID and IST, University of Lisbon, Pedro Carrott Imperial College London, Kevin Fisher University of California San Diego, Alex Sanchez-Stern University of Massachusetts, Yuriy Brun University of Massachusetts, João F. Ferreira INESC-ID and IST, University of Lisbon, Sorin Lerner University of California at San Diego, Emily First University of California, San Diego Link to publication Pre-print

16:00 - 17:30	AI for Analysis 2ICSE Research Track / ICSE Journal-first Papers at 212

16:00 15m Talk		Neurosymbolic Modular Refinement Type Inference ICSE Research Track Georgios Sakkas UC San Diego, Pratyush Sahu UC San Diego, Kyeling Ong University of California, San Diego, Ranjit Jhala UCSD
16:15 15m Talk		An Empirical Study on Automatically Detecting AI-Generated Source Code: How Far Are We? ICSE Research Track Hyunjae Suh University of California, Irvine, Mahan Tafreshipour University of California at Irvine, Jiawei Li University of California Irvine, Adithya Bhattiprolu University of California, Irvine, Iftekhar Ahmed University of California at Irvine
16:30 15m Talk		Planning a Large Language Model for Static Detection of Runtime Errors in Code Snippets ICSE Research Track Smit Soneshbhai Patel University of Texas at Dallas, Aashish Yadavally University of Texas at Dallas, Hridya Dhulipala University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas
16:45 15m Talk		LLMs Meet Library Evolution: Evaluating Deprecated API Usage in LLM-based Code Completion ICSE Research Track Chong Wang Nanyang Technological University, Kaifeng Huang Tongji University, Jian Zhang Nanyang Technological University, Yebo Feng Nanyang Technological University, Lyuye Zhang Nanyang Technological University, Yang Liu Nanyang Technological University, Xin Peng Fudan University
17:00 15m Talk		Knowledge-Enhanced Program Repair for Data Science Code ICSE Research Track Shuyin Ouyang King's College London, Jie M. Zhang King's College London, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Albert Merono Penuela King's College London
17:15 7m Talk		SparseCoder: Advancing Source Code Analysis with Sparse Attention and Learned Token Pruning ICSE Journal-first Papers Xueqi Yang NCSU, Mariusz Jakubowski Microsoft, Li Kang Microsoft, Haojie Yu Microsoft, Tim Menzies North Carolina State University

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30	AI for Analysis 3ICSE SE In Practice (SEIP) / ICSE Research Track at 212

11:00 15m Talk		COCA: Generative Root Cause Analysis for Distributed Systems with Code Knowledge ICSE Research Track Yichen LI The Chinese University of Hong Kong, Yulun Wu The Chinese University of Hong Kong, Jinyang Liu Chinese University of Hong Kong, Zhihan Jiang The Chinese University of Hong Kong, Zhuangbin Chen Sun Yat-sen University, Guangba Yu Sun Yat-sen University, Michael Lyu The Chinese University of Hong Kong
11:15 15m Talk		Enhancing Code Generation via Bidirectional Comment-Level Mutual Grounding ICSE Research Track Yifeng Di Purdue University, Tianyi Zhang Purdue University
11:30 15m Talk		HumanEvo: An Evolution-aware Benchmark for More Realistic Evaluation of Repository-level Code Generation ICSE Research Track Dewu Zheng Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Ensheng Shi Xi’an Jiaotong University, Ruikai Zhang Huawei Cloud Computing Technologies, Yuchi Ma Huawei Cloud Computing Technologies, Hongyu Zhang Chongqing University, Zibin Zheng Sun Yat-sen University
11:45 15m Talk		SEMANTIC CODE FINDER: An Efficient Semantic Search Framework for Large-Scale Codebases ICSE SE In Practice (SEIP) daeha ryu Innovation Center, Samsung Electronics, Seokjun Ko Samsung Electronics Co., Eunbi Jang Innovation Center, Samsung Electronics, jinyoung park Innovation Center, Samsung Electronics, myunggwan kim Innovation Center, Samsung Electronics, changseo park Innovation Center, Samsung Electronics
12:00 15m Talk		Time to Retrain? Detecting Concept Drifts in Machine Learning Systems ICSE SE In Practice (SEIP) Tri Minh-Triet Pham Concordia University, Karthikeyan Premkumar Ericsson, Mohamed Naili Ericsson, Jinqiu Yang Concordia University
12:15 15m Talk		UML Sequence Diagram Generation: A Multi-Model, Multi-Domain Evaluation ICSE SE In Practice (SEIP) Chi Xiao Ericsson AB, Daniel Ståhl Ericsson AB, Jan Bosch Chalmers University of Technology

14:00 - 15:30	Analysis 3ICSE Research Track / ICSE Journal-first Papers at 212

14:00 15m Talk		Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries ICSE Research Track Yongchao WANG Hong Kong University of Science and Technology, Yuandao Cai Hong Kong University of Science and Technology, Charles Zhang Hong Kong University of Science and Technology
14:15 15m Talk		Dockerfile Flakiness: Characterization and Repair ICSE Research Track Taha Shabani University of British Columbia, Noor Nashid University of British Columbia, Parsa Alian University of British Columbia, Ali Mesbah University of British Columbia
14:30 15m Talk		Evaluating Garbage Collection Performance Across Managed Language Runtimes ICSE Research Track Yicheng Wang Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Yu Liang Institute of Software Chinese Academy of Sciences, Yi Wang Institute of Software Chinese Academy of Sciences, Wei Wang Institute of Software at Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Tao Huang Institute of Software Chinese Academy of Sciences
14:45 15m Talk		Module-Aware Context Sensitive Pointer Analysis ICSE Research Track Haofeng Li Institute of Computing Technology at Chinese Academy of Sciences, Chenghang Shi SKLP, Institute of Computing Technology, CAS, Jie Lu SKLP, Institute of Computing Technology, CAS, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zixuan Zhao Huawei Technologies Co. Ltd
15:00 15m Talk		SUPERSONIC: Learning to Generate Source Code Optimizations in C/C++ ICSE Journal-first Papers Zimin Chen KTH Royal Institute of Technology, Sen Fang North Carolina State University, Martin Monperrus KTH Royal Institute of Technology
15:15 15m Talk		T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax ICSE Journal-first Papers Zhenyang Xu University of Waterloo, Yongqiang Tian Hong Kong University of Science and Technology, Mengxiao Zhang , Jiarui Zhang University of Waterloo, Puzhuo Liu Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, Beijing, China； School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China；, Yu Jiang Tsinghua University, Chengnian Sun University of Waterloo

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30	AI for Analysis 4ICSE Research Track / ICSE New Ideas and Emerging Results (NIER) / ICSE SE In Practice (SEIP) at 212

11:00 15m Talk		RepairAgent: An Autonomous, LLM-Based Agent for Program Repair ICSE Research Track Islem BOUZENIA University of Stuttgart, Prem Devanbu University of California at Davis, Michael Pradel University of Stuttgart
11:15 15m Talk		Evaluating Agent-based Program Repair at Google ICSE SE In Practice (SEIP) Patrick Rondon Google, Renyao Wei Google, José Pablo Cambronero Google, USA, Jürgen Cito TU Wien, Aaron Sun Google, Siddhant Sanyam Google, Michele Tufano Google, Satish Chandra Google, Inc
11:30 15m Talk		Anomaly Detection in Large-Scale Cloud Systems: An Industry Case and Dataset ICSE SE In Practice (SEIP) Mohammad Saiful Islam Toronto Metropolitan University, Toronto, Canada, Mohamed Sami Rakha Toronto Metropolitan University, Toronto, Canada, William Pourmajidi Toronto Metropolitan University, Toronto, Canada, Janakan Sivaloganathan Toronto Metropolitan University, Toronto, Canada, John Steinbacher IBM, Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University) Pre-print
11:45 15m Talk		Crash Report Prioritization for Large-Scale Scheduled Launches ICSE SE In Practice (SEIP) Nimmi Rashinika Weeraddana University of Waterloo, Sarra Habchi Ubisoft Montréal, Shane McIntosh University of Waterloo
12:00 15m Talk		LogLM: From Task-based to Instruction-based Automated Log Analysis ICSE SE In Practice (SEIP) Yilun Liu Huawei co. LTD, Yuhe Ji Huawei co. LTD, Shimin Tao University of Science and Technology of China; Huawei co. LTD, Minggui He Huawei co. LTD, Weibin Meng Huawei co. LTD, Shenglin Zhang Nankai University, Yongqian Sun Nankai University, Yuming Xie Huawei co. LTD, Boxing Chen Huawei Canada, Hao Yang Huawei co. LTD Pre-print
12:15 7m Talk		Using ML filters to help automated vulnerability repairs: when it helps and when it doesn’t ICSE New Ideas and Emerging Results (NIER) Maria Camporese University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam

14:00 - 15:30	AI for Analysis 5ICSE Research Track / ICSE New Ideas and Emerging Results (NIER) at 212

14:00 15m Talk		3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers ICSE Research Track Sarah Fakhoury Microsoft Research, Markus Kuppe Microsoft Research, Shuvendu K. Lahiri Microsoft Research, Tahina Ramananandro Microsoft Research, Nikhil Swamy Microsoft Research
14:15 15m Talk		Aligning the Objective of LLM-based Program Repair ICSE Research Track Junjielong Xu The Chinese University of Hong Kong, Shenzhen, Ying Fu Chongqing University, Shin Hwei Tan Concordia University, Pinjia He Chinese University of Hong Kong, Shenzhen Pre-print
14:30 15m Talk		Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models ICSE Research Track Aidan Z.H. Yang Carnegie Mellon University, Sophia Kolak Carnegie Mellon University, Vincent J. Hellendoorn Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Claire Le Goues Carnegie Mellon University
14:45 15m Talk		The Fact Selection Problem in LLM-Based Program Repair ICSE Research Track Nikhil Parasaram Uber Amsterdam, Huijie Yan University College London, Boyu Yang University College London, Zineb Flahy University College London, Abriele Qudsi University College London, Damian Ziaber University College London, Earl T. Barr University College London, Sergey Mechtaev Peking University
15:00 15m Talk		Towards Understanding the Characteristics of Code Generation Errors Made by Large Language Models ICSE Research Track Zhijie Wang University of Alberta, Zijie Zhou University of Illinois Urbana-Champaign, Da Song University of Alberta, Yuheng Huang University of Alberta, Canada, Shengmai Chen Purdue University, Lei Ma The University of Tokyo & University of Alberta, Tianyi Zhang Purdue University Pre-print
15:15 15m Talk		Beyond Syntax: How Do LLMs Understand Code? ICSE New Ideas and Emerging Results (NIER) Marc North Durham University, Amir Atapour-Abarghouei Durham University, Nelly Bencomo Durham University

16:00 - 17:30	AI for ProcessICSE SE In Practice (SEIP) / ICSE Demonstrations / ICSE New Ideas and Emerging Results (NIER) at 212

16:00 15m Talk		OptCD: Optimizing Continuous Development ICSE Demonstrations Talank Baral George Mason University, Emirhan Oğul Middle East Technical University, Shanto Rahman The University of Texas at Austin, August Shi The University of Texas at Austin, Wing Lam George Mason University
16:15 15m Talk		LLMs as Evaluators: A Novel Approach to Commit Message Quality Assessment ICSE New Ideas and Emerging Results (NIER) Abhishek Kumar Indian Institute of Technology, Kharagpur, Sandhya Sankar Indian Institute of Technology, Kharagpur, Sonia Haiduc Florida State University, Partha Pratim Das Indian Institute of Technology, Kharagpur, Partha Pratim Chakrabarti Indian Institute of Technology, Kharagpur
16:30 15m Talk		Towards Realistic Evaluation of Commit Message Generation by Matching Online and Offline Settings ICSE SE In Practice (SEIP) Petr Tsvetkov JetBrains Research, Aleksandra Eliseeva JetBrains Research, Danny Dig University of Colorado Boulder, JetBrains Research, Alexander Bezzubov JetBrains, Yaroslav Golubev JetBrains Research, Timofey Bryksin JetBrains Research, Yaroslav Zharov JetBrains Research Pre-print
16:45 15m Talk		Enhancing Differential Testing: LLM-Powered Automation in Release Engineering ICSE SE In Practice (SEIP) Ajay Krishna Vajjala George Mason University, Arun Krishna Vajjala George Mason University, Carmen Badea Microsoft Research, Christian Bird Microsoft Research, Robert DeLine Microsoft Research, Jason Entenmann Microsoft Research, Nicole Forsgren Microsoft Research, Aliaksandr Hramadski Microsoft, Sandeepan Sanyal Microsoft, Oleg Surmachev Microsoft, Thomas Zimmermann University of California, Irvine, Haris Mohammad Microsoft, Jade D'Souza Microsoft, Mikhail Demyanyuk Microsoft
17:00 15m Talk		How much does AI impact development speed? An enterprise-based randomized controlled trial ICSE SE In Practice (SEIP) Elise Paradis Google, Inc, Kate Grey Google, Quinn Madison Google, Daye Nam Google, Andrew Macvean Google, Inc., Nan Zhang Google, Ben Ferrari-Church Google, Satish Chandra Google, Inc
17:15 15m Talk		Using Reinforcement Learning to Sustain the Performance of Version Control Repositories ICSE New Ideas and Emerging Results (NIER) Shane McIntosh University of Waterloo, Luca Milanesio GerritForge Inc., Antonio Barone GerritForge Inc., Jacek Centkowski GerritForge Inc., Marcin Czech GerritForge Inc., Fabio Ponciroli GerritForge Inc.

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) 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
212	Multi-Discip. Requirements Engineering Session 1																								Multi-Discip. Requirements Engineering Session 2: Requirements and Norms																																				Multi-Discip. Requirements Engineering Session 3: Multidisciplinary RE																								Multi-Discip. Requirements Engineering Session 4: Requirements, AI, and testing

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) 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
212	CAIN Research and Experience Papers																								CAIN Research and Experience Papers																																				CAIN Research and Experience Papers																								CAIN Research and Experience Papers

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) 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
212	ICSE Doctoral Symposium Session 1: Security & Miscellaneous (talks and panel)																								ICSE Doctoral Symposium Session 2: Human aspects (talks and panel)																																				ICSE Doctoral Symposium Session 3: Maintenance (talks and panel)																								ICSE Doctoral Symposium Session 4: Testing (talks and panel)

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
212	ICSE Research Track AI for Analysis 1																																																												ICSE Research Track + ICSE Journal-first Papers AI for Analysis 2

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
212	ICSE SE In Practice (SEIP) + ICSE Research Track AI for Analysis 3																																				ICSE Research Track + ICSE Journal-first Papers Analysis 3

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
212	ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) + ICSE SE In Practice (SEIP) AI for Analysis 4																																				ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) AI for Analysis 5																								ICSE SE In Practice (SEIP) + ICSE Demonstrations + ICSE New Ideas and Emerging Results (NIER) AI for Process

Sat 3 May
Displayed time zone: Eastern Time (US & Canada) 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
212	RAISE																								RAISE																																				RAISE																								RAISE

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			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
212	MO2RE Welcome from the organizers 09:00 - 09:10		MO2RE A History of RE as Seen by a Still-Active Alter Kaker Who Was in It Fro ... 09:10 - 10:10												MO2RE Group activity (part 1) 10:10 - 10:30										MO2RE Untangling Shared Phenomena for Improving Analysis of Normative Require ... 11:00 - 11:45									MO2RE A Taxonomy of Real-World Defeaters in Safety Assurance Cases 11:45 - 12:30																											MO2RE Building REsilience: Antifragility through Multidisciplinarity in Requi ... 14:00 - 15:00												MO2RE Group activity (part 2) 15:00 - 15:30												MO2RE Exploring Large Language Models for Requirements on String Values 16:00 - 16:30						MO2RE On the Automated Generation of UI for Template-based Requirements Speci ... 16:30 - 17:00						MO2RE Wrap up and closing 17:00 - 17:30

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			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
212	ICSE Doctoral Symposium Opening of the Doctoral Symposium 09:00 - 09:05	ICSE Doctoral Symposium Advancing Secure and Standard Source Code Generation Techniques 09:05 - 09:11	ICSE Doctoral Symposium Towards Secure and Interactive Smart Contract Code from Formal SYMBOLEO ... 09:11 - 09:17	ICSE Doctoral Symposium Empirically-Informed Approaches to Shift Vulnerability Detection to the ... 09:17 - 09:23		ICSE Doctoral Symposium A BizDevOps-Aligned Framework for Integrating Security Practices in Agi ... 09:23 - 09:29	ICSE Doctoral Symposium Towards Configuration-Aware Performance Modeling 09:29 - 09:35	ICSE Doctoral Symposium Panel: Security 09:35 - 10:05																	ICSE Doctoral Symposium Decoding Diversity: Understanding its Impact on Team Performance in Sof ... 11:00 - 11:06	ICSE Doctoral Symposium Diverse Participation and Newcomer Risk Perception in Open Source Softw ... 11:06 - 11:12	ICSE Doctoral Symposium A Framework for Supporting Transparency in Software Ecosystems Portals ... 11:12 - 11:18		ICSE Doctoral Symposium Studying and Improving Code Understandability through Atoms of Confusion 11:18 - 11:24	ICSE Doctoral Symposium Understanding and Improving Code Review of Changes in Build Systems 11:24 - 11:30	ICSE Doctoral Symposium Panel: Human aspects 11:30 - 12:00																														ICSE Doctoral Symposium Concern-based Management of Software Design Complexity 14:00 - 14:06	ICSE Doctoral Symposium Mitigating Waste That Tacitly Accrues in Continuous Integration Pipelines 14:06 - 14:12	ICSE Doctoral Symposium Automated Detection and Refactoring of Mock Clones in Java Projects 14:12 - 14:18		ICSE Doctoral Symposium Practical Preprocessing of Logs at Scale 14:18 - 14:24	ICSE Doctoral Symposium Bridging the Gap Between Log Parsing Techniques and Practitioners: Chal ... 14:24 - 14:30	ICSE Doctoral Symposium Panel: Maintenance 14:30 - 15:00																		ICSE Doctoral Symposium TestifAI: Probabilistic Context-Aware Testing For Safe Deep Learning Models 16:00 - 16:06	ICSE Doctoral Symposium Foundation Models for Automatic Issue Labeling 16:06 - 16:12	ICSE Doctoral Symposium Automatically Generating Single-Responsibility Unit Tests 16:12 - 16:18		ICSE Doctoral Symposium Automatic Test Case Generation for Smart Human-Centric Ecosystems 16:18 - 16:24	ICSE Doctoral Symposium A Framework for On the Fly Input Refinement for Deep Learning Models 16:24 - 16:30	ICSE Doctoral Symposium Panel: Testing 16:30 - 17:00

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) 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
212	ICSE Research Track A Multiple Representation Transformer with Optimized Abstract Syntax Tr ... 11:00 - 11:15			ICSE Research Track Can an LLM find its way around a Spreadsheet? 11:15 - 11:30			ICSE Research Track QEDCartographer: Automating Formal Verification Using Reward-Free Reinf ... 11:30 - 11:45			ICSE Research Track TIGER: A Generating-Then-Ranking Framework for Practical Python Type In ... 11:45 - 12:00			ICSE Research Track ROCODE: Integrating Backtracking Mechanism and Program Analysis in Larg ... 12:00 - 12:15			ICSE Research TrackAward Winner Rango: Adaptive Retrieval-Augmented Proving for Automated Software Veri ... 12:15 - 12:30																																													ICSE Research Track Neurosymbolic Modular Refinement Type Inference 16:00 - 16:15			ICSE Research Track An Empirical Study on Automatically Detecting AI-Generated Source Code: ... 16:15 - 16:30			ICSE Research Track Planning a Large Language Model for Static Detection of Runtime Errors ... 16:30 - 16:45			ICSE Research Track LLMs Meet Library Evolution: Evaluating Deprecated API Usage in LLM-bas ... 16:45 - 17:00			ICSE Research Track Knowledge-Enhanced Program Repair for Data Science Code 17:00 - 17:15			ICSE Journal-first Papers SparseCoder: Advancing Source Code Analysis with Sparse Attention and L ... 17:15 - 17:22

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) 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
212	ICSE Research Track COCA: Generative Root Cause Analysis for Distributed Systems with Code ... 11:00 - 11:15			ICSE Research Track Enhancing Code Generation via Bidirectional Comment-Level Mutual Grounding 11:15 - 11:30			ICSE Research Track HumanEvo: An Evolution-aware Benchmark for More Realistic Evaluation of ... 11:30 - 11:45			ICSE SE In Practice (SEIP) SEMANTIC CODE FINDER: An Efficient Semantic Search Framework for Large- ... 11:45 - 12:00			ICSE SE In Practice (SEIP) Time to Retrain? Detecting Concept Drifts in Machine Learning Systems 12:00 - 12:15			ICSE SE In Practice (SEIP) UML Sequence Diagram Generation: A Multi-Model, Multi-Domain Evaluation 12:15 - 12:30																					ICSE Research Track Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Su ... 14:00 - 14:15			ICSE Research Track Dockerfile Flakiness: Characterization and Repair 14:15 - 14:30			ICSE Research Track Evaluating Garbage Collection Performance Across Managed Language Runtimes 14:30 - 14:45			ICSE Research Track Module-Aware Context Sensitive Pointer Analysis 14:45 - 15:00			ICSE Journal-first Papers SUPERSONIC: Learning to Generate Source Code Optimizations in C/C++ 15:00 - 15:15			ICSE Journal-first Papers T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexic ... 15:15 - 15:30

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) 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
212	ICSE Research Track RepairAgent: An Autonomous, LLM-Based Agent for Program Repair 11:00 - 11:15			ICSE SE In Practice (SEIP) Evaluating Agent-based Program Repair at Google 11:15 - 11:30			ICSE SE In Practice (SEIP) Anomaly Detection in Large-Scale Cloud Systems: An Industry Case and Da ... 11:30 - 11:45			ICSE SE In Practice (SEIP) Crash Report Prioritization for Large-Scale Scheduled Launches 11:45 - 12:00			ICSE SE In Practice (SEIP) LogLM: From Task-based to Instruction-based Automated Log Analysis 12:00 - 12:15			ICSE New Ideas and Emerging Results (NIER) Using ML filters to help automated vulnerability repairs: when it helps ... 12:15 - 12:22																					ICSE Research Track 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers 14:00 - 14:15			ICSE Research Track Aligning the Objective of LLM-based Program Repair 14:15 - 14:30			ICSE Research Track Revisiting Unnaturalness for Automated Program Repair in the Era of Lar ... 14:30 - 14:45			ICSE Research Track The Fact Selection Problem in LLM-Based Program Repair 14:45 - 15:00			ICSE Research Track Towards Understanding the Characteristics of Code Generation Errors Mad ... 15:00 - 15:15			ICSE New Ideas and Emerging Results (NIER) Beyond Syntax: How Do LLMs Understand Code? 15:15 - 15:30									ICSE Demonstrations OptCD: Optimizing Continuous Development 16:00 - 16:15			ICSE New Ideas and Emerging Results (NIER) LLMs as Evaluators: A Novel Approach to Commit Message Quality Assessment 16:15 - 16:30			ICSE SE In Practice (SEIP) Towards Realistic Evaluation of Commit Message Generation by Matching O ... 16:30 - 16:45			ICSE SE In Practice (SEIP) Enhancing Differential Testing: LLM-Powered Automation in Release Engin ... 16:45 - 17:00			ICSE SE In Practice (SEIP) How much does AI impact development speed? An enterprise-based randomiz ... 17:00 - 17:15			ICSE New Ideas and Emerging Results (NIER) Using Reinforcement Learning to Sustain the Performance of Version Cont ... 17:15 - 17:30

Room information: 212

This program is tentative and subject to change.

Program Display Configuration

Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change

Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change

Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change

Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change

Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change

Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change

Multi-Discip. Requirements Engineering

Multi-Discip. Requirements Engineering

Multi-Discip. Requirements Engineering

Multi-Discip. Requirements Engineering

Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change

CAIN Research and Experience Papers

CAIN Research and Experience Papers

CAIN Research and Experience Papers

CAIN Research and Experience Papers

Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change

ICSE Doctoral Symposium

ICSE Doctoral Symposium

ICSE Doctoral Symposium

ICSE Doctoral Symposium

Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change

ICSE Research Track

ICSE Research Track + ICSE Journal-first Papers

Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change

ICSE SE In Practice (SEIP) + ICSE Research Track

ICSE Research Track + ICSE Journal-first Papers

Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change

ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) + ICSE SE In Practice (SEIP)

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

ICSE SE In Practice (SEIP) + ICSE Demonstrations + ICSE New Ideas and Emerging Results (NIER)

Sat 3 MayDisplayed time zone: Eastern Time (US & Canada) change

RAISE

RAISE

RAISE

RAISE

Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change

Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change

Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change

Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change

Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

Sat 3 May
Displayed time zone: Eastern Time (US & Canada) change

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change