20:30 - 21:00

Saturday Photo-op at Ottawa Sign at 6 York StSocial, Networking and Special Rooms
at Ottawa Sign for Illumination Celebration 6 York St
At 8:30 p.m. on Sat April 26th, Sun April 27th and and Mon April 28th, come to 6
York St in the Byward Market, where the Ottawa sign will be illuminated in ICSE
2025 colours. Come and have your photo taken.

We intend to have a couple of student volunteers there who can help take photos,
and will also have the ICSE logo.

20:3030m
Social Event
Photo-op Sat
Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change
07:00 - 19:00
Ready Room SundaySocial, Networking and Special Rooms at 209
The Ready Room will be available throughout the week. There will be some tables
with computers where people can edit presentations (bring on a USB stick) and
upload presentations to the presentation rooms through the Contact 1 website. There
will also be AV technicians to help if needed.

You do not need to use the Ready Room: You have several choices: You can upload
your presentation from your own computer in advance of your session (days in
advance even) at the Contact 1 website (you will be sent a link). Or you can plug
your computer in using an HDMI cable when you are starting your presentation. This
last option is available but not recommended, since it increases the chance of
delays.

There will be some tables and couches in the Ready Room where you can get work
done, or have small get-togethers with people.

This room will not be ‘quiet’. If you want a quiet place to work or chill out
(library quiet, no talking) then Room 209 will be available much of the time.

The Ready Room will also have some poster boards.

07:00 - 22:00
Prayer Room 2A SundaySocial, Networking and Special Rooms at 2A Prayer Room
This room will be available all week for people to silently pray the entire week.
Please no device use except to help with prayer. All religions welcome

08:00 - 17:30
Registration Sunday Starting at 8 a.m.Social, Networking and Special Rooms at 2nd
Floor Rideau Canal Atrium
08:006h
Registration
Registration Sunday
09:00 - 12:30
Child Care Sunday AMSocial, Networking and Special Rooms at 102 Child Care
Child Care at ICSE is free, but you must have registered for child care when you
registered for the conference.

If you need to add child care to your registration, please contact the registration
desk.

09:00 - 10:30
KeynoteTechDebt Technical Papers at 103
Chair(s): Maria Teresa Baldassarre Department of Computer Science, University of
Bari
09:0090m
Talk
Towards an Interpretable Science of Deep Learning for Engineering Quality Software:
A Causal Inference View
Denys Poshyvanyk William & Mary
09:00 - 10:30
KeynoteDesigning at 201
Chair(s): Andre van der Hoek University of California, Irvine
09:0010m
Day opening
Opening
09:1060m
Keynote
When the Design is Right
Rob van Ommering
09:00 - 10:30
Morning Session 1GI at 202
Chair(s): Aymeric Blot University of Rennes, IRISA / INRIA, Justyna Petke
University College London
09:0015m
Day opening
Welcome and Introductions
Aymeric Blot University of Rennes, IRISA / INRIA, Vesna Nowack Imperial College
London, Oliver Krauss University of Applied Sciences Upper Austria, Penn Rainford
University of York, UK
09:1575m
Keynote
Put on Your Tester Hat: Improving programs for Automated Program Generation
Shin Hwei Tan Concordia University
09:00 - 10:30
Invited Speaker 1FormaliSE Research Track at 203
Chair(s): Gwen Salaün University of Grenoble Alpes
09:0090m
Keynote
Assuring AI in Autonomous Driving: Challenges and Emerging Approaches
K: Krzysztof Czarnecki University of Waterloo, Canada
09:00 - 10:30
Session 1: Keynote talkICSR at 204
Chair(s): Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of
Namur
09:0090m
Keynote
AI-assisted Development — Next-Generation Software Reuse?
Tommi Mikkonen University of Jyväskylä
09:00 - 10:30
App ComprehensionICPC Research Track / / at 205
Chair(s): Coen De Roover Vrije Universiteit Brussel, Gema Rodríguez-Pérez
University of British Columbia (UBC)
09:0015m
Day opening
Welcome by the Chairs
ICPC Opening
I: Michael W. Godfrey University of Waterloo, Canada
09:1550m
Keynote
Theories of Program Comprehension in the Age of LLMs
ICPC Keynotes
K: Thomas LaToza George Mason University
10:0510m
Talk
Combining Language and App UI Analysis for the Automated Assessment of Bug
Reproduction Steps
ICPC Research Track
Junayed Mahmud University of Central Florida, Antu Saha William & Mary, Oscar
Chaparro William & Mary, Kevin Moran University of Central Florida, Andrian Marcus
George Mason University
Pre-print
10:1510m
Talk
Characterizing Bugs in Login Processes of Android Applications: An Empirical Study
ICPC Research Track
Zixu Zhou McGill University, Rufeng Chen McGill University, Junfeng Chen Southern
University of Science and Technology, Yepang Liu Southern University of Science and
Technology, Lili Wei McGill University
Pre-print
10:255m
Live Q&A
Session's Discussion: "App Comprehension"
ICPC Research Track

09:00 - 10:30
KeynoteFTW at 206
09:0090m
Keynote
Keynote
Michael Hilton Carnegie Mellon University
09:00 - 10:30
FORGE2025 Opening / KeynoteFORGE Keynotes at 207
Chair(s): David Lo Singapore Management University, Denys Poshyvanyk William & Mary
09:0010m
Day opening
Introduction from The Chairs
Xin Xia Huawei, David Lo Singapore Management University, Cuiyun Gao Harbin
Institute of Technology, Denys Poshyvanyk William & Mary
09:1060m
Keynote
Keynote: LLMs (for code) are often wrong. What to do?
Prem Devanbu University of California at Davis
09:00 - 10:30
Opening / Keynote 1CAIN Research and Experience Papers at 208
Chair(s): Grace Lewis Carnegie Mellon Software Engineering Institute
Add Session Information
09:0030m
Day opening
Opening
09:3060m
Keynote
Is Prompt Engineering?
Jeremy Barnes ServiceNow
09:00 - 10:30
Day 1 Opening / Human Aspects and Machine Learning SessionCHASE Research Track at
210
Chair(s): Rashina Hoda Monash University, Ronnie de Souza Santos University of
Calgary, Bianca Trinkenreich Colorado State University, Giuseppe Destefanis Brunel
University London
09:0030m
Talk
Day 1 Opening
Rashina Hoda Monash University, Ronnie de Souza Santos University of Calgary,
Bianca Trinkenreich Colorado State University
09:3015m
Talk
Unpacking Organizational Change in AI Transformations of Software Engineering
Theocharis Tavantzis Gothenburg University, Robert Feldt Chalmers | University of
Gothenburg
Pre-print
09:4515m
Talk
Human and Machine: How Software Engineers Perceive and Engage with AI-Assisted Code
Reviews Compared to Their Peers
Adam Alami University of Southern Denmark, Neil Ernst University of Victoria
Pre-print
10:0015m
Talk
Will You Trust Me More Than ChatGPT? Evaluating LLM-Generated Code Feedback for
Mock Technical Interviews
Swanand Vaishampayan Virginia Tech, Chris Brown Virginia Tech
10:1515m
Talk
Human-Machine Teaming and Team Effectiveness in AI tools for Software Engineering
Irum Rauf The Open University, UK, Helen Sharp The Open University, Tamara Lopez
The Open University, Michel Wermelinger The Open University
09:00 - 10:30
Session 1MOBILESoft Research Track / MOBILESoft App Track at 211
09:0030m
Day opening
Introduction
MOBILESoft Research Track
Luciano Baresi Politecnico di Milano, Jacques Klein University of Luxembourg, Li Li
Beihang University, Linghui Luo Amazon Web Services, Jordan Samhi University of
Luxembourg, Luxembourg
09:3060m
Keynote
Keynote: Mobile Application Testing with Large Language Models: Landscape and
Vision
MOBILESoft Research Track
Chunyang Chen TU Munich
09:00 - 10:30
Session 1MO2RE at 212
09:0010m
Day opening
Welcome from the organizers
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:1060m
Keynote
A History of RE as Seen by a Still-Active Alter Kaker Who Was in It From Before the
Beginning
Dan Berry University of Waterloo
10:1020m
Panel
Activity (part 1)
09:00 - 10:30
Opening and KeynoteBotSE at 213
Chair(s): Ahmad Abdellatif University of Calgary, Emad Shihab Concordia University
Ahmad Abdellatif and Emad Shihab

09:0015m
Day opening
Opening
10:0015m
Keynote
Beyond Automation: Building Bots That Actually Help
Suhaib Mujahid Mozilla
09:00 - 10:30
OpeningNLBSE at 214
Chair(s): Maliheh Izadi Delft University of Technology, Sebastiano Panichella
University of Bern
09:1515m
Day opening
Opening
Maliheh Izadi Delft University of Technology, Sebastiano Panichella University of
Bern
09:3060m
Keynote
Breaking the Silence: the Threats of Using LLMs in Software Engineering
June Sallou Wageningen University & Research, Annibale Panichella Delft University
of Technology
09:00 - 10:30
Welcoming + Information models sessionSERP4IoT at 215
Chair(s): Rodrigo Morales Concordia University
09:0020m
Day opening
Opening
09:2025m
Talk
An Interoperable Ontology-based Information Model for Better Integration of
Building Physics and IoT Data Analytics Models
Jose Manuel Broto CIMNE, Jordi Cipriano CIMNE, Gerard Mor CIMNE, Oriol Gavalda
Concordia University, Shahin Masoumi-Verki Concordia University, Ursula Eicker
Concordia University
09:4525m
Talk
A Conceptual Model for Trustworthiness in Intelligent IoT Systems
Romina Spalazzese Malmö University, Martina De Sanctis Gran Sasso Science
Institute, Andreas Jacobsson Malmö University, Fahed Alkhabbas Malmo University,
Paul Davidsson Malmö University
10:1020m
Talk
Recommending Pre-Trained Models for IoT Devices
Parth Vinod Patil Purdue University, Wenxin Jiang Purdue University, Huiyun Peng
Purdue University, Daniel Lugo Purdue University, Kelechi G. Kalu Purdue
University, Josh LeBlanc Purdue University, Lawrence Smith Purdue University,
Hyeonwoo Heo Purdue University, Nathanael Aou Purdue University, James C. Davis
Purdue University
Pre-print
10:30 - 11:00
TechDebt PostersTechDebt Technical Papers at 209 Poster Area
10:3030m
Product announcement
ACE: Automated Technical Debt Remediation with Validated Large Language Model
Refactorings
Adam Tornhill Empear AB, Markus Borg CodeScene
10:3030m
Paper
Experiences with Technical Debt and its Root Causes in a Merged Industrial Company
Magnus Drewsen Jørgensen , Nina Wiborg Mølgaard Mjølner Informatics, Morten
Jokumsen Mjølner Informatics, Jens Bæk Jørgensen Mjølner Informatics, Henrik Bærbak
Christensen
File Attached
10:30 - 11:00
Poster Session-1SERP4IoT at Canada Hall 3 Poster Area
10:3030m
Poster
Enhancing Healthcare with Digital Twins: A Comparative Approach Using AI and AI-
Enhanced Digital Twins
Hamid Mcheick Full Professor, Pamela Achouh Master
10:3030m
Poster
Table Talk, Exploring Low Code for IoT Applications
David Thomas Bederra Corp., Will Samadi Bederra Corporation
10:30 - 11:00
BreakCatering at Canada Hall 3 plus Foyer
10:3030m
Coffee break
Sunday Morning Break
11:00 - 12:30
Research PapersTechDebt Technical Papers at 103
Chair(s): Daniel Feitosa University of Groningen
11:0030m
Research paper
Aligning Data Debt with AI-Integrated Software Project Lifecycle Processes: A
Standard-Based Mapping Approach
Nilay Yorgancılar Akgül HAVELSAN, Middle East Technical University, Tugba Taskaya
Temizel Middle East Technical University, Özden Özcan Top Middle East Technical
University, Pelin Dayan Akman Middle East Technical University
11:3030m
Research paper
Automating Technical Debt Management: Insights from Practitioner Discussions in
Stack Exchange
João Paulo Biazotto University of Groningen and University of São Paulo, Daniel
Feitosa University of Groningen, Paris Avgeriou Univ. of Gronningen , Elisa Yumi
Nakagawa University of São Paulo
Pre-print
12:0010m
Paper
Experiences with Technical Debt and its Root Causes in a Merged Industrial Company
Magnus Drewsen Jørgensen , Nina Wiborg Mølgaard Mjølner Informatics, Morten
Jokumsen Mjølner Informatics, Jens Bæk Jørgensen Mjølner Informatics, Henrik Bærbak
Christensen
File Attached
12:1010m
Product announcement
ACE: Automated Technical Debt Remediation with Validated Large Language Model
Refactorings
Adam Tornhill Empear AB, Markus Borg CodeScene
12:2010m
Talk
Lighting Talk: Evidence is All We Need: Do Self-Admitted Technical Debts Impact
Method-Level Maintenance?
Shaiful Chowdhury University of Manitoba, Hisham Kidwai University of Manitoba,
Muhammad Asaduzzaman University of Windsor
11:00 - 12:30
Paper Session #1Designing at 201
Chair(s): Eunsuk Kang Carnegie Mellon University
11:0018m
Talk
What is new when talking about sustainable software architectures?
Elisa Yumi Nakagawa University of São Paulo, Rick Kazman University of Hawai‘i at
Mānoa
11:1818m
Talk
Documenting and Communicating Design Decisions
Steven D. Fraser Innoxec, Dennis Mancl MSWX Software Experts
11:3618m
Talk
Integrating User Experience Design and Agile Software Development Processes
Fayaz Suleman University of North Carolina at Charlotte, David Wilson University of
North Carolina at Charlotte
11:5418m
Talk
Assessing Compliance of Software System Designs to Laws, Regulations, and their
Underlying Values
Agnieszka Marczak-Czajka University of Notre Dame, Katherine R. Dearstyne
University of Notre Dame, Jane Cleland-Huang University of Notre Dame
11:00 - 12:30
Morning Session 2GI at 202
Chair(s): William Langdon University College London, Vesna Nowack Imperial College
London
11:0030m
Talk
Large Language Model based Code Completion is an Effective Genetic Improvement
Mutation
Jingyuan Wang University College London, Carol Hanna University College London,
Justyna Petke University College London
11:3030m
Talk
Enhancing Software Runtime with Reinforcement Learning-Driven Mutation Operator
Selection in Genetic Improvement
Damien Bose University College London, Carol Hanna University College London,
Justyna Petke University College London
12:0030m
Talk
Empirical Comparison of Runtime Improvement Approaches: Genetic Improvement,
Parameter Tuning, and Their Combination
Thanatad Songpetchmongkol University College London, Aymeric Blot University of
Rennes, IRISA / INRIA, Justyna Petke University College London
11:00 - 12:30
Session 1 - Formal Methods and Autonomous Systems FormaliSE Research Trackat 203
Chair(s): Divya Gopinath NASA Ames (KBR Inc.)
11:0030m
Talk
CPS Falsification using Autoencoded Input Models
Youssef Zahar University of Minnesota, Sanjai Rayadurgam University of Minnesota
11:3030m
Talk
Modeling Language for Scenario Development of Autonomous Driving Systems
Toshiaki Aoki JAIST, Takashi Tomita JAIST, Tatsuji Kawai Kochi University, Daisuke
Kawakami Mitsubishi Electric Corporation, Nobuo Chida Mitsubishi Electric
Corporation
12:0030m
Talk
Robustness Verification of Video Classification Neural Networks
Samuel Sasaki Vanderbilt University, Preston K. Robinette Vanderbilt University,
Diego Manzanas Lopez Vanderbilt University, Taylor T Johnson Vanderbilt University
11:00 - 12:30
Session 2: Software Product Line, Patterns and FrameworksICSR at 204
Chair(s): Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of
Namur
11:0030m
Paper
A Framework for Reusable Infrastructure as Code Templates in Cloud-Native
Environments
Haoran Wei University of Western Ontario, Nazim Madhavji Western University, John
Steinbacher IBM
File Attached
11:3030m
Paper
Large Language Model assisted Transformation of Software Variants into a Software
Product Line
Johannes Stümpfle University of Stuttgart, Devansh Atray University of Stuttgart,
Nasser Jazdi University of Stuttgart, Michael Weyrich Universiy of Stuttgart
File Attached
12:0030m
Paper
Exploiting Vision-Language Models in GUI Reuse
Victoria Niu Walnut Hills High School, USA, Walaa Alshammari University of
Cincinnati, USA, Naga Mamata Iluru University of Cincinnati, USA, Padmaja Vaishnavi
Teeleti University of Cincinnati, USA, Nan Niu University of Cincinnati, Tanmay
Bhowmik Mississippi State University, Jianzhang Zhang Hangzhou Normal University,
China
Pre-print
11:00 - 12:30
Vulnerabilities, Technical Debt, DefectsICPC Early Research Achievements (ERA) /
ICPC Research Track / ICPC Replications and Negative Results (RENE) at 205
Chair(s): Anthony Peruma University of Hawai‘i at Mānoa, Coen De Roover Vrije
Universiteit Brussel, Gema Rodríguez-Pérez University of British Columbia (UBC)
11:0010m
Talk
CalmDroid: Core-Set Based Active Learning for Multi-Label Android Malware Detection
ICPC Research Track
Minhong Dong Tiangong University, Liyuan Liu Tiangong University, Mengting Zhang
Tiangong University, Sen Chen Nankai University, Wenying He Hebei University of
Technology, Ze Wang Tiangong University, Yude Bai Tianjin University
11:1010m
Talk
Towards Task-Harmonious Vulnerability Assessment based on LLM
ICPC Research Track
Zaixing Zhang Southeast University, Chang Jianming , Tianyuan Hu Southeast
University, Lulu Wang Southeast University, Bixin Li Southeast University
11:2010m
Talk
Slicing-Based Approach for Detecting and Patching Vulnerable Code Clones
ICPC Research Track
Hakam W. Alomari Miami University, Christopher Vendome Miami University, Himal
Gyawali Miami University
Pre-print
11:306m
Talk
Revisiting Security Practices for GitHub Actions Workflows
ICPC Early Research Achievements (ERA)
Jiangnan Huang Radboud University, Bin Lin Hangzhou Dianzi University
11:366m
Talk
Leveraging multi-task learning to improve the detection of SATD and vulnerability
ICPC Replications and Negative Results (RENE)
Barbara Russo Free University of Bolzano, Jorge Melegati Free University of Bozen-
Bolzano, Moritz Mock Free University of Bozen-Bolzano
Pre-print
11:4210m
Talk
Leveraging Context Information for Self-Admitted Technical Debt Detection
ICPC Research Track
Miki Yonekura Nara Institute of Science and Technology, Yutaro Kashiwa Nara
Institute of Science and Technology, Bin Lin Hangzhou Dianzi University, Kenji
Fujiwara Nara Women’s University, Hajimu Iida Nara Institute of Science and
Technology
11:526m
Talk
Personalized Code Readability Assessment: Are We There Yet?
ICPC Replications and Negative Results (RENE)
Antonio Vitale Politecnico di Torino, University of Molise, Emanuela Guglielmi
University of Molise, Rocco Oliveto University of Molise, Simone Scalabrino
University of Molise
11:586m
Talk
Automated Refactoring of Non-Idiomatic Python Code: A Differentiated Replication
with LLMs
ICPC Replications and Negative Results (RENE)
Alessandro Midolo University of Sannio, Italy, Massimiliano Di Penta University of
Sannio, Italy
Pre-print
12:0410m
Research paper
Sonar: Detecting Logic Bugs in DBMS through Generating Semantic-aware Non-
Optimizing Query
ICPC Research Track
Shiyang Ye Zhejiang University, Chao Ni Zhejiang University, Jue Wang Nanjing
University, Qianqian Pang zhejang university, Xinrui Li School of Software
Technology, Zhejiang University, xiaodanxu College of Computer Science and
Technology, Zhejiang university
12:146m
Talk
A Study on Applying Large Language Models to Issue Classification
ICPC Replications and Negative Results (RENE)
Jueun Heo Gyeongsang National University, Seonah Lee Gyeongsang National University
12:2010m
Live Q&A
Session's Discussion: "Vulnerabilities, Technical Debt, Defects"
ICPC Research Track

11:00 - 12:30
Flakiness in Specific/Previously Neglected DomainsFTW at 206
11:0022m
Paper
A Preliminary Study of Fixed Flaky Tests in Rust Projects on GitHub
Tom Schroeder University of Illinois Urbana-Champaign, Minh Phan University of
Illinois Urbana-Champaign, Yang Chen University of Illinois at Urbana-Champaign
11:2222m
Talk
Beyond Test Flakiness: A Manifesto for a Holistic Approach to Test Suite Health
Phil McMinn University of Sheffield, Muhammad Firhard Roslan University of Bristol,
Gregory Kapfhammer Allegheny College
11:4522m
Paper
Empirically Evaluating Flaky Tests for Autonomous Driving Systems in Simulated
Environments
Olek Osikowicz University of Sheffield, UK, Phil McMinn University of Sheffield,
Donghwan Shin University of Sheffield
12:0722m
Panel
Mini Panel 1
11:00 - 12:30
FORGE2025 Panel / KeynoteFORGE Keynotes / at 207
Chair(s): Denys Poshyvanyk William & Mary
11:0060m
Keynote
Keynote: Trust No Bot? Forging Confidence in AI for Software Engineering
FORGE Keynotes
Thomas Zimmermann University of California, Irvine
12:0030m
Panel
Panel Discussion
FORGE Panel

11:00 - 12:30
Engineering AI systems with LLMsCAIN Research and Experience Papers at 208
Chair(s): Justus Bogner Vrije Universiteit Amsterdam
Add Session Information
11:0015m
Talk
Rule-Based Assessment of Reinforcement Learning Practices Using Large Language
ModelsDistinguished paper Award Candidate
Evangelos Ntentos University of Vienna, Stephen John Warnett University of Vienna,
Uwe Zdun University of Vienna
11:1510m
Talk
Designing and implementing LLM guardrails components in production environments
Mateus Devino IBM, Evaline Ju IBM, Paulo Marques Caldeira Junior IBM
11:2515m
Talk
Themes of Building LLM-based Applications for Production: A Practitioner's View
Alina Mailach Leipzig University, Sebastian Simon Leipzig University, Johannes Dorn
Leipzig University, Norbert Siegmund Leipzig University
Pre-print
11:4015m
Talk
InsightAI: Root Cause Analysis in Large Hierarchical Log Files with Private Data
Using Large Language Models
Maryam Ekhlasi Polytechnique Montreal, Anurag Prakash Ciena, Michel Dagenais
Polytechnique Montréal, Maxime Lamothe Polytechnique Montreal
11:5510m
Talk
Developing Multi-Agent LLM Applications through Continuous Human-LLM Co-Programming
Hui Song SINTEF Digital, Arda Goknil SINTEF Digital, Xiaojun Jiang Oslo University
Hospital, Espen Melum Oslo University Hospital, Hyunwhan Joe Seoul National
University, Caterina Gazzotti University of Modena, Valerio Frascolla Intel, Adela
Nedisan Videsjorden SINTEF, Phu Nguyen SINTEF
12:0525m
Other
Discussion
11:00 - 12:30
Software Teams (Agile, Teamwork and Collaboration) SessionCHASE Research Track at
210
Chair(s): Klaas-Jan Stol Lero; University College Cork; SINTEF Digital
11:0010m
Talk
Towards a Taxonomy for Autonomy in Large-Scale Agile Software Development
Casper Lassenius Aalto University, Finland and Simula Metropolitan Center for
Digital Engineering, Norway, Torgeir Dingsøyr Norwegian University of Science and
Technology and SimulaMet
Pre-print
11:1010m
Talk
Exploring Retrospective Meeting Practices and the Use of Data in Agile Teams
Alessandra Maciel Paz Milani University of Victoria, Margaret-Anne Storey
University of Victoria, Vivek Katial Multitudes, Lauren Peate Multitudes
Pre-print
11:2015m
Talk
The Role of the Retrospective Meetings in Detecting, Refactoring and Monitoring
Community Smells
Carlos Dantas Federal Institute of Rio Grande do Norte, Tiago Massoni Federal
University of Campina Grande, Camila Sarmento Federal Institute of Piauí, Rayana
Rocha Federal University of Campina Grande, Danielly Gualberto Federal University
of Campina Grande
Pre-print
11:3515m
Talk
Hybrid Work in Agile Software Development: Recurring Meetings
Emily Laue Christensen LUT University, Maria Paasivaara LUT University, Finland &
Aalto University, Finland, Iflaah Salman Lappeenranta-Lahti University of
Technology (LUT)
Pre-print
11:5015m
Talk
A Cluster-based Approach for Emotion Recognition in Software Development
Daniela Grassi University of Bari, Filippo Lanubile University of Bari, Alberta
Motca-Schnabel University of Bari, Nicole Novielli University of Bari
12:0515m
Talk
Towards Emotionally Intelligent Software Engineers: Understanding Students' Self
Perceptions After a Cooperative Learning Experience
Allysson Allex Araújo Federal University of Cariri, Marcos Kalinowski Pontifical
Catholic University of Rio de Janeiro (PUC-Rio), Matheus Paixao State University of
Ceará, Daniel Graziotin University of Hohenheim
Pre-print
11:00 - 12:30
Session 2: AI and Mobile ApplicationsMOBILESoft Research Track / MOBILESoft App
Track at 211
11:0030m
Talk
Talk 1: Precisely Extracting Complex Variable Values from Android Apps
MOBILESoft Research Track
Marc Miltenberger Fraunhofer SIT; ATHENE
11:3015m
Paper
SEESAW: An Educational App for Smart Kiosks
MOBILESoft App Track
Nearchos Paspallis University of Central Lancashire, Cyprus, Nicos Kasenides UCLan
Cyprus, Natalie Evans Amsterdam UMC location Vrije Universiteit
11:4515m
Research paper
LLMs in Mobile Apps: Practices, Challenges, and Opportunities
MOBILESoft Research Track
Kimberly Hau University of Toronto, Safwat Hassan University of Toronto, Shurui
Zhou University of Toronto
12:0015m
Research paper
AccessiblePreview: Facilitating the Implementation and Visualization of
Accessibility in Mobile Applications Developed with SwiftUI
MOBILESoft Research Track
Samuel Brasileiro dos Santos Neto Universidade Federal do Pernambuco, Kiev Gama
Universidade Federal de Pernambuco
12:1515m
Research paper
Breaking Barriers in Mobile Accessibility: A Study of LLM-Generated Native Android
Interfaces
MOBILESoft Research Track
Daniel Mesquita Federal University of Ceará, Ribamar Souza Federal University of
Ceará, Isaac Santos Federal University of Ceará, Paulo Henrique Federal University
of Ceará, Kiev Gama Universidade Federal de Pernambuco, Windson Viana Federal
University of Ceará
11:00 - 12:30
Session 2: Requirements and NormsMO2RE at 212
11:0030m
Talk
Untangling Shared Phenomena for Improving Analysis of Normative Requirements
Junwei Quan University of Toronto, Lina Marsso École Polytechnique de Montréal,
Dalal Alrajeh Imperial College London, Marsha Chechik University of Toronto
11:3030m
Talk
A Taxonomy of Real-World Defeaters in Safety Assurance Cases
Usman Gohar Dept. of Computer Science, Iowa State University, Michael Hunter Iowa
State University, Myra Cohen Iowa State University, Robyn Lutz Iowa State
University
12:0030m
Panel
Activity (part 2)
11:00 - 12:30
Session 1: Bots in Open Source and Development PracticesBotSE at 213
Chair(s): Ahmad Abdellatif University of Calgary
Ahmad Abdellatif

11:0018m
Talk
A Bot Identification Model and Tool Based on GitHub Activity Sequences
Natarajan Chidambaram University of Mons, Alexandre Decan University of Mons;
F.R.S.-FNRS, Tom Mens University of Mons
11:1818m
Talk
The Secret Life of Bots in Pull Requests: An Empirical Study based on Apache
Projects
Chenhao Wei Stevens Institute of Technology, Lu Xiao Stevens Institute of
Technology, Yutong Zhao University of Central Missouri, Ting Liao Stevens Institute
of Technology
11:3618m
Talk
Observing bots in the wild: A quantitative analysis of a large open source
ecosystem
Natarajan Chidambaram University of Mons, Tom Mens University of Mons
11:5418m
Talk
GZoltarAction: A Fault Localization Bot for GitHub Repositories
Hugo Paiva Faculty of Engineering of the University of Porto, Portugal, José Campos
Faculty of Engineering of the University of Porto, Portugal, Rui Abreu Faculty of
Engineering of the University of Porto, Portugal
12:1218m
Talk
Opportunities and Challenges of Software Engineering Bots: A Forward-Looking
Analysis
Glaucia Melo Toronto Metropolitan University
11:00 - 12:30
Session 1 - Research papersNLBSE at 214
Chair(s): Maliheh Izadi Delft University of Technology, Sebastiano Panichella
University of Bern
11:0020m
Full-paper
Analyzing Toxicity in Open Source Software Communications Using Psycholinguistics
and Moral Foundations Theory
Ramtin Ehsani Drexel University, Shadi Rezapour , Preetha Chatterjee Drexel
University, USA
11:2015m
Short-paper
SkillScope: A Tool to Predict Fine-Grained Skills Needed to Solve Issues on GitHub
Benjamin C. Carter , Jonathan Rives Contreras , Carlos A. Llanes , Pawan Acharya
Northern Arizona University, Jack Utzerath , Adonijah O. Farner , Hunter Jenkins ,
Dylan Johnson Grand Canyon University, Jacob Penney Northern Arizona University,
Igor Steinmacher NAU RESHAPE LAB, Marco Gerosa Northern Arizona University, Fabio
Marcos De Abreu Santos Colorado State University, USA
11:3515m
Short-paper
Synthesizing Access Control Policies using Large Language Models
Adarsh Vatsa , Pratyush Patel , William Eiers
11:5015m
Short-paper
Semantic API Alignment: Linking High-level User Goals to APIs
Robert Feldt Chalmers | University of Gothenburg, Blekinge Institute of Technology,
Riccardo Coppola Politecnico di Torino
12:0515m
Short-paper
Evaluating Large Language Models in Exercises of UML Use Case Diagrams Modeling
Giacomo Garaccione Politecnico di Torino, Pablo Federico Vega Carrazan , Riccardo
Coppola Politecnico di Torino, Luca Ardito Politecnico di Torino
12:2010m
Paper
Automating Benchmark Generation for LLMs in Software Engineering: Challenges and
Opportunities
Nimrod Busany Accenture Labs, Hananel Hadad Accenture Labs, Israel, Gil Rosenblum ,
Zofia Maszlanka Avanade, Poland, Rohit Shelke University of Ottawa, Canada, Okhaide
Akhigbe University of Ottawa, Daniel Amyot University of Ottawa
11:00 - 12:30
Keynote + Languages sessionSERP4IoT at 215
Chair(s): Yann-Gaël Guéhéneuc Concordia University and Polytechnique Montréal
11:0065m
Keynote
Modernizing Application Development for IoT
Dave Thomas Bedarra Corp
12:0525m
Talk
Should We Use Rust Platform in Our IoT Applications? A Multivocal Review
Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du
Québec
12:30 - 14:00
CHASE PosterCHASE Research Track at 209 Poster Area
12:30 - 14:00
LunchCatering at Canada Hall 3 plus Foyer
12:3090m
Lunch
Sunday Lunch
13:30 - 14:00
FORGE2025 PosterFORGE Research Papers at Canada Hall 3 Poster Area
14:00 - 17:30
Child Care Sunday PMSocial, Networking and Special Rooms at 102 Child Care
14:00 - 15:30
Research Papers and PostersTechDebt Industry Track / TechDebt Technical Papers at
103
Chair(s): Fatemeh Hendijani Fard University of British Columbia, Reed Milewicz
Sandia National Laboratories
14:0030m
Paper
The TechDebt Game - Enabling Discussions about Technical Debt
TechDebt Technical Papers
Marion Wiese University of Hamburg, Germany, Angelina Heinrichs University of
Hamburg, Nino Rusieshvilli University of Hamburg, Rodrigo Rebouças de Almeida
Federal University of Paraiba, Klara Borowa Warsaw University of Technology
DOI Pre-print
14:3010m
Industry talk
Perspective-Taking as a Strategy to Manage Technical Debt
TechDebt Industry Track
Kezia Devathasan University of Victoria, Mike Rowling Felix Payment Systems
14:4010m
Industry talk
A Quantitative Approach to Measuring Technical Debt: The Technical Debt Index (TDI)
TechDebt Industry Track
Nitin Gupta Assembly Digital and the University of Victoria
14:5010m
Industry talk
Automating Dead Code Cleanup: Challenges Beyond the Code
TechDebt Industry Track
Diego Marcilio Uber
15:0010m
Industry talk
Addressing Technical Debt through Collaboration
TechDebt Industry Track
Steven D. Fraser Innoxec
15:1020m
Panel
War Stories in TechDebt
TechDebt Industry Track
Reed Milewicz Sandia National Laboratories, Fatemeh Hendijani Fard University of
British Columbia
14:00 - 15:30
Activity: Software Design at the Intersection of AI, Academia, and
IndustryDesigning at 201
Chair(s): Yuanfang Cai Drexel University
14:0090m
Other
Software Design at the Intersection of AI, Academia, and Industry
14:00 - 15:30
Afternoon Session 1GI at 202
Chair(s): Carol Hanna University College London, Penn Rainford University of York,
UK
14:0075m
Tutorial
Automated Software Performance Improvement with Magpie
Aymeric Blot University of Rennes, IRISA / INRIA
15:1515m
Talk
A Three-Stage Genetic Algorithm for Compiler Flag and Library Version Selection to
Minimize Execution Time
Chi Ho Chan Edinburgh Napier University, Spyro Nita EPCC, The University of
Edinburgh
14:00 - 15:30
Session 2 – Theorem Proving and Probabilistic Model CheckingFormaliSE Research
Track at 203
Chair(s): Nancy Day University of Waterloo, Canada
14:0030m
Talk
The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised
Proofs
Chengsong Tan Imperial College London, Kaihong, Alastair F. Donaldson Imperial
College London, Jonathan Julian Huerta y Munive Czech Technical University, John
Wickerson Imperial College London
14:3030m
Talk
A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B
Christophe Chen INPT-ENSEEIHT/IRIT, Peter Rivière INPT-ENSEEIHT / IRIT, University
of Toulouse, France, Neeraj Kumar Singh INPT-ENSEEIHT/IRIT, Guillaume Dupont INPT–
ENSEEIHT, Yamine Ait Ameur IRIT/INPT-ENSEEIHT, Marc Frappier Université de
Sherbrooke, Canada
15:0030m
Talk
Probabilistic Model Checking of Disaster Resource Distribution Strategies
Kenneth Johnson Auckland University of Technology, Meena Kumari Auckland University
of Technology
14:00 - 15:30
Session 3: Micro-services and Configurable SystemsICSR at 204
Chair(s): Tommi Mikkonen University of Jyväskylä
14:0030m
Paper
MONO2REST: Identification and exposition of micro-services: a reusable
RESTification approach
Matthéo Lecrivain Nantes Université, Hanifa Barry Université de Montréal, Dalila
Tamzalit Nantes Université, Houari Sahraoui DIRO, Université de Montréal
Pre-print
14:3030m
Paper
Semantic Dependency in Microservice Architecture
Amr Elsayed The University of Arizona, Kari E Cordes University of Arizona, Austin
Medina University of Arizona, Tomas Cerny University of Arizona
DOI Pre-print
15:0030m
Paper
Unveiling the Impact of Sampling on Feature Selection for Performance Prediction in
Configurable Systems
João Marcello Bessa Rodrigues Pontifical Catholic University of Rio de Janeiro
(PUC-Rio), Millena Cavalcanti Pontifical Catholic University of Rio de Janeiro
(PUC-Rio), Mathieu Acher University of Rennes - Inria - CNRS - IRISA, Markus Endler
Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Juliana Alves Pereira
PUC-Rio
File Attached
14:00 - 15:30
Education, Debugging, Dynamic AnalysisICPC Research Track / ICPC Early Research
Achievements (ERA) / ICPC Replications and Negative Results (RENE) / ICPC Tool
Demonstration at 205
Chair(s): Simone Scalabrino University of Molise, Coen De Roover Vrije Universiteit
Brussel, Gema Rodríguez-Pérez University of British Columbia (UBC)
14:0010m
Talk
JavaWiz: A Trace-Based Graphical Debugger for Software Development Education
ICPC Research Track
Markus Weninger JKU Linz, Simon Grünbacher Institute for System Software; Johannes
Kepler University Linz, Austria, Herbert Prähofer Johannes Kepler University Linz
Pre-print
14:1010m
Talk
Pinpointing the Learning Obstacles of an Interactive Theorem Prover
ICPC Research Track
Sára Juhošová Delft University of Technology, Andy Zaidman Delft University of
Technology, Jesper Cockx Delft University of Technology
Pre-print
14:2010m
Talk
AI-based automated grading of source code of introductory programming assignments
ICPC Research Track
Jayant Havare Indian Institute of technology - Bombay, Varsha Apte Indian Institute
of technology - Bombay, Kaushikraj Maharajan Indian Institute of technology -
Bombay, Nithin Chandra Gupta Samudrala Indian Institute of technology - Bombay,
Ganesh Ramakrishnan Indian Institute of technology - Bombay, Srikanth Tamilselvam
IBM Research, Sainath Vavilapalli Indian Institute of Technology - Bombay
14:3010m
Talk
An Analysis of Students' Program Comprehension Processes in a Large Code Base
ICPC Research Track
Anshul Shah University of California, San Diego, Thanh Tong University of
California, San Diego, Elena Tomson University of California, San Diego, Steven Shi
University of California, San Diego, William G. Griswold University of California
San Diego, Gerald Soosairaj University of California, San Diego
14:406m
Talk
OVERLORD: A C++ overloading inspector
ICPC Tool Demonstration
Botond Horváth ELTE Eötvös Loránd University, Budapest, Hungary, Richárd Szalay
Eötvös Loránd University, Faculty of Informatics, Department of Programming
Languages and Compilers, Zoltán Porkoláb ELTE Eötvös Loránd University, Budapest,
Hungary
Pre-print
14:466m
Talk
Optimizing Code Runtime Performance through Context-Aware Retrieval-Augmented
Generation
ICPC Early Research Achievements (ERA)
Manish Acharya Vanderbilt University, Yifan Zhang Vanderbilt University, Kevin
Leach Vanderbilt University, Yu Huang Vanderbilt University
14:526m
Talk
Investigating Execution-Aware Language Models for Code Optimization
ICPC Replications and Negative Results (RENE)
Federico Di Menna University of L'Aquila, Luca Traini University of L'Aquila,
Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Vittorio
Cortellessa University of L'Aquila
Pre-print
14:586m
Talk
Understanding Data Access in Microservices Applications Using Interactive Treemaps
ICPC Early Research Achievements (ERA)
Maxime ANDRÉ Namur Digital Institute, University of Namur, Marco Raglianti Software
Institute - USI, Lugano, Anthony Cleve University of Namur, Michele Lanza Software
Institute - USI, Lugano
Pre-print
15:046m
Talk
Divergence-Driven Debugging: Understanding Behavioral Changes Between Two Program
Versions
ICPC Early Research Achievements (ERA)
Rémi Dufloer Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000
Lille, France, Imen Sayar Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189
CRIStAL, F-59000 Lille, France, Anne Etien University of Lille, Lille, France,
Steven Costiou INRIA Lille
15:1010m
Talk
Effectively Modeling UI Transition Graphs for Android Apps via Reinforcement
Learning
ICPC Research Track
Wunan Guo School of Optical-Electrical and Computer Engineering, University of
Shanghai for Science and Technology, Zhen Dong Fudan University, Liwei Shen Fudan
University, Daihong Zhou School of Computer Science and Information Engineering,
Shanghai Institute of Technology, Bin Hu Fudan University, Chen Zhang Fudan
University, Hai Xue University of Shanghai for Science and Technology
15:2010m
Live Q&A
Session's Discussion: "Education, Debugging, Dynamic Analysis"
ICPC Research Track

14:00 - 15:30
Improving Flakiness Mitigation TechniquesFTW at 206
14:0022m
Paper
Evaluating NonDex for Modern Java Ecosystem
Kaiyao Ke University of Illinois at Urbana-Champaign, Darko Marinov University of
Illinois at Urbana-Champaign
14:2222m
Talk
On the Perception and Adoption of Flakiness Scores
Joanna Kisaakye , Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Serge
Demeyer University of Antwerp and Flanders Make vzw
14:4522m
Paper
Reduction of Test Re-runs by Prioritizing Potential Order Dependent Flaky Tests
Hasnain Iqbal University of Dhaka, Zerina Begum University of Dhaka, Kazi Sakib
Institute of Information Technology, University of Dhaka
15:0722m
Panel
Mini Panel 2
14:00 - 15:30
Session1: FM for Code Generation FORGE Research Papers / FORGE Data and
Benchmarkingat 207
Chair(s): Lili Wei McGill University
14:0012m
Long-paper
RepoHyper: Search-Expand-Refine on Semantic Graphs for Repository-Level Code
Completion
FORGE Research Papers
Huy Nhat Phan FPT Software AI Center, Hoang Nhat Phan Nanyang Technological
University, Tien N. Nguyen University of Texas at Dallas, Nghi D. Q. Bui Salesforce
Research
14:1212m
Long-paper
SoTaNa: An Open-Source Software Engineering Instruction-Tuned Model
FORGE Research Papers
Ensheng Shi Xi’an Jiaotong University, Yanlin Wang Sun Yat-sen University, Fengji
Zhang Microsoft Research Asia, Bei Chen Microsoft Research Asia, Hongyu Zhang
Chongqing University, Yanli Wang Sun Yat-sen University, Daya Guo Sun Yat-sen
University, Lun Du Microsoft Research, Shi Han Microsoft Research, Dongmei Zhang
Microsoft Research, Hongbin Sun Xi’an Jiaotong University
14:2412m
Long-paper
Automated Codebase Reconciliation using Large Language Models
FORGE Research Papers
Aneri Gandhi University of Toronto, Sanjukta De Advanced Micro Devices, Marsha
Chechik University of Toronto, Vinay Pandit Advanced Micro Devices, Max Kiehn
Advanced Micro Devices, Matthieu Chan Chee Advanced Micro Devices, Yonas Bedasso
Advanced Micro Devices
14:3612m
Long-paper
AI-Powered, But Power-Hungry? Energy Efficiency of LLM-Generated Code
FORGE Research Papers
Lola Solovyeva University of Twente, Sophie Weidmann University of Twente, Fernando
Castor University of Twente
14:486m
Short-paper
SwiftEval: Developing a Language-Specific Benchmark for LLM-generated Code
Evaluation
FORGE Data and Benchmarking
Ivan Petrukha MacPaw, Yana Kurliak MacPaw, Nataliia Stulova MacPaw
14:546m
Short-paper
SE Arena: An Interactive Platform for Evaluating Foundation Models in Software
Engineering
FORGE Research Papers
Zhimin Zhao Queen's University
15:0012m
Long-paper
PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback
FORGE Research Papers
Yun Peng The Chinese University of Hong Kong, Akhilesh Deepak Gotmare Salesforce
Research, Michael Lyu The Chinese University of Hong Kong, Caiming Xiong Salesforce
Research, Silvio Savarese Salesforce Research, Doyen Sahoo Salesforce Research
15:126m
Short-paper
HyRACC: A Hybrid Retrieval-Augmented Framework for More Efficient Code Completion
FORGE Research Papers
Chuanyi Li Nanjing University, Jiwei Shang Nanjing University, Yi Feng Nanjing
University, Bin Luo Nanjing University
15:186m
Short-paper
OptCodeTrans: Boost LLMs on Low-Resource Programming Language Translation
FORGE Research Papers
Jianbo Lin Nanjing University, Yi Shen Nanjing University, Chuanyi Li Nanjing
University, Changan Niu Software Institute, Nanjing University, Bin Luo Nanjing
University
14:00 - 15:30
Architecting and Testing AI SystemsCAIN Research and Experience Papers at 208
Chair(s): Jan-Philipp Steghöfer XITASO GmbH IT & Software Solutions
Add Session Information
14:0015m
Talk
How Do Model Export Formats Impact the Development of ML-Enabled Systems? A Case
Study on Model IntegrationDistinguished paper Award Candidate
Shreyas Kumar Parida ETH Zurich, Ilias Gerostathopoulos Vrije Universiteit
Amsterdam, Justus Bogner Vrije Universiteit Amsterdam
Pre-print
14:1515m
Talk
RAGProbe: Breaking RAG Pipelines with Evaluation ScenariosDistinguished paper Award
Candidate
Shangeetha Sivasothy Applied Artificial Intelligence Institute, Deakin University,
Scott Barnett Deakin University, Australia, Stefanus Kurniawan Deakin University,
Zafaryab Rasool Applied Artificial Intelligence Institute, Deakin University,
Rajesh Vasa Deakin University, Australia
14:3015m
Talk
On-Device or Remote? On the Energy Efficiency of Fetching LLM-Generated Content
Vince Nguyen Vrije Universiteit Amsterdam, Hieu Huynh Vrije Universiteit Amsterdam,
Vidya Dhopate Vrije Universiteit Amsterdam, Anusha Annengala Vrije Universiteit
Amsterdam, Hiba Bouhlal Vrije Universiteit Amsterdam, Gian Luca Scoccia Gran Sasso
Science Institute, Matias Martinez Universitat Politècnica de Catalunya (UPC),
Vincenzo Stoico Vrije Universiteit Amsterdam, Ivano Malavolta Vrije Universiteit
Amsterdam
Pre-print
14:4510m
Talk
LoCoML: A Framework for Real-World ML Inference Pipelines
Kritin Maddireddy IIIT Hyderabad, Santhosh Kotekal Methukula IIIT Hyderabad,
Chandrasekar S IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad
14:5510m
Talk
Towards Continuous Experiment-driven MLOps
Keerthiga Rajenthiram Vrije Universiteit Amsterdam, Milad Abdullah Charles
University, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Petr Hnětynka
Charles University, Tomas Bures Charles University, Czech Republic, Gerard Pons
Universitat Politècnica de Catalunya, Barcelona, Spain, Besim Bilalli Universitat
Politècnica de Catalunya, Barcelona, Spain, Anna Queralt Universitat Politècnica de
Catalunya, Barcelona, Spain
15:0525m
Other
Discussion
14:00 - 15:30
Keynote / Equity, Diversity, and Inclusion (EDI) in Software EngineeringCHASE
Research Track at 210
Chair(s): Ronnie de Souza Santos University of Calgary, Lavinia Francesca Paganini
TU Eindhoven
14:0060m
Keynote
Prof Alexander Serebrenik - SDDI: Between AI and Comply
Alexander Serebrenik Eindhoven University of Technology
15:0015m
Talk
The Developer Experience of LGBTQIA+ People in Agile Teams: a Multivocal Literature
Review
Edvaldo R. Wassouf-Jr UFMS, Debora Paiva Federal University of Mato Grosso do Sul
(UFMS), Kiev Gama Universidade Federal de Pernambuco, Awdren Fontão Federal
University of Mato Grosso do Sul (UFMS)
15:1515m
Talk
Affirmative Hackathon for Software Developers with Disabilities: An Industry
Initiative
Thayssa Rocha Zup Innovation & UFPA, Nicole Davila Zup Innovation & UFRGS, Rafaella
Vaccari Zup Innovation, Nicoly Menezes UFPA, Marcelle Mota Universidade Federal do
Pará, Edward Monteiro StackSpot, Cleidson de Souza Federal University of Pará
Belém, Gustavo Pinto Zup Innovation & UFPA
14:00 - 15:30
Session 3: Testing and SecurityMOBILESoft Research Track at 211
14:0030m
Talk
Talk 2: On the Generation of Meaningful Test Cases for Mobile Apps
Leonardo Mariani University of Milano-Bicocca
14:3015m
Research paper
Can you mimic me? Exploring the Use of Android Record & Replay Tools in Debugging
Zihe Song University of Texas at Dallas, S M Hasan Mansur George Mason University,
Ravishka Shemal Rathnasuriya University of Texas at Dallas, Yumna Fatima George
Mason University, Wei Yang UT Dallas, Kevin Moran University of Central Florida,
Wing Lam George Mason University
14:4515m
Research paper
Evaluating Taint Specification Generators for Identifying Taint Sources in Relation
to Data Safety Section
Hiroki Inayoshi Okayama University, Shoichi Saito Nagoya Institute of Technology,
Akito Monden Okayama University
15:0015m
Research paper
On-Device Mobile Application Testing
Inte Vleminckx University of Antwerp, Elif Parlak University of Antwerp, Onur
Kilincceker University of Antwerp and Flanders Make vzw, Serge Demeyer University
of Antwerp and Flanders Make vzw
15:1515m
Talk
Talk 3: Conquering iOS PREQ Hurdles
Arth Patel
14:00 - 15:30
Session 3: Multidisciplinary REMO2RE at 212
14:0060m
Keynote
Building REsilience: Antifragility through Multidisciplinarity in Requirements
Engineering
Sarah Gregory Crary Labs LLC
15:0030m
Panel
Activity (part 3)
14:00 - 15:30
Session 2: Collaborative and Educational Use of BotsBotSE at 213
Chair(s): Emad Shihab Concordia University
Emad Shihab

14:0022m
Panel
Panel Discussion
14:2222m
Talk
ResearchBot: Bridging the Gap between Academic Research and Practical Programming
Communities
Sahar Farzanehpour Virginia Tech, Swetha Rajeev Virginia Tech, Huayu Liang Virginia
Tech, Ritvik Prabhu Virginia Tech, Chris Brown Virginia Tech
14:4522m
Talk
Supporting Brainstorming Activities with Bots in Software Engineering Education
Juan Carlos Farah École Polytechnique Fédérale de Lausanne, Jérémy La Scala École
Polytechnique Fédérale de Lausanne, Sandy Ingram University of Applied Sciences and
Arts, Denis Gillet École Polytechnique Fédérale de Lausanne
15:0722m
Talk
Towards a Framework for Multi-Bot Collaboration
Alberto Mimbrero SCORE Lab, I3US Institute, Universidad de Sevilla, Seville, Spain,
José Antonio Parejo Maestre SCORE Lab, I3US Institute, Universidad de Sevilla,
Seville, Spain, Pablo Fernandez SCORE Lab, I3US Institute, Universidad de Sevilla,
Seville, Spain, Miguel Romero-Arjona University of Seville, Sergio Segura SCORE
Lab, I3US Institute, Universidad de Sevilla, Seville, Spain
14:00 - 15:30
Session 2 - Tool competitionNLBSE at 214
Chair(s): Maliheh Izadi Delft University of Technology, Sebastiano Panichella
University of Bern, Giuseppe Colavito University of Bari, Pooja Rani University of
Zurich, Ali Al-Kaswan Delft University of Technology, Netherlands, Nataliia Stulova
MacPaw
14:0010m
Other
Opening & Code Comment Classification Competition
Giuseppe Colavito University of Bari, Pooja Rani University of Zurich, Ali Al-
Kaswan Delft University of Technology, Netherlands, Nataliia Stulova MacPaw
14:1010m
Demonstration
Code Comment Classification with Data Augmentation and Transformer-Based Models
Mushfiqur Rahman , Mohammed Latif Siddiq University of Notre Dame
14:2010m
Demonstration
GRAPHiC: Utilizing Graph Structures and Class Weights in Code Comment
Classification with Pretrained BERT Models
Pir Sami Ullah Shah FAST National University, Shahela Saif , Muhammad Haris Athar
FAST National University, Muhammad Riyaan Tariq National University of Computer and
Emerging Sciences, Islamabad, Pakistan, Abdur Rehman Afzal FAST National University
14:3010m
Demonstration
Evaluating the Performance and Efficiency of Sentence-BERT for Code Comment
Classification
Fabian C. Peña University of Passau, Steffen Herbold University of Passau
14:4010m
Demonstration
Optimizing Deep Learning Models to Address Class Imbalance in Code Comment
Classification
Moritz Mock Free University of Bozen-Bolzano, Thomas Borsani , Giuseppe Di Fatta ,
Barbara Russo Free University of Bozen/Bolzano, Italy
Pre-print
14:5010m
Demonstration
CodeComClassify: Automating Code Comments Classification using BERT-based Language
Models
Khubaib Amjad Alam , Wajid Ali , Nadeem Abbas Linnaeus University, Muhammad
Haroon , Summan Aziz , Meer Hashaam Khan FAST National University, Zahoor Ahmad
15:0010m
Other
Competition Closing
Giuseppe Colavito University of Bari, Pooja Rani University of Zurich, Ali Al-
Kaswan Delft University of Technology, Netherlands, Nataliia Stulova MacPaw
15:1010m
Day closing
Workshop closing
Maliheh Izadi Delft University of Technology, Sebastiano Panichella University of
Bern
14:00 - 15:30
Patterns and Modelling sessionsSERP4IoT at 215
Chair(s): Rubén Saborido ITIS Software, University of Malaga
14:0025m
Talk
A Pattern-Driven Middleware Architecture for IoT Data
Zongo Meyo Concordia university, Gabriel C. Ullmann Concordia university, Rushin
Dipak Makwana Concordia university, Oriol Gavalda Concordia University
14:2525m
Talk
Advances in Requirements Engineering for IoT and CPS: A Survey on Model-Driven
Research and Practices
Mirza Rehenuma Tabassum Toronto Metropolitan University, Sadaf Mustafiz Toronto
Metropolitan University
14:5025m
Talk
Towards a Portable Implementation of a Visual Block Language for IoT Applications
Kwanghoon Choi Chonnam National University, Sujee Noh , Kyungjae Kim , Seungchan
Park , Hyeon-Ah Moon , Byeong-Mo Chang
15:1520m
Talk
Verifying Security and Safety for Heterogeneous IoT Applications: MDE Approach
Lobna Abuserrieh , Manar Alalfi Toronto Metropolitan University
15:30 - 16:00
Poster Session-2SERP4IoT at Canada Hall 3 Poster Area
15:3030m
Poster
Table Talk, Exploring Low Code for IoT Applications
David Thomas Bederra Corp., Will Samadi Bederra Corporation
15:3030m
Poster
Enhancing Healthcare with Digital Twins: A Comparative Approach Using AI and AI-
Enhanced Digital Twins
Hamid Mcheick Full Professor, Pamela Achouh Master
15:30 - 16:00
BreakCatering at Canada Hall 3 plus Foyer
15:3030m
Break
Sunday Afternoon Break
16:00 - 17:30
Activity: Birds of a Feather: Methods for Teaching Software Design - Collecting
Goals and PracticesDesigning at 201
Chair(s): Michel Chaudron Eindhoven University of Technology, The Netherlands
16:0080m
Other
Birds of a Feather: Methods for Teaching Software Design - Collecting Goals and
Practices
17:2010m
Day closing
Day 1 Closing
16:00 - 17:30
Afternoon Session 2GI at 202
Chair(s): Thanatad Songpetchmongkol University College London, Oliver Krauss
University of Applied Sciences Upper Austria
16:0030m
Talk
The gem5 C++ glibc Heap Fitness Landscape
William Langdon University College London, Bobby Bruce University of California at
Davis, USA
16:3030m
Talk
LLM-Assisted Crossover in Genetic Improvement of Software
Dimitrios Stamatios Bouras Peking University, Justyna Petke University College
London, Sergey Mechtaev Peking University
17:0025m
Meeting
Discussion
Aymeric Blot University of Rennes, IRISA / INRIA, Oliver Krauss University of
Applied Sciences Upper Austria
17:255m
Awards
Awards and Closing
Aymeric Blot University of Rennes, IRISA / INRIA, Shin Hwei Tan Concordia
University
16:00 - 17:30
Session 3 - Temporal Logic and ContractsFormaliSE Research Track at 203
Chair(s): Domenico Bianculli University of Luxembourg
16:0030m
Talk
Specifying Distributed Hash Tables with Allen Temporal Logic
Nuno Policarpo Instituto Superior Técnico, University of Lisbon, José Fragoso
Santos INESC-ID; Instituto Superior Técnico - University of Lisbon, Alcino Cunha
University of Minho; INESC TEC, João Leitão NOVA LINCS & FCT, NOVA University of
Lisbon, Pedro Ákos Costa NOVA LINCS & DI-FCT-UNL
16:3030m
Talk
Temporal Logics Meet Real-World Software Requirements: A Reality Check
Roman Bögli University of Bern, Atefeh Rohani University of Bern, Thomas Studer
University of Bern, Christos Tsigkanos University of Athens, Greece, Timo Kehrer
University of Bern
17:0030m
Talk
Detecting Redundant Preconditions
Nicola Thoben University of Oldenburg, Heike Wehrheim Carl von Ossietzky
Universität Oldenburg / University of Oldenburg
16:00 - 17:30
Session 4: Reusable models and TestingICSR at 204
Chair(s): Dalila Tamzalit Nantes Université
16:0030m
Paper
DockInsight: A Knowledge-Augmented Dependency Extraction Approach for Dockerfile
Zhiling Zhu Zhejiang University of Technology, Tieming Chen Zhejiang University of
Technology, Yunjin Zhong Zhejiang University of Technology, Qijie Song Zhejiang
University of Technology
16:3015m
Paper
Porting an LLM based Application from ChatGPT to an On-Premise Environment
Teemu Paloniemi University of Jyväskylä, Manu Setälä Solita Oy, Tommi Mikkonen
University of Jyvaskyla
Pre-print
16:4530m
Paper
Predicting the Root Cause of Flaky Tests Based on Test Smells
Jing Wang College of Information Science and Technology, Beijing University of
Chemical Technology, Weixi Zhang College of Information Engineering, Beijing
Institute of Petrochemical Technology, Beijing, China, Weixi Zhang College of
Information Engineering, Beijing Institute of Petrochemical Technology, Beijing,
China, Ruilian Zhao Beijing University of Chemical Technology, Ying Shang Beijing
University of Chemical Technology
File Attached
17:1515m
Paper
Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots
Dhaminda B. Abeywickrama Department of Computer Science, The University of
Manchester, UK, Michael Fisher University of Manchester, UK, Frederic Wheeler
Regulatory Support Directorate, Amentum, Louise Dennis The University of Manchester
16:00 - 17:30
Summarisation, Natural Language GenerationICPC Research Track / ICPC Early Research
Achievements (ERA) / ICPC Replications and Negative Results (RENE) at 205
Chair(s): Oscar Chaparro William & Mary, Coen De Roover Vrije Universiteit Brussel,
Gema Rodríguez-Pérez University of British Columbia (UBC)
16:0010m
Talk
Optimizing Datasets for Code Summarization: Is Code-Comment Coherence Enough?
ICPC Research Track
Antonio Vitale Politecnico di Torino, University of Molise, Antonio Mastropaolo
William and Mary, USA, Rocco Oliveto University of Molise, Massimiliano Di Penta
University of Sannio, Italy, Simone Scalabrino University of Molise
16:1010m
Talk
CMDeSum: A Cross-Modal Deliberation Network for Code Summarization
ICPC Research Track
Zhifang Liao Central South University, Xiaoyu Liu Central South University, Peng
Lan School of Computer Science and Engineering, Central South University, Changsha,
China, Song Yu Central South University, Pei Liu Monash University
16:2010m
Talk
CLCoSum: Curriculum Learning-based Code Summarization for Code Language Models
ICPC Research Track
Hongkui He South China University of Technology, Jiexin Wang South China University
of Technology, Liuwen Cao South China University of Technology, Yi Cai School of
Software Engineering, South China University of Technology, Guangzhou, China
16:3010m
Talk
DLCoG: A Novel Framework for Dual-Level Code Comment Generation based on Semantic
Segmentation and In-Context Learning
ICPC Research Track
Zhang Zhiyang , Haiyang Yang School of Computer Science and Engineering, Central
South University, Qingyang Yan Central South University, Hao Yan Central South
University, Wei-Huan Min Central South University, Zhao Wei Tencent, Li Kuang
Central South University, Yingjie Xia Hangzhou Dianzi University
16:4010m
Talk
Explaining GitHub Actions Failures with Large Language Models: Challenges,
Insights, and Limitations
ICPC Research Track
Pablo Valenzuela-Toledo University of Bern, Universidad de La Frontera, Chuyue Wu
University of Bern, Sandro Hernández University of Bern, Alexander Boll University
of Bern, Roman Machacek University of Bern, Sebastiano Panichella University of
Bern, Timo Kehrer University of Bern
16:5010m
Talk
Large Language Models are Qualified Benchmark Builders: Rebuilding Pre-Training
Datasets for Advancing Code Intelligence Tasks
ICPC Research Track
Kang Yang National University of Defense Technology, Xinjun Mao National University
of Defense Technology, Shangwen Wang National University of Defense Technology,
Yanlin Wang Sun Yat-sen University, Tanghaoran Zhang National University of Defense
Technology, Yihao Qin National University of Defense Technology, Bo Lin National
University of Defense Technology, Zhang Zhang Key Laboratory of Software
Engineering for Complex Systems, National University of Defense Technology, Yao Lu
National University of Defense Technology, Kamal Al-Sabahi College of Banking and
Financial Studies
Pre-print
17:0010m
Talk
Extracting Formal Specifications from Documents Using LLMs for Test Automation
ICPC Research Track
Hui Li Xiamen University, Zhen Dong Fudan University, Siao Wang Fudan University,
Hui Zhang Fudan University, Liwei Shen Fudan University, Xin Peng Fudan University,
Dongdong She HKUST (The Hong Kong University of Science and Technology)
17:106m
Talk
Using Large Language Models to Generate Concise and Understandable Test Case
Summaries
ICPC Early Research Achievements (ERA)
Natanael Djajadi Delft University of Technology, Amirhossein Deljouyi Delft
University of Technology, Andy Zaidman Delft University of Technology
Pre-print
17:166m
Talk
Towards Generating the Rationale for Code Changes
ICPC Replications and Negative Results (RENE)
Francesco Casillo Università di Salerno, Antonio Mastropaolo William and Mary, USA,
Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Vincenzo
Deufemia University of Salerno, Carmine Gravino University of Salerno
17:228m
Talk
Session's Discussion: "Summarisation, Natural Language Generation"
ICPC Research Track

16:00 - 17:30
Dataset/Tool DemonstrationsFTW at 206
16:0090m
Demonstration
Dataset/Tool Demonstrations
16:00 - 17:30
Session2: FM for Software Quality Assurance & TestingFORGE Research Papers / FORGE
Data and Benchmarking at 207
Chair(s): Feifei Niu University of Ottawa
16:0012m
Long-paper
Augmenting Large Language Models with Static Code Analysis for Automated Code
Quality Improvements
FORGE Research Papers
Seyed Moein Abtahi Ontario Tech University, Akramul Azim Ontario Tech University
16:1212m
Long-paper
Benchmarking Prompt Engineering Techniques for Secure Code Generation with GPT
Models
FORGE Research Papers
Marc Bruni University of Applied Sciences and Arts Northwestern Switzerland, Fabio
Gabrielli University of Applied Sciences and Arts Northwestern Switzerland,
Mohammad Ghafari TU Clausthal, Martin Kropp University of Applied Sciences and Arts
Northwestern Switzerland
Pre-print
16:2412m
Long-paper
Vulnerability-Triggering Test Case Generation from Third-Party Libraries
FORGE Research Papers
Yi Gao Zhejiang University, Xing Hu Zhejiang University, Zirui Chen , Tongtong Xu
Nanjing University, Xiaohu Yang Zhejiang University
16:366m
Short-paper
Microservices Performance Testing with Causality-enhanced Large Language Models
FORGE Research Papers
Cristian Mascia University of Naples Federico II, Roberto Pietrantuono Università
di Napoli Federico II, Antonio Guerriero Università di Napoli Federico II, Luca
Giamattei Università di Napoli Federico II, Stefano Russo Università di Napoli
Federico II
16:426m
Short-paper
MaRV: A Manually Validated Refactoring Dataset
FORGE Data and Benchmarking
Henrique Gomes Nunes Universidade Federal de Minas Gerais, Tushar Sharma Dalhousie
University, Eduardo Figueiredo Federal University of Minas Gerais
16:486m
Short-paper
PyResBugs: A Dataset of Residual Python Bugs for Natural Language-Driven Fault
Injection
FORGE Data and Benchmarking
Domenico Cotroneo University of Naples Federico II, Giuseppe De Rosa University of
Naples Federico II, Pietro Liguori University of Naples Federico II
16:546m
Short-paper
The Heap: A Contamination-Free Multilingual Code Dataset for Evaluating Large
Language Models
FORGE Data and Benchmarking
Jonathan Katzy Delft University of Technology, Răzvan Mihai Popescu Delft
University of Technology, Arie van Deursen TU Delft, Maliheh Izadi Delft University
of Technology
17:0012m
Long-paper
ELDetector: An Automated Approach Detecting Endless-loop in Mini Programs
FORGE Research Papers
Nan Hu Xi’an Jiaotong University, Ming Fan Xi'an Jiaotong University, Jingyi Lei
Xi'an Jiaotong University, Jiaying He Xi'an Jiaotong University, Zhe Hou China
Mobile System Integration Co.
17:1212m
Long-paper
Testing Android Third Party Libraries with LLMs to Detect Incompatible APIs
FORGE Research Papers
Tarek Mahmud Texas State University, bin duan University of Queensland, Meiru Che
Central Queensland University, Anne Ngu Texas State University, Guowei Yang
University of Queensland
16:00 - 17:30
Doctoral Symposium TalksCAIN Doctoral Symposium / CAIN Research and Experience
Papers at 208
Chair(s): Jennifer Horkoff Chalmers and the University of Gothenburg
Add Session Information
16:005m
Talk
Optimizing Data Analytics Workflows through User-driven Experimentation: Progress
and Updates
CAIN Doctoral Symposium
Keerthiga Rajenthiram Vrije Universiteit Amsterdam
16:055m
Talk
CoCo Challenges in ML Engineering Teams: How to Collaboratively Build ML-Enabled
Systems
CAIN Doctoral Symposium
Aidin Azamnouri Technical University of Munich
16:105m
Talk
Towards a Privacy-by-Design Framework for ML-Enabled Systems
CAIN Doctoral Symposium
Yorick Sens Ruhr University Bochum
16:155m
Talk
Towards an Adoption Framework to Foster Trust in AI-Assisted Software Engineering
CAIN Doctoral Symposium
Marvin Muñoz Barón Technical University of Munich
16:205m
Talk
A Holistic Framework for Evolving AI-based Systems
CAIN Doctoral Symposium
Merel Veracx Fontys University of Applied Sciences
16:255m
Talk
Assessing and Enhancing the Robustness of LLM-based Multi-Agent Systems Through
Chaos Engineering.
CAIN Doctoral Symposium
Joshua Segun Owotogbe JADS/Tilburg University
16:305m
Talk
Designing ML-Enabled Software Systems with ML Model Composition: A Green AI
Perspective
CAIN Doctoral Symposium
Rumbidzai Chitakunye Vrije Universiteit Amsterdam
16:355m
Talk
A Metrics-Oriented Architectural Model to Characterize Complexity on Machine
Learning-Enabled Systems
CAIN Doctoral Symposium
Renato Cordeiro Ferreira University of São Paulo
16:405m
Talk
Identification and Optimization of Redundant Code Using Large Language Models
CAIN Doctoral Symposium
Shamse Tasnim Cynthia University of Saskatchewan
16:455m
Talk
Systematic Testing of Security-Related Defects in LLM-Based Applications
CAIN Doctoral Symposium
Hasan Kaplan Jheronimus Academy of Data Science, Tilburg University
16:505m
Talk
Model-Based Verification for AI-Enabled Cyber-Physical Systems through Guided
Falsification of Temporal Logic Properties
CAIN Doctoral Symposium
Hadiza Yusuf University of Michigan - Dearborn
16:5535m
Other
Open SC meeting
CAIN Research and Experience Papers

16:00 - 17:30
Responsible SE Session / Day 1 ClosingCHASE Research Track at 210
Chair(s): Ronnie de Souza Santos University of Calgary
16:0015m
Talk
Irresponsibility Killed the Cat: Software Accountability Concerns
Aria Zegers Vrije Universiteit Amsterdam, Natalie Preciado Vrije Universiteit
Amsterdam, Jan Duchnowski Vrije Universiteit Amsterdam, Fernanda Madeiral
Universidade Federal de Pernambuco, Emitzá Guzmán Vrije Universiteit Amsterdam
16:1515m
Talk
In Defence of Collaboration Ecosystems: Addressing Critical Collaboration Elements,
Cognitive Biases, and the Role of Technology
Larry Abdullai LUT University, Kseniia Perova LUT University, Jari Porras LUT
University , Sanaul Haque LUT University, Ekaterina Albats LUT University, Stefanie
Kunkel Research Institute for Sustainabiltiy (RIFS) Helmholtz Centre Potsdam
16:3010m
Talk
Creative Problem-Solving: A Study with Blind and Low Vision Software Professionals
Karina Kohl UFRGS, Yoonha Cha University of California, Irvine, Victoria Jackson
University of California, Irvine, Rafael Prikladnicki School of Technology at PUCRS
University, Andre van der Hoek University of California, Irvine, Stacy Branham
University of California, Irvine
Pre-print
16:4010m
Talk
Towards debiasing code review support
Tobias Jetzen University of Namur, Xavier Devroey University of Namur, Nicolas
Matton University of Namur, Benoît Vanderose University of Namur
Pre-print
16:5010m
Talk
The Good, the Bad, and the (Un)Usable: A Rapid Literature Review on Privacy as Code
Nicolás E. Díaz Ferreyra Hamburg University of Technology, Sirine Khelifi Hamburg
University of Technology, Nalin Arachchilage RMIT University, Riccardo Scandariato
Hamburg University of Technology
Pre-print
17:0010m
Talk
Inequity in Software Engineering: Looks that Matter
Mary Sánchez-Gordón Østfold University College, Rahul Mohanani University of
Jyväskylä, Ricardo Colomo-Palacios Universidad Politécnica de Madrid
17:1010m
Talk
Lost in Transition: The Struggle of Women Returning to Software Engineering
Research after Career Breaks
SHALINI CHAKRABORTY University of Bayreuth, Sebastian Baltes University of Bayreuth
Pre-print
17:2010m
Talk
Day 1 Closing
16:00 - 17:30
Session 4: Efficiency and PerformanceMOBILESoft Research Track at 211
16:0015m
Research paper
EDATA: Energy Debugging And Testing for Android
Erik Blokland TU Delft, Luís Cruz TU Delft, Arie van Deursen TU Delft
16:1515m
Research paper
AndroWatts: Unpacking the Power Consumption of Mobile Device’s Components
Edouard Guegain Greenspector, Remy Raes Inria / Univ. Lille, Noé Chachignot Inria /
Univ. Lille, Clément Quinton University of Lille, Inria, Romain Rouvoy Univ.
Lille / Inria / CNRS
16:3015m
Research paper
Toward Understanding and Detecting Battery Saver Issues in Android Apps
Wander Siemers TU Delft, Luís Cruz TU Delft, Mattia Fazzini University of Minnesota
16:4515m
Research paper
Unlocking Mental Health: Exploring College Students' Well-being through Smartphone
Behaviors
Wei Xuan University of Southern California, Meghna Roy Chowdhury Purdue University,
Yi Ding Purdue University, Yixue Zhao Freedom of Mind
Pre-print
17:0015m
Other
Open Discussion
16:00 - 17:30
Session 4: Requirements, AI, and testingMO2RE at 212
16:0030m
Talk
Exploring Large Language Models for Requirements on String Values
Aren Babikian University of Toronto, Boqi Chen McGill University, Gunter Mussbacher
McGill University
16:3030m
Paper
On the Automated Generation of UI for Template-based Requirements Specification
Ikram Darif École de technologie supérieure (ÉTS), Ghizlane El Boussaidi École de
Technologie Supérieure, Segla Kpodjedo Ecole de Technologie Superieure
Pre-print
17:0030m
Day closing
Wrap up and closing
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
16:00 - 17:30
Session 3: Evaluating and Improving Bot ImpactBotSE at 213
Chair(s): Ahmad Abdellatif University of Calgary
Ahmad Abdellatif

16:0022m
Talk
Towards a Newcomers Dataset to Assess Conversational Agent s Efficacy in Mentoring
Newcomers
Misan Etchie NAU RESHAPE LAB, Hunter Beach NAU RESHAPE LAB, Katia Romero Felizardo
NAU RESHAPE LAB, Igor Steinmacher NAU RESHAPE LAB
16:2222m
Talk
Bot-Driven Development: From Simple Automation to Autonomous Software Development
Bots
Christoph Treude Singapore Management University, Chris Poskitt Singapore
Management University
Pre-print
16:4522m
Talk
Bridging HCI and AI Research for the Evaluation of Conversational SE Assistants
Jonan Richards Radboud University, Mairieli Wessel Radboud University
17:0722m
Talk
Reducing Alert Fatigue via AI-Assisted Negotiation: A Case for Dependabot
Raula Gaikovina Kula The University of Osaka
16:00 - 17:30
Performance session + DiscussionSERP4IoT at 215
Chair(s): Shah Rukh Humayoun San Francisco State University
16:0025m
Talk
Dependable Software-Optimized Energy Management for IoT-Enabled Smart Buildings
Aycha Abid Department of Computer Science and Engineering, Oakland University.,
Amine Barrak Oakland University, USA, Issouf Bakayoko Université du Québec à
Chicoutimi, Fehmi Jaafar Université du Québec à Chicoutimi, David Rankourt Ideo
Concept Inc.
16:2520m
Talk
Hybrid Runtime for Cloud-Native Deployment in High-Performance IoT Edge
Basma El Gaabouri Arm Ltd, Chris Adeniyi-Jones Arm Ltd, Hugo Ferreira Arm Ltd, Eric
Van Hensbergen Arm Ltd
16:4545m
Day closing
Closing
19:00 - 22:00
Child Care Sunday EveningSocial, Networking and Special Rooms at 102 Child Care
20:30 - 21:00
Sunday Photo-op at Ottawa Sign at 6 York StSocial, Networking and Special Rooms at
Ottawa Sign for Illumination Celebration 6 York St
20:3030m
Social Event
Photo Op Sun
Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change
07:00 - 19:00
Ready Room MondaySocial, Networking and Special Rooms at 209
The Ready Room will be available throughout the week. There will be some tables
with computers where people can edit presentations (bring on a USB stick) and
upload presentations to the presentation rooms through the Contact 1 website. There
will also be AV technicians to help if needed.

You do not need to use the Ready Room: You have several choices: You can upload
your presentation from your own computer in advance of your session (days in
advance even) at the Contact 1 website (you will be sent a link). Or you can plug
your computer in using an HDMI cable when you are starting your presentation. This
last option is available but not recommended, since it increases the chance of
delays.

There will be some tables and couches in the Ready Room where you can get work
done, or have small get-togethers with people.

This room will not be ‘quiet’. If you want a quiet place to work or chill out
(library quiet, no talking) then Room 209 will be available much of the time.

The Ready Room will also have some poster boards.

07:00 - 22:00
Prayer Room 2A MondaySocial, Networking and Special Rooms at 2A Prayer Room
08:00 - 17:30
Registration Monday Starting at 8 a.m.Social, Networking and Special Rooms at 2nd
Floor Rideau Canal Atrium
08:009h30m
Registration
Registration Monday
09:00 - 12:30
Child Care Monday AMSocial, Networking and Special Rooms at 102 Child Care
09:00 - 10:30
KeynoteTechDebt Technical Papers at 103
Chair(s): Roberto Verdecchia University of Florence
09:0090m
Talk
Leveraging Research to Inform Structural Technical Debt Management
Ciera Jaspan Google, Collin Green Google
09:00 - 10:30
Opening and Keynote 1SBFT at 104
Chair(s): Matteo Biagiola Università della Svizzera italiana
09:0090m
Keynote
Keynote by Mariano Ceccato
Mariano Ceccato University of Verona
09:00 - 10:30
RoSE kickoff sessionRoSE at 105
09:0010m
Day opening
Welcome to RoSE 2025
09:1055m
Talk
ROS Introspect: Understanding ROS Packages in Python
David Lu MetroRobots
10:0525m
Talk
Model-Based Systems Engineering Toolchains for Software Development of Robotic
Autonomous Systems
Calvin Cheung United States Army DEVCOM Ground Vehicle Systems Center, Andrew Pfiel
United States Army DEVCOM Ground Vehicle Systems Center
09:00 - 10:30
KeynoteDesigning at 201
Chair(s): Yuanfang Cai Drexel University
09:0060m
Keynote
Design as a Creative Act
Rick Kazman University of Hawai‘i at Mānoa
09:00 - 10:30
Quiet Room Monday 9AMSocial, Networking and Special Rooms at 202
09:00 - 10:30
Invited Speaker 2FormaliSE Research Track at 203
Chair(s): Anastasia Mavridou KBR / NASA Ames Research Center
09:0090m
Keynote
Adversarial Perturbations and Self-Defenses for Large Language Models on Coding
Task
K: Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames
Research Center
09:00 - 10:30
Session 1: Opening and Keynote by Bashar NuseibehSEAMS Research Track at 204
Chair(s): Siobhán Clarke Trinity College Dublin, Ireland, Shiva Nejati University
of Ottawa, Thomas Vogel Humboldt-Universtität zu Berlin
09:0030m
Talk
SEAMS 2025 Opening
Siobhán Clarke Trinity College Dublin, Ireland, Shiva Nejati University of Ottawa,
Thomas Vogel Humboldt-Universtität zu Berlin
09:3060m
Keynote
Software Adaptation is Easy, Social Adaptation is Hard
Bashar Nuseibeh The Open University, UK
09:00 - 10:30
ICPC Awards at 205
Chair(s): Coen De Roover Vrije Universiteit Brussel, Gema Rodríguez-Pérez
University of British Columbia (UBC)
09:005m
Awards
Rajlich Career Award
09:0520m
Awards
MIP Award: "I know what you did last summer: an investigation of how developers
spend their time"
Roberto Minelli Software Institute - USI, Lugano, Andrea Mocci Software Institute,
Università della Svizzera italiana (USI), Michele Lanza Software Institute - USI,
Lugano
Link to publication
09:00 - 10:30
Opening and KeynoteCSEE&T at 206
Chair(s): Stephan Krusche Technical University of Munich
09:0090m
Keynote
The Engaged Learner: From Experience to Learning and Impact
P: Daniela Damian University of Victoria
09:00 - 10:30
FORGE2025 Keynote & Session3: Collaborative Software DevelopmentFORGE Research
Papers / FORGE Keynotes at 207
Chair(s): Xin Xia Huawei, Yuan Tian Queen's University, Kingston, Ontario
09:0060m
Keynote
Keynote: Large language models for agentic software engineering
FORGE Keynotes
Graham Neubig Carnegie Mellon University
10:0012m
Long-paper
AgileCoder: Dynamic Collaborative Agents for Software Development based on Agile
Methodology
FORGE Research Papers
Minh Nguyen Huynh FPT Software AI Center, Thang Phan Chau FPT Software AI Center,
Phong X. Nguyen FPT Software AI Center, Nghi D. Q. Bui Salesforce Research
10:1212m
Long-paper
Enhancing Pull Request Reviews: Leveraging Large Language Models to Detect
Inconsistencies Between Issues and Pull Requests
FORGE Research Papers
Ali Tunahan Işık Bilkent University, Hatice Kübra Çağlar Bilkent University, Eray
Tüzün Bilkent University
09:00 - 10:00
Keynote 2CAIN Research and Experience Papers at 208
Chair(s): Henry Muccini University of L'Aquila, Italy
Add Session Information
09:0060m
Keynote
Beyond Machine Learning and Foundation Models: A Research Roadmap for Multi-
Paradigm AI Engineering
Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
09:00 - 10:30
Day 2 Opening and KeynoteCHASE Research Track at 210
Chair(s): Rashina Hoda Monash University, Ronnie de Souza Santos University of
Calgary, Bianca Trinkenreich Colorado State University
09:0030m
Talk
Day 2 Opening - Welcome and Awards
09:3060m
Keynote
Prof Margaret-Ann Storey - AI and the Future of Software Development: Learning from
Industry, Research, and Human-Centered Theories
Margaret-Anne Storey University of Victoria
09:00 - 10:30
Conference Opening & KeynoteAST at 211
Chair(s): Annibale Panichella Delft University of Technology
Session chair: Ina Schieferdecker

09:0090m
Keynote
Personalized Fuzzing
Andreas Zeller CISPA Helmholtz Center for Information Security
Pre-print File Attached
09:00 - 10:30
Plenary: Opening + Joint MSR + ICPC KeynoteMSR Program / MSR Keynotes at 214
Chair(s): Bram Adams Queen's University, Olga Baysal Carleton University, Michael
W. Godfrey University of Waterloo, Canada, Ayushi Rastogi University of Groningen,
The Netherlands
09:0030m
Day opening
Official Opening
MSR Program

09:3060m
Keynote
Mining BOMs for Improving Supply Chain Efficiency & Resilience
MSR Keynotes
Kate Stewart Linux Foundation
File Attached
09:00 - 10:30
Joint ICPC-MSR Keynote at 214 plus 215
Chair(s): Coen De Roover Vrije Universiteit Brussel, Gema Rodríguez-Pérez
University of British Columbia (UBC)
09:3060m
Keynote
Mining BOMs for Improving Supply Chain Efficiency & Resilience
K: Kate Stewart Linux Foundation
10:00 - 10:30
Lightning talksCAIN Posters at 208
Chair(s): Scott Barnett Deakin University, Australia
Add Session Information
10:003m
Poster
All You Need is an AI Platform: A Proposal for a Complete Reference Architecture
Benjamin Weigell University of Augsburg, Fabian Stieler University of Augsburg,
Bernhard Bauer University of Augsburg
10:033m
Poster
Evaluating Reinforcement Learning Safety and Trustworthiness in Cyber-Physical
Systems
Katherine R. Dearstyne University of Notre Dame, Pedro Alarcon Granadeno University
of Notre Dame, Theodore Chambers University of Notre Dame, Jane Cleland-Huang
University of Notre Dame
10:063m
Poster
Finding Trojan Triggers in Code LLMs: An Occlusion-based Human-in-the-loop Approach
Aftab Hussain Texas A&M University, College Station, Rafiqul Rabin UL Research
Institutes, Toufique Ahmed IBM Research, Amin Alipour University of Houston, Bowen
Xu North Carolina State University, Stephen Huang University of Houston
Pre-print
10:093m
Poster
Navigating the Shift: Architectural Transformations and Emerging Verification
Demands in AI-Enabled Cyber-Physical Systems
Hadiza Yusuf University of Michigan - Dearborn, Khouloud Gaaloul University of
Michigan - Dearborn
10:123m
Poster
Random Perturbation Attacks on LLMs for Code Generation
Qiulu Peng Carnegie Mellon University, Chi Zhang , Ravi Mangal Colorado State
University, Corina S. Păsăreanu Carnegie Mellon University; NASA Ames, Limin Jia
Carnegie Mellon University
10:153m
Poster
Safeguarding LLM-Applications: Specify or Train?
Hala Abdelkader Applied Artificial Intelligence Institute, Deakin University,
Mohamed Abdelrazek Deakin University, Australia, Sankhya Singh Deakin University,
Irini Logothetis Applied Artificial Intelligence Institute, Deakin University,
Priya Rani RMIT University, Rajesh Vasa Deakin University, Australia, Jean-Guy
Schneider Monash University
10:183m
Poster
Task decomposition and RAG as Design Patterns for LLM-based Systems
Orlando Marquez Ayala ServiceNow
10:30 - 11:00
CAIN Poster-Morning breakCAIN Research and Experience Papers at Canada Hall 3
Poster Area
Add Session Information
10:30 - 11:00
BreakCatering at Canada Hall 3 plus Foyer
10:3030m
Break
Monday Morning Break
11:00 - 12:30
Research papers and MIPTechDebt Technical Papers at 103
11:0030m
Research paper
Most Influential Paper: Detecting and Quantifying Different Types of Self-Admitted
Technical Debt
Everton Maldonado Concordia University, Montreal, Canada, Emad Shihab Concordia
University
11:3030m
Research paper
Exploring Fairness Debt Through Evidence from Studies on Algorithmic Discrimination
Fardin Aryan University of Calgary, Lucas Valença University of Calgary, Ronnie de
Souza Santos University of Calgary
File Attached
12:0030m
Research paper
Requirements Technical Debt Through the Lens of Environment Assumptions
Mounifah Alenazi University of Hafr Al Batin
11:00 - 12:30
Keynote 2 and Paper Presentations 1SBFT at 104
Chair(s): Vincenzo Riccio University of Udine
11:0060m
Keynote
Keynote by Marcel Böhme
Marcel Böhme MPI for Security and Privacy
12:0015m
Research paper
DeepUIFuzz: A Guided Fuzzing Strategy for Testing UI Component Detection Models
Proma Chowdhury University of Dhaka, Kazi Sakib Institute of Information
Technology, University of Dhaka
12:1515m
Research paper
On Evaluating Fuzzers with Context-Sensitive Fuzzed Inputs: A Case Study on PKCS#1-
v1.5
S Mahmudul Hasan Syracuse University, Polina Kozyreva Syracuse University, Endadul
Hoque Syracuse University
11:00 - 12:30
RoSE deep-dive sessionRoSE at 105
11:0025m
Talk
Micro Frontend Architecture for Robotic Systems: A Systematic Approach with Design
Rationale
Uanderson Silva Universidade Federal de Pernambuco, Matheus Andrade Universidade
Federal de Pernambuco, José Cruz Universidade Federal de Pernambuco, Andresa
Almeida da Silva Universidade Federal de Pernambuco, Augusto Sampaio Universidade
Federal de Pernambuco, Kiev Gama Universidade Federal de Pernambuco
11:3025m
Talk
Towards Adaptable and Uncertainty-aware Behavior Trees
Mehran Rostamnia Gran Sasso Science Institute (GSSI), Gianluca Filippone Gran Sasso
Science Institute, L'Aquila, Italy, Ricardo Caldas Gran Sasso Science Institute
(GSSI), Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy
12:0025m
Talk
Towards Unified Field-Testing and Monitoring for Safe and Secure Robotic
Applications
Marco Stadler Johannes Kepler University Linz, Stefan Biffl Vienna University of
Technology, Michael Vierhauser University of Innsbruck, Johannes Sametinger
11:00 - 12:30
AI in SE EducationCSEE&T at 106
Chair(s): Stephan Krusche Technical University of Munich
11:0020m
Talk
Insights from the Frontline: GenAI Utilization Among Software Engineering Students
Rudrajit Choudhuri Oregon State University, Ambareesh Ramakrishnan Oregon State
University, Amreeta Chatterjee Oregon State University, Bianca Trinkenreich
Colorado State University, Igor Steinmacher NAU RESHAPE LAB, Marco Gerosa Northern
Arizona University, Anita Sarma Oregon State University
Pre-print
11:2020m
Talk
Towards Implementing and Evaluating AI-Assisted Pull Requests in Software
Engineering Education
Esteban Parra Belmont University, Sophia Willingham Belmont University
11:4020m
Talk
Do AI assistants help students write formal specifications? A study with ChatGPT
and the B-Method
Alfredo Capozucca University of Luxembourg, Daniil Yampolskyi Department of
Computer Science, University of Luxembourg, Esch-sur-Alzette, Luxembourg, Alexander
Goldberg Department of Computer Science, University of Luxembourg, Esch-sur-
Alzette, Luxembourg, Maximiliano Cristiá CIFASIS, Universidad Nacional de Rosario,
Rosario, Argentina
Pre-print File Attached
11:00 - 12:30
Paper Session #2Designing at 201
Chair(s): Andre van der Hoek University of California, Irvine
11:0018m
Talk
Design Obligations for Software, with Examples from Data Abstraction and Adaptive
Systems
Mary Shaw Carnegie Mellon University
Pre-print
11:1818m
Talk
Building MVPs: An Experience Report of a Software Engineering Capstone Course
Melissa Sahl University of Maryland Baltimore County, Mohammad Samarah University
of Maryland, Baltimore County
11:3618m
Talk
Accessing LLMs for Front-end Software Architecture Knowledge
Luiz Franciscatto Guerra University of Victoria, Neil Ernst University of Victoria
Pre-print
11:5418m
Talk
Adaptive Abstraction with AI for Managing Software Antipatterns Throughout the
Software Lifecycle
Roberto Andrade Universidad San Francisco de Quito, Jenny Torres Escuela
Politécnica Nacional, Pamela Flores Escuela Politécnica Nacional, Erick Cabezas
Escuela Politécnica Nacional, Jorge Segovia Escuela Politécnica Nacional
12:1218m
Talk
A Structured Approach to Accessibility in Software Development Lifecycle
Md Hasan Saju Ontario Tech University, Sanaa Alwidian University of Montreal,
Partha Mazumder Ontario Tech University, Akramul Azim Ontario Tech University
11:00 - 12:30
Quiet Room Monday 11AMSocial, Networking and Special Rooms at 202
11:00 - 12:30
Session 4 – Generative AI and Fuzzy LogicFormaliSE Research Track at 203
Chair(s): Lina Marsso École Polytechnique de Montréal
11:0030m
Talk
LLM-based Generation of Weakest Preconditions and Precise Array Invariants
Daragh King Trinity College Dublin, Vasileios Koutavas Trinity College Dublin,
Laura Kovács TU Wien
11:3030m
Talk
VeCoGen: Automating Generation of Formally Verified C Code with Large Language
Models
Merlijn Sevenhuijsen Scania CV, AB & KTH Royal Institute of Technology, Khashayar
Etemadi KTH Royal Institute of Technology, Mattias Nyberg Scania CV, AB & KTH Royal
Institute of Technology
12:0030m
Talk
Embracing Uncertainty: A Fuzzy Theoretical Model for Goal Fulfillment Assessment
Vincenzo Grassi University of Roma "Tor Vergata", Raffaela Mirandola Karlsruhe
Institute of Technology (KIT), Diego Perez-Palacin Linnaeus University
11:00 - 12:30
Session 2: FoundationsSEAMS Artifact Track / SEAMS Research Track at 204
Chair(s): Sona Ghahremani Hasso Plattner Institute, University of Potsdam
11:0025m
Talk
Symbolic State Seeding Improves Coverage Of Reinforcement LearningFULL
SEAMS Research Track
Mohsen Ghaffari IT University of Copenhagen, Cong Chen IT-University of Copenhagen,
Mahsa Varshosaz IT University of Copenhagen, Denmark, Einar Broch Johnsen
University of Oslo, Andrzej Wąsowski IT University of Copenhagen, Denmark
11:2525m
Talk
Robust Probabilistic Model Checking with Continuous Reward DomainsFULLBest Student
Paper Award
SEAMS Research Track
Xiaotong Ji Imperial College London, Hanchun Wang Imperial College London, Antonio
Filieri AWS and Imperial College London, Ilenia Epifani Politecnico di Milano
11:5015m
Talk
A Comprehensive Analysis of Cybersecurity Challenges in Self-Adaptive Avionics: A
Plug&Fly Avionics Platform Case StudySHORT
SEAMS Research Track
Aisha Zahid Junejo Universitat Stuttgart, Mario Werthwein Universitat Stuttgart,
Bjoern Annighoefer University of Stuttgart
12:0515m
Talk
ResMetric: Analyzing Resilience to Enable Research on AntifragilityARTIFACT
SEAMS Artifact Track
Ferdinand Koenig Humboldt-Universität zu Berlin, Marc Carwehl Humboldt-Universität
zu Berlin, Calum Imrie University of York
12:2010m
Other
Discussion Session 2
SEAMS Research Track

11:00 - 12:30
Empirical Findings, Future Visions, Recommendations ICPC Replications and Negative
Results (RENE) / ICPC Early Research Achievements (ERA) / ICPC Tool Demonstration /
ICPC Research Trackat 205
Chair(s): Mark Hills Appalachian State University, Coen De Roover Vrije
Universiteit Brussel, Gema Rodríguez-Pérez University of British Columbia (UBC)
11:0010m
Talk
Terminal Lucidity: Envisioning the Future of the Terminal
ICPC Research Track
Michael MacInnis Carleton University, Olga Baysal Carleton University, Michele
Lanza Software Institute - USI, Lugano
Pre-print
11:106m
Talk
Exploring Code Comprehension in Scientific Programming: Preliminary Insights from
Research Scientists
ICPC Early Research Achievements (ERA)
Alyssia Chen University of Hawaii at Manoa, Carol Wong University of Hawaii at
Manoa, Bonita Sharif University of Nebraska-Lincoln, USA, Anthony Peruma University
of Hawai‘i at Mānoa
Pre-print
11:1610m
Talk
Method Names in Jupyter Notebooks: An Exploratory Study
ICPC Research Track
Carol Wong University of Hawaii at Manoa, Gunnar Larsen University of Hawaii at
Manoa, Rocky Huang University of Hawaii at Manoa, Bonita Sharif University of
Nebraska-Lincoln, USA, Anthony Peruma University of Hawai‘i at Mānoa
11:266m
Talk
SCALAR: A Part-of-speech Tagger for Identifiers
ICPC Tool Demonstration
Christian Newman , Brandon Scholten Kent State University, Sophia Testa Kent State
University, Joshua Behler Kent State University, Syreen Banabilah Kent State
University, Michael L. Collard The University of Akron, Michael J. Decker Bowling
Green State University, Mohamed Wiem Mkaouer University of Michigan - Flint, Marcos
Zampieri George mason University, Eman Abdullah AlOmar Stevens Institute of
Technology, USA, Reem Alsuhaibani Prince Sultan University, Anthony Peruma
University of Hawai‘i at Mānoa, Jonathan I. Maletic Kent State University
11:326m
Talk
How do Papers Make into Machine Learning Frameworks: A Preliminary Study on
TensorFlow
ICPC Early Research Achievements (ERA)
Federica Pepe University of Sannio, Claudia Farkas York University, Maleknaz Nayebi
York University, Giulio Antoniol Ecole Polytechnique de Montreal, Massimiliano Di
Penta University of Sannio, Italy
11:384m
Talk
Toward Neurosymbolic Program Comprehension
ICPC Early Research Achievements (ERA)
Alejandro Velasco William & Mary, Aya Garryyeva William and Mary, David Nader
Palacio William & Mary, Antonio Mastropaolo William and Mary, USA, Denys Poshyvanyk
William & Mary
 Pre-print
11:4210m
Talk
Combining Static Analysis Techniques for Program Comprehension Using Slicito
ICPC Tool Demonstration
Robert Husak Charles University, Jan Kofroň Charles University, Filip Zavoral
Charles University
Pre-print File Attached
11:526m
Talk
Mining Code Change Patterns in Ada Projects
ICPC Replications and Negative Results (RENE)
Robin van Straeten Radboud University, Bin Lin Hangzhou Dianzi University
11:586m
Talk
Telling Software Evolution Stories With Sonification
ICPC Early Research Achievements (ERA)
Carmen Armenti Software Institute - USI, Lugano, Michele Lanza Software Institute -
USI, Lugano
12:0410m
Talk
Attributed Multiplex Learning for Analogical Third-Party Library Recommendation and
Retrieval
ICPC Research Track
Baihui Sang State Key Laboratory for Novel Software Technology, Nanjing University,
Liang Wang Nanjing University, Jierui Zhang Nanjing University, Xianping Tao
Nanjing University
12:146m
Talk
LLM2FedLLM - A Tool for Simulating Federated LLMs for Software Engineering Tasks
ICPC Tool Demonstration
Jahnavi Kumar Indian Institute of Technology Tirupati, India, Siddhartha Gandu
Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of
Technology, Tirupati
12:2010m
Live Q&A
Session's Discussion: "Empirical Findings, Future Visions, Recommendations"
ICPC Research Track

11:00 - 12:30
Experiential LearningCSEE&T at 206
Chair(s): Michael Hilton Carnegie Mellon University
Due to a last minute change, the presentation of the paper “Robotics Software
Engineering Education: An Experience Report” (originally scheduled to be presented
in the ‘Gamification and Engagement in Learning’ session at 16h on Tuesday) is
being moved to this session as a 4th paper to be presented at noon.

11:0020m
Talk
Assessing Work-Based Learning in the Senior Years of a Software Engineering
Graduate Apprenticeship Program
Syed Waqar Nabi University of Glasgow, Oana Andrei University of Glasgow, Matthew
Barr University of Glasgow, Quintin Cutts University of Glasgow, UK, Joseph Maguire
University of Glasgow ,UK, Alistair Morrison University of Glasgow, Jack Parkinson
University of Glasgow, Derek Somerville University of Glasgow, Tim Storer
University of Glasgow
11:2020m
Talk
Beyond the Classroom: Bridging the Gap Between Academia and Industry with a Hands-
on Learning Approach
Mingyang Xu University of Waterloo, Ryan Liu University of Waterloo, Mark Stoodley
IBM Canada, Ladan Tahvildari University of Waterloo
Pre-print
11:4020m
Talk
The Development of Reflective Practice on a Work-Based Software Engineering
Program: A Longitudinal Study
Matthew Barr University of Glasgow, Syed Waqar Nabi University of Glasgow, Oana
Andrei University of Glasgow
Pre-print
12:0020m
Talk
Robotics Software Engineering Education: An Experience Report
Meenakshi Manjunath Technical University of Applied Sciences Würzburg-Schweinfurt,
Jeshwitha Jesus Raja Technical University of Applied Sciences Würzburg-Schweinfurt,
Rainer Herrler Technical University of Applied Sciences Würzburg-Schweinfurt,
Marian Daun Technical University of Applied Sciences Würzburg-Schweinfurt
11:00 - 12:30
Session4: Human-AI Collaboration & Legal Aspects of using FMFORGE Research Papers /
FORGE Industry Papers at 207
Chair(s): Zhenhao Li York University
11:0012m
Long-paper
Extracting Fix Ingredients using Language Models
FORGE Research Papers
Julian Prenner Free University of Bozen-Bolzano, Romain Robbes CNRS, LaBRI,
University of Bordeaux
11:1212m
Long-paper
CodeFlow: Program Behavior Prediction with Dynamic Dependencies Learning
FORGE Research Papers
Cuong Chi Le FPT Software AI Center, Hoang Nhat Phan Nanyang Technological
University, Huy Nhat Phan FPT Software AI Center, Tien N. Nguyen University of
Texas at Dallas, Nghi D. Q. Bui Salesforce Research
11:2412m
Long-paper
Addressing Specific and Complex Scenarios in Semantic Parsing
FORGE Research Papers
Yu Wang Xi'an Jiaotong University, Ming Fan Xi'an Jiaotong University, Ting Liu
Xi'an Jiaotong University
11:3612m
Long-paper
Skill over Scale: The Case for Medium, Domain-Specific Models for SE
FORGE Research Papers
Manisha Mukherjee Carnegie Mellon University, Vincent J. Hellendoorn Carnegie
Mellon University
Pre-print
11:4812m
Long-paper
Resource-Efficient & Effective Code Summarization
FORGE Research Papers
Saima Afrin William & Mary, Joseph Call William & Mary, Khai Nguyen William & Mary,
Oscar Chaparro William & Mary, Antonio Mastropaolo William and Mary, USA
12:006m
Short-paper
How Developers Interact with AI: A Taxonomy of Human-AI Collaboration in Software
Engineering
FORGE Research Papers
Christoph Treude Singapore Management University, Marco Gerosa Northern Arizona
University
Pre-print
12:066m
Short-paper
"So what if I used GenAI?” - Legal Implications of Using GenAI in Software
Engineering Research
FORGE Research Papers
Gouri Ginde (Deshpande) University of Calgary
Pre-print
12:126m
Short-paper
Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast
FORGE Research Papers
Marilyn Rego Purdue University, Wen Fan Purdue University, Xin Hu Univeristy of
Michigan - Ann Arbor, Sanya Dod , Zhaorui Ni Purdue University, Danning Xie Purdue
University, Jenna DiVincenzo (Wise) Purdue University, Lin Tan Purdue University
12:186m
Short-paper
Towards Generating App Feature Descriptions Automatically with LLMs: the Setapp
Case Study
FORGE Industry Papers
Yevhenii Peteliev MacPaw, Ivan Synytsia MacPaw, Nataliia Stulova MacPaw
11:00 - 12:30
Trustworthy AI systemsCAIN Research and Experience Papers / CAIN Industry Talks at
208
Chair(s): Tim Menzies North Carolina State University
Add Session Information
11:0015m
Talk
ImageBiTe: A Framework for Evaluating Representational Harms in Text-to-Image
Models
CAIN Research and Experience Papers
Sergio Morales Universitat Oberta de Catalunya, Robert Clarisó Universitat Oberta
de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology
11:1510m
Talk
Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled
Airborne Applications
CAIN Research and Experience Papers
Chandrasekar S IIIT Hyderabad, Vyakhya Gupta IIIT Hyderabad, Prakhar Jain IIIT
Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad
11:2510m
Talk
From Hazard Identification to Control Design: Proactive and AI-Supported Safety
Engineering for ML-powered Systems
CAIN Research and Experience Papers
Yining Hong Carnegie Mellon University, Christopher Timperley , Christian Kästner
Carnegie Mellon University
11:3515m
Talk
Bringing Machine Learning Models Beyond the Experimental Stage with Explainable AI
CAIN Research and Experience Papers
Niels With Mikkelsen Jyske Bank, Lasse Pedersen Jyske Bank, Mansoor Hussain Jyske
Bank, Victor Foged Deloitte, Ekkart Kindler Technical University of Denmark
11:5012m
Talk
Is Generated Images Suitable for Weakness Detection?
CAIN Industry Talks
Haruki Yokoyama Fujitsu Limited, Fuyuki Ishikawa National Institute of Informatics
12:0212m
Talk
Challenges in AI Projects for Machinery and Plant Engineering
CAIN Industry Talks
Richard Nordsiek XITASO GmbH IT & Software Solutions, Jan-Philipp Steghöfer XITASO
GmbH IT & Software Solutions, Manish Bhandari XITASO GmbH IT and Software Solutions
12:1416m
Other
Discussion
CAIN Research and Experience Papers

11:00 - 12:30
Software Professionals Experience / DS SessionCHASE Research Track at 210
Chair(s): Rahul Mohanani University of Jyväskylä, Irum Rauf The Open University, UK
11:0015m
Talk
Exit the Code: A Model for Understanding Career Abandonment Intention Among
Software Developers
Tiago Massoni Federal University of Campina Grande, Ricardo Duarte State University
of Paraíba, Ruan Oliveira EBSERH Paraíba
Pre-print
11:1515m
Talk
Blockchain Developer Experience: A Multivocal Literature Review
Pamella Soares de Sousa State University of Ceara, Allysson Allex Araújo Federal
University of Cariri, Giuseppe Destefanis Brunel University London, Rumyana Neykova
Brunel University London, Raphael Saraiva State University of Ceara, Jerffeson
Teixeira de Souza State University of Ceara, Brazil
Pre-print
11:3015m
Talk
How Programmers Interact with Multimodal Software Documentation
Deeksha M. Arya McGill University, Jin L.C. Guo McGill University, Martin P.
Robillard McGill University
11:4515m
Talk
How Do Developers Use Code Suggestions in Pull Request Reviews?
Abir Bouraffa University of Hamburg, Yen Dieu Pham , Walid Maalej University of
Hamburg
12:0030m
Doctoral symposium paper
Doctoral and Early Career Symposium (DECS) Session
Yvonne Dittrich IT University of Copenhagen, Denmark, Irum Rauf The Open
University, UK
11:00 - 12:30
Session 1: LLM for TestingAST at 211
Session chair: Cailin Winston

11:0030m
Full-paper
Acceptance Test Generation with Large Language Models: An Industrial Case Study
Margarida Ferreira University of Porto and Critical TechWorks, Luís Viegas
University of Porto and Critical TechWorks, João Pascoal Faria Faculty of
Engineering, University of Porto and INESC TEC, Bruno Lima Faculty of Engineering
of the University of Porto & LIACC
Pre-print
11:3030m
Full-paper
AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model
Severin Primbs University of Passau, Benedikt Fein University of Passau, Gordon
Fraser University of Passau
Pre-print
12:0030m
Full-paper
Simulink Mutation Testing using CodeBERT
Jingfan Zhang University of Ottawa, Delaram Ghobari University of Ottawa, Mehrdad
Sabetzadeh University of Ottawa, Shiva Nejati University of Ottawa
Pre-print
11:00 - 12:30
Doctoral Symposium 1 (Detailed Presentation)CAIN Doctoral Symposium at 212
Add Session Information
11:0020m
Talk
Optimizing Data Analytics Workflows through User-driven Experimentation: Progress
and Updates
Keerthiga Rajenthiram Vrije Universiteit Amsterdam
11:2020m
Talk
CoCo Challenges in ML Engineering Teams: How to Collaboratively Build ML-Enabled
Systems
Aidin Azamnouri Technical University of Munich
11:4020m
Talk
Towards a Privacy-by-Design Framework for ML-Enabled Systems
Yorick Sens Ruhr University Bochum
12:0020m
Talk
Towards an Adoption Framework to Foster Trust in AI-Assisted Software Engineering
Marvin Muñoz Barón Technical University of Munich
11:00 - 12:30
Defects, bugs, and issuesMSR Data and Tool Showcase Track / MSR Technical Papers /
MSR Registered Reports at 214
Chair(s): Minhaz Zibran Idaho State University
11:0010m
Talk
Learning from Mistakes: Understanding Ad-hoc Logs through Analyzing Accidental
Commits
MSR Technical Papers
Yi-Hung Chou University of California, Irvine, Yiyang Min Amazon, April Wang ETH
Zürich, James Jones University of California at Irvine
Pre-print
11:1010m
Talk
On the calibration of Just-in-time Defect Prediction
MSR Technical Papers
Xhulja Shahini paluno - University of Duisburg-Essen, Jone Bartel University of
Duisburg-Essen, paluno, Klaus Pohl University of Duisburg-Essen, paluno
11:2010m
Talk
An Empirical Study on Leveraging Images in Automated Bug Report Reproduction
MSR Technical Papers
Dingbang Wang University of Connecticut, Zhaoxu Zhang University of Southern
California, Sidong Feng Monash University, William G.J. Halfond University of
Southern California, Tingting Yu University of Connecticut
11:3010m
Talk
It’s About Time: An Empirical Study of Date and Time Bugs in Open-Source Python
SoftwareTechnical Track Distinguished Paper Award
MSR Technical Papers
Shrey Tiwari Carnegie Mellon University, Serena Chen University of California, San
Diego, Alexander Joukov Stony Brook University, Peter Vandervelde University of
California, Santa Barbara, Ao Li Carnegie Mellon University, Rohan Padhye Carnegie
Mellon University
Pre-print
11:4010m
Talk
Enhancing Just-In-Time Defect Prediction Models with Developer-Centric Features
MSR Technical Papers
Emanuela Guglielmi University of Molise, Andrea D'Aguanno University of Molise,
Rocco Oliveto University of Molise, Simone Scalabrino University of Molise
11:5010m
Talk
Revisiting Defects4J for Fault Localization in Diverse Development Scenarios
MSR Technical Papers
Md Nakhla Rafi Concordia University, An Ran Chen University of Alberta, Tse-Hsun
(Peter) Chen Concordia University, Shaohua Wang Central University of Finance and
Economics
12:005m
Talk
Mining Bug Repositories for Multi-Fault Programs
MSR Data and Tool Showcase Track
Dylan Callaghan Stellenbosch University, Bernd Fischer Stellenbosch University
12:055m
Talk
HaPy-Bug - Human Annotated Python Bug Resolution Dataset
MSR Data and Tool Showcase Track
Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Mikołaj Fejzer
Nicolaus Copernicus University in Toruń, Jakub Narębski Nicolaus Copernicus
University in Toruń, Radosław Woźniak Nicolaus Copernicus University in Toruń,
Łukasz Halada University of Wrocław, Poland, Aleksander Kazecki Nicolaus Copernicus
University in Toruń, Mykhailo Molchanov Igor Sikorsky Kyiv Polytechnic Institute,
Ukraine, Krzysztof Stencel University of Warsaw
Pre-print File Attached
12:105m
Talk
SPRINT: An Assistant for Issue Report Management
MSR Data and Tool Showcase Track
Ahmed Adnan , Antu Saha William & Mary, Oscar Chaparro William & Mary
Pre-print
12:155m
Talk
Identifying and Replicating Code Patterns Driving Performance Regressions in
Software Systems
MSR Registered Reports
Denivan Campos University of Molise, Luana Martins University of Salerno, Emanuela
Guglielmi University of Molise, Michele Tucci University of L'Aquila, Daniele Di
Pompeo University of L'Aquila, Simone Scalabrino University of Molise, Vittorio
Cortellessa University of L'Aquila, Dario Di Nucci University of Salerno, Rocco
Oliveto University of Molise
11:00 - 12:30
Security and legal aspectsMSR Industry Track / MSR Data and Tool Showcase Track /
MSR Technical Papers at 215
Chair(s): Mohammad Ghafari TU Clausthal
11:0010m
Talk
Wolves in the Repository: A Software Engineering Analysis of the XZ Utils Supply
Chain Attack
MSR Technical Papers
Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Thomas Durieux TU
Delft
Pre-print
11:1010m
Talk
Software Composition Analysis and Supply Chain Security in Apache Projects: an
Empirical Study
MSR Technical Papers
Sabato Nocera University of Salerno, Sira Vegas Universidad Politecnica de Madrid,
Giuseppe Scanniello University of Salerno, Natalia Juristo Universidad Politecnica
de Madrid
Pre-print
11:2010m
Talk
Good practice versus reality: a landscape analysis of Research Software metadata
adoption in European Open Science Clusters
MSR Technical Papers
Anas El Hounsri Universidad Politécnica de Madrid, Daniel Garijo Universidad
Politécnica de Madrid
11:3010m
Talk
Towards Security Commit Message Standardization
MSR Technical Papers
Sofia Reis Instituto Superior Técnico, U. Lisboa & INESC-ID, Rui Abreu Faculty of
Engineering of the University of Porto, Portugal, Corina Pasareanu CMU, NASA, KBR
11:4010m
Talk
From Industrial Practices to Academia: Uncovering the Gap in Vulnerability Research
and Practice
MSR Technical Papers
Zhuang Liu , Xing Hu Zhejiang University, Jiayuan Zhou Queen's University, Xin Xia
Huawei
11:505m
Talk
Patch Me If You Can—Securing the Linux Kernel
MSR Industry Track
Gunnar Kudrjavets Amazon Web Services, USA
Pre-print
11:555m
Talk
OSS License Identification at Scale: A Comprehensive Dataset Using World of Code
MSR Data and Tool Showcase Track
Mahmoud Jahanshahi University of Tennessee, David Reid University of Tennessee,
Adam McDaniel University of Tennessee Knoxville, Audris Mockus University of
Tennessee
12:005m
Talk
SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset
MSR Data and Tool Showcase Track
Chavhan Sujeet Yashavant Indian Institute of Technology, Kanpur, Mitrajsinh Chavda
Indian Institute of Technology Kanpur, India, Saurabh Kumar Indian Institute of
Technology Hyderabad, India, Amey Karkare IIT Kanpur, Angshuman Karmakar Indian
Institute of Technology Kanpur, India
Pre-print
12:055m
Talk
ICVul: A Well-labeled C/C++ Vulnerability Dataset with Comprehensive Metadata and
VCCs
MSR Data and Tool Showcase Track
Chaomeng Lu DistriNet Group-T, KU Leuven, Tianyu Li DistriNet Group-T, KU Leuven,
Toon Dehaene KU Leuven, Bert Lagaisse DistriNet Group-T, KU Leuven
12:105m
Talk
A Dataset of Software Bill of Materials for Evaluating SBOM Consumption Tools
MSR Data and Tool Showcase Track
Rio Kishimoto Osaka University, Tetsuya Kanda Notre Dame Seishin University, Yuki
Manabe The University of Fukuchiyama, Katsuro Inoue Nanzan University, Shi Qiu
Toshiba, Yoshiki Higo Osaka University
Pre-print
12:155m
Talk
Wild SBOMs: a Large-scale Dataset of Software Bills of Materials from Public Code
MSR Data and Tool Showcase Track
Luis Soeiro LTCI, Télécom Paris, Institut Polytechnique de Paris, Thomas Robert
LTCI, Télécom Paris, Institut Polytechnique de Paris, Stefano Zacchiroli Télécom
Paris, Polytechnic Institute of Paris
Pre-print
12:205m
Talk
MaLAware: Automating the Comprehension of Malicious Software Behaviours using Large
Language Models (LLMs)
MSR Data and Tool Showcase Track
BIKASH SAHA Indian Institute of Technology Kanpur, Nanda Rani Indian Institute of
Technology Kanpur, Sandeep K. Shukla Indian Institute of Technology Kanpur
Pre-print
12:30 - 14:00
SEAMS steering committee lunch meetingSEAMS Research Track at 204
12:3090m
Meeting
SEAMS steering committee meeting
12:30 - 14:00
CSEE&T PosterCSEE&T at 209 Poster Area
CSEE&T posters will be set up in Room 209 Poster Area starting Sunday and will
remain there until Monday evening. Additionally, posters from other conferences
will also be displayed in this area at the same time. Presenters will be available
next to their posters during their designated session (from 13:00 to 14:00 for
CSEE&T).

13:0060m
Poster
Energy-Efficiency in WordPress Development: A Teaching Approach Using Code Proxies
Nilma Abbas Zealand Academy of Technologies and Business, Maja H. Kirkeby Roskilde
University
13:0060m
Poster
Can We Leverage Replication Studies to Instil Ethical Practices in Future Software
Engineers?
Gouri Ginde (Deshpande) University of Calgary, Emily Marasco University of Calgary
13:0060m
Poster
Navigating Academic Careers in Software Engineering: An Empirical Study of Faculty
and Postdoctoral Roles
Mohamad Kassab Boston University, USA
13:0060m
Poster
Lessons from a Summer School Integrating AI and Software Development
Esteban Parra Belmont University, Juan Sebastian Rodriguez-Casas Endava, Sonia
Haiduc Florida State University, Mario Linares-Vásquez Universidad de los Andes,
Sophia Willingham Belmont University
13:0060m
Poster
Mirror, Mirror on the Wall, Who Is the Smartest of Them All: A Student-Facing
Dashboard for Conceptual Modeling Education
Elena Tiukhova KU Leuven, Charlotte Verbruggen KU Leuven, Tinne De Laet KU Leuven,
Bart Baesens KU Leuven, Monique Snoeck Katholieke Universiteit Leuven
13:0060m
Poster
Automatic Assessment of Structural Induction Proofs for Undergraduate Computer
Science Courses
Edward Sabinus Martin-Luther-University Halle-Wittenberg, Thomas Kühn Martin-
Luther-University Halle-Wittenberg, Wolf Zimmermann Martin-Luther-University Halle-
Wittenberg
13:0060m
Poster
A Software Engineering Capstone Infrastructure that Encourages Spreading Work Over
Time and Team
Spencer Smith McMaster University, Computing and Software Department, Christopher
Schankula McMaster University, Lucas Dutton McMaster University, Christopher Anand
McMaster University
13:0060m
Poster
An Experiential Introduction to Software Design: Design Thinking Meets Event-Driven
Programming
Christopher W. Schankula McMaster University, Habib Ghaffari McMaster University,
Spencer Smith McMaster University, Computing and Software Department, Christopher
Anand McMaster University
13:0060m
Poster
Level Up Peer Review in Education: Investigating genAI-driven Gamification system
and its influence on Peer Feedback Effectiveness
Rafal Wlodarski Carnegie Mellon Silicon Valley, Leonardo Da Silva Sousa Carnegie
Mellon University, USA, Allison Connell Pensky Carnegie Mellon University
12:30 - 13:00
CAIN Poster-LunchtimeCAIN Research and Experience Papers at Canada Hall 3 Poster
Area
Add Session Information
12:30 - 14:00
LunchCatering at Canada Hall 3 plus Foyer
12:3090m
Lunch
Monday Lunch
12:30 - 14:00
Diversity LunchMSR Catering / MSR Program / MSR Mining Challenge / MSR Data and
Tool Showcase Track / MSR Technical Papers / MSR Keynotes / MSR Industry Track at
RCS Atrium
12:3090m
Lunch
MSR Diversity Lunch
MSR Catering

12:45 - 14:00
Steering Committee MeetingCSEE&T at 206
12:4575m
Meeting
CSEE&T Steering Committee Meeting
13:00 - 14:00
MSR Poster (Monday)MSR Data and Tool Showcase Track / MSR Technical Papers / MSR
Mining Challenge at Canada Hall 3 Poster Area
13:0060m
Talk
SPRINT: An Assistant for Issue Report Management
MSR Data and Tool Showcase Track
Ahmed Adnan , Antu Saha William & Mary, Oscar Chaparro William & Mary
Pre-print
13:0060m
Talk
Combining Large Language Models with Static Analyzers for Code Review Generation
MSR Technical Papers
Imen Jaoua DIRO, Université de Montréal, Oussama Ben Sghaier DIRO, Université de
Montréal, Houari Sahraoui DIRO, Université de Montréal
Pre-print
13:0060m
Talk
Can LLMs Replace Manual Annotation of Software Engineering Artifacts?Technical
Track Distinguished Paper Award
MSR Technical Papers
Toufique Ahmed IBM Research, Prem Devanbu University of California at Davis,
Christoph Treude Singapore Management University, Michael Pradel University of
Stuttgart
Pre-print
13:0060m
Talk
Dependency Update Adoption Patterns in the Maven Software Ecosystem
MSR Mining Challenge
Baltasar Berretta College of Wooster, Augustus Thomas College of Wooster, Heather
Guarnera The College of Wooster
13:0060m
Talk
Popularity and Innovation in Maven Central
MSR Mining Challenge
Nkiru Ede Victoria University of Wellington, Jens Dietrich Victoria University of
Wellington, Ulrich Zülicke Victoria University of Wellington
Pre-print
13:0060m
Talk
Chasing the Clock: How Fast Are Vulnerabilities Fixed in the Maven Ecosystem?
MSR Mining Challenge
Md Fazle Rabbi Idaho State University, Arifa Islam Champa Idaho State University,
Rajshakhar Paul Wayne State University, Minhaz F. Zibran Idaho State University
Pre-print
13:0060m
Talk
SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset
MSR Data and Tool Showcase Track
Chavhan Sujeet Yashavant Indian Institute of Technology, Kanpur, Mitrajsinh Chavda
Indian Institute of Technology Kanpur, India, Saurabh Kumar Indian Institute of
Technology Hyderabad, India, Amey Karkare IIT Kanpur, Angshuman Karmakar Indian
Institute of Technology Kanpur, India
Pre-print
13:0060m
Talk
TerraDS: A Dataset for Terraform HCL Programs
MSR Data and Tool Showcase Track
Christoph Buehler University of St. Gallen, David Spielmann University of St.
Gallen, Roland Meier armasuisse, Guido Salvaneschi University of St. Gallen
Pre-print
13:0060m
Talk
Mining a Decade of Contributor Dynamics in Ethereum: A Longitudinal StudyFOSS Award
MSR Technical Papers
Matteo Vaccargiu University of Cagliari, Sabrina Aufiero University College London
(UCL), Cheick Ba Queen Mary University of London, Silvia Bartolucci University
College London, Richard Clegg Queen Mary University London, Daniel Graziotin
University of Hohenheim, Rumyana Neykova Brunel University London, Roberto Tonelli
University of Cagliari, Giuseppe Destefanis Brunel University London
Pre-print
13:0060m
Talk
CoMRAT: Commit Message Rationale Analysis Tool
MSR Data and Tool Showcase Track
Mouna Dhaouadi University of Montreal, Bentley Oakes Polytechnique Montréal,
Michalis Famelis Université de Montréal
Pre-print Media Attached File Attached
13:0060m
Talk
A Dataset of Software Bill of Materials for Evaluating SBOM Consumption Tools
MSR Data and Tool Showcase Track
Rio Kishimoto Osaka University, Tetsuya Kanda Notre Dame Seishin University, Yuki
Manabe The University of Fukuchiyama, Katsuro Inoue Nanzan University, Shi Qiu
Toshiba, Yoshiki Higo Osaka University
Pre-print
13:0060m
Talk
A Dataset of Contributor Activities in the NumFocus Open-Source CommunityData/Tool
Track Distinguished Dataset Award
MSR Data and Tool Showcase Track
Youness Hourri University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS,
Tom Mens University of Mons
Pre-print
13:0060m
Talk
Does Functional Package Management Enable Reproducible Builds at Scale?
Yes.Technical Track Distinguished Paper Award
MSR Technical Papers
Julien Malka LTCI, Télécom Paris, Institut Polytechnique de Paris, France, Stefano
Zacchiroli Télécom Paris, Polytechnic Institute of Paris, Théo Zimmermann Télécom
Paris, Polytechnic Institute of Paris
Pre-print
13:0060m
Talk
HaPy-Bug - Human Annotated Python Bug Resolution Dataset
MSR Data and Tool Showcase Track
Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Mikołaj Fejzer
Nicolaus Copernicus University in Toruń, Jakub Narębski Nicolaus Copernicus
University in Toruń, Radosław Woźniak Nicolaus Copernicus University in Toruń,
Łukasz Halada University of Wrocław, Poland, Aleksander Kazecki Nicolaus Copernicus
University in Toruń, Mykhailo Molchanov Igor Sikorsky Kyiv Polytechnic Institute,
Ukraine, Krzysztof Stencel University of Warsaw
Pre-print File Attached
13:0060m
Talk
Do LLMs Provide Links to Code Similar to what they Generate? A Study with Gemini
and Bing CoPilot
MSR Technical Papers
Daniele Bifolco University of Sannio, Pietro Cassieri University of Salerno,
Giuseppe Scanniello University of Salerno, Massimiliano Di Penta University of
Sannio, Italy, Fiorella Zampetti University of Sannio, Italy
Pre-print
13:0060m
Talk
Out of Sight, Still at Risk: The Lifecycle of Transitive Vulnerabilities in Maven
MSR Mining Challenge
Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Mikołaj Fejzer
Nicolaus Copernicus University in Toruń, Jakub Narębski Nicolaus Copernicus
University in Toruń, Krzysztof Rykaczewski Nicolaus Copernicus University in Toruń,
Poland, Krzysztof Stencel University of Warsaw
Pre-print
13:0060m
Talk
Refactoring for Dockerfile Quality: A Dive into Developer Practices and Automation
Potential
MSR Technical Papers
Emna Ksontini University of Michigan, Meriem Mastouri University of Michigan, Rania
Khalsi University of Michigan - Flint, Wael Kessentini DePaul University
13:0060m
Talk
Cascading Effects: Analyzing Project Failure Impact in the Maven Central Ecosystem
MSR Mining Challenge
Mina Shehata Belmont University, Saidmakhmud Makhkamjonoov Belmont University,
Mahad Syed Belmont University, Esteban Parra Belmont University
13:0060m
Talk
MaLAware: Automating the Comprehension of Malicious Software Behaviours using Large
Language Models (LLMs)
MSR Data and Tool Showcase Track
BIKASH SAHA Indian Institute of Technology Kanpur, Nanda Rani Indian Institute of
Technology Kanpur, Sandeep K. Shukla Indian Institute of Technology Kanpur
Pre-print
13:0060m
Talk
Investigating the Understandability of Review Comments on Code Change Requests
MSR Technical Papers
Md Shamimur Rahman University of Saskatchewan, Canada, Zadia Codabux University of
Saskatchewan, Chanchal K. Roy University of Saskatchewan
14:00 - 17:30
Child Care Monday PMSocial, Networking and Special Rooms at 102 Child Care
14:00 - 15:30
Talks, Discussions, and ClosingTechDebt Technical Papers at 103
Chair(s): Rodrigo Spinola Virginia Commonwealth University
14:0010m
Talk
Lighting Talk: Leveraging Context Information for Self-Admitted Technical Debt
Detection
Miki Yonekura Nara Institute of Science and Technology, Yutaro Kashiwa Nara
Institute of Science and Technology, Bin Lin Hangzhou Dianzi University, Kenji
Fujiwara Nara Women’s University, Hajimu Iida Nara Institute of Science and
Technology
14:1020m
Talk
Discussion: Reframing Technical Debt - Insights from the Dagstuhl Perspectives
Workshop
P: Neil Ernst University of Victoria, P: Zadia Codabux University of Saskatchewan
14:3050m
Town Hall
M: Carolyn Seaman University of Maryland Baltimore County
15:2010m
Day closing
Awards & Closing & TechDebt 2026
14:00 - 15:30
Paper Presentations 2 and Tutorial 1SBFT at 104
Chair(s): Alessio Gambi Austrian Institute of Technology (AIT)
14:0015m
Research paper
Differential Performance Fuzzing of Configuration Options
Haesue Baik University of Michigan, Chenyang Yang , Vasudev Vikram Carnegie Mellon
University, Pooyan Jamshidi University of South Carolina, Rohan Padhye Carnegie
Mellon University, Christian Kästner Carnegie Mellon University
14:1515m
Research paper
Multi-Phase Taint Analysis for JSON Inference in Search-Based Fuzzing
Susruthan Seran , Onur Duman Kristiania University College, Andrea Arcuri
Kristiania University College and Oslo Metropolitan University
14:3060m
Tutorial
Tutorial by Seongmin Lee
Seongmin Lee Max Planck Institute for Security and Privacy (MPI-SP)
14:00 - 15:30
RoSE energetic sessionRoSE at 105
14:0090m
Other
RoSE Interactive Session A
14:00 - 15:30
Instructional Methods and Curriculum DesignCSEE&T at 106
Chair(s): Rafal Wlodarski Carnegie Mellon Silicon Valley
14:0020m
Talk
Software Engineering Education for Technical Engineering Degrees and Its Specific
Needs
Marian Daun Technical University of Applied Sciences Würzburg-Schweinfurt
14:2020m
Talk
Software Engineering Courses through the Lens of an Education Intelligence Tool
Manuel Stöger TU Wien, Johann Grabner TU Wien, Mario Bernhart TU Wien, Thomas
Grechenig TU Wien
14:4020m
Talk
Software Engineering Educational Experience in Building an Intelligent Tutoring
System
Zhiyu Fan National University of Singapore, Yannic Noller Ruhr University Bochum,
Ashish Dandekar National University of Singapore, Abhik Roychoudhury National
University of Singapore
15:0020m
Talk
Learner Preferences in Software Engineering Education: A Comparative Study of
Similarities and Differences Between University Students and Industry Professionals
Marian Daun Technical University of Applied Sciences Würzburg-Schweinfurt, Jennifer
Brings Bingen Technical University of Applied Sciences, Viktoria Stenkova
University of Duisburg-Essen, Viktoria Stenkova University of Duisburg-Essen
14:00 - 15:30
Activity: Curating Model Problems for Software DesigningDesigning at 201
Chair(s): Marian Petre School of Computing and Communications, The Open University,
UK, Mary Shaw Carnegie Mellon University
14:0090m
Other
Curating Model Problems for Software Designing
Mary Shaw Carnegie Mellon University, Marian Petre School of Computing and
Communications, The Open University, UK
Pre-print
14:00 - 15:30
Quiet Room Monday 2PMSocial, Networking and Special Rooms at 202
14:00 - 15:30
Session 5 - Formal Specification and Verification:FormaliSE Research Track at 203
Chair(s): Toshiaki Aoki JAIST
14:0030m
Talk
Refining Alloy-Based Mutation Operators to Reflect Common Mistakes
Ana Jovanovic The University of Texas at Arlington, Mohammad Nurullah Patwary The
University of Texas at Arlington, Allison Sullivan University of Texas at Arlington
14:3030m
Talk
Verifying Multiple TLA+ Configurations with Blast
Paul Somson INESC TEC, Alcino Cunha University of Minho; INESC TEC
Pre-print
15:0030m
Talk
Typestates Specification and Verification in Frama-C
Sébastien Patte Université Paris-Saclay, CEA, List, Virgile Prevosto Université
Paris-Saclay, CEA, List
14:00 - 15:30
Session 3: Resource AllocationSEAMS Research Track at 204
Chair(s): Matteo Camilli Politecnico di Milano
14:0025m
Talk
Dynamic Resource Allocation for Deadline-Constrained Neural Network TrainingFULL
Luciano Baresi Politecnico di Milano, Marco Garlini Politecnico di Milano, Giovanni
Quattrocchi Politecnico di Milano
Pre-print
14:2525m
Talk
Integrating Performance Prediction, Anomaly Prediction and Root-Cause Localization
for Self-Healing Software SystemsFULL
Hamza Hussain York University, Ghadeer Abuoda York University, Marin Litoiu York
University, Canada
14:5025m
Talk
WasteLess: An Optimal Provisioner for Self-Adaptive Second-Generation Serverless
ApplicationsFULL
Emilio Incerto IMT School for Advanced Studies Lucca, Roberto Pizziol IMT School
for Advanced Studies Lucca, Gabriele Russo Russo University of Rome Tor Vergata,
Italy, Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy
15:1515m
Other
Discussion Session 3
14:00 - 15:30
Code GenerationICPC Research Track at 205
Chair(s): Coen De Roover Vrije Universiteit Brussel, Gema Rodríguez-Pérez
University of British Columbia (UBC)
14:0010m
Talk
Code Ranking with Structure Awareness Contrastive Learning
Hailin Huang South China University of Technology, Liuwen Cao South China
University of Technology, Jiexin Wang South China University of Technology,
Tianchen Yu School of Software Engineering, South China University of Technology,
Yi Cai School of Software Engineering, South China University of Technology,
Guangzhou, China
14:1010m
Talk
Algorithmic Inversion: A Learnable Algorithm Representation for Code Generation
zhongyi shi Chinese Academy of Science Institute of Software, fuzhang wu Chinese
Academy of Science Institute of Software, weibin zeng Chinese Academy of Science
Institute of Software, yan kong Chinese Academy of Science Institute of Software,
sicheng shen Chinese Academy of Science Institute of Software, Yanjun Wu Institute
of Software, Chinese Academy of Sciences
14:2010m
Talk
Studying How Configurations Impact Code Generation in LLMs: the Case of ChatGPT
Benedetta Donato University of Milano - Bicocca, Leonardo Mariani University of
Milano-Bicocca, Daniela Micucci University of Milano-Bicocca, Italy, Oliviero
Riganelli University of Milano - Bicocca
Pre-print
14:3010m
Talk
Quality In, Quality Out: Investigating Training Data's Role in AI Code Generation
Cristina Improta University of Naples Federico II, Rosalia Tufano Università della
Svizzera Italiana, Pietro Liguori University of Naples Federico II, Domenico
Cotroneo University of Naples Federico II, Gabriele Bavota Software Institute @
Università della Svizzera Italiana
14:4010m
Talk
Advancing Large Language Models in Code Generation: USACO Benchmark and Bug
Mitigation Insights
Jacob Trentini Monte Vista High School, Victor Liu Seven Lakes High School, Yiming
Peng Vandegrift High School, Ziliang Zong Texas State University
14:5010m
Talk
Enhancing Code Generation for Low-Resource Languages: No Silver Bullet
Alessandro Giagnorio Software Institute @ Università della Svizzera italiana,
Alberto Martin-Lopez Software Institute - USI, Lugano, Gabriele Bavota Software
Institute @ Università della Svizzera Italiana
Pre-print
15:0010m
Talk
COFT: Making Large Language Models Better zero-shot Learners for Code Generation
Weijia Li Institute of Software, Chinese Academy of Sciences, Yongjie Qian
Department of Computer Science, North China Electric Power University, Bao ding, Ke
Gao Institute of Software, Chinese Academy of Sciences, Haixin Chen Institute of
Computing Technology, Chinese Academy of Sciences, Xinyu Wang Institute of
Software, Chinese Academy of Sciences, Yuchen Tong Institute of Computing
Technology, Chinese Academy of Sciences, Ling Li Institute of Software, Chinese
Academy of Sciences, Yanjun Wu Institute of Software, Chinese Academy of Sciences,
Chen Zhao Institute of Software, Chinese Academy of Sciences
15:1010m
Talk
On the Possibility of Breaking Copyleft Licenses When Reusing Code Generated by
ChatGPT
Gaia Colombo University of Milano - Bicocca, Leonardo Mariani University of Milano-
Bicocca, Daniela Micucci University of Milano-Bicocca, Italy, Oliviero Riganelli
University of Milano - Bicocca
Pre-print
15:2010m
Live Q&A
Session's Discussion: "Code Generation"
14:00 - 15:30
Tools and TestingCSEE&T at 206
Chair(s): Robert Chatley Imperial College London
14:0020m
Talk
Structured Analysis of Software Testing Education in Higher Education in Germany
Christine Jokisch University of Goettingen, Katharina Schramm University of
Goettingen, Sebastian Hobert TH Luebeck, Lars Wilhelmi University of Goettingen,
Matthias Schumann University of Goettingen
14:2020m
Talk
Gaps in Software Testing Education: A Survey of Academic Courses in Sweden
Ayodele Barrett Mälardalen University, Eduard P. Enoiu Malardalen University, Wasif
Afzal Mälardalen University
14:4020m
Talk
Automatic Unit Test Generation for Programming Assignments Using Large Language
Models
ZHENG Kaisheng Southern University of Science and Technology, Yuanyang Shen
Southern University of Science and Technology, Yida Tao Southern University of
Science and Technology
15:0020m
Talk
Test Early: An Approach to Introduce Younger Students to Unit Testing with
Graphical Comparison in Scratch
Herart Dominggus Nurue University of Alabama, Jeff Gray University of Alabama
14:00 - 15:30
FORGE2025 KeynoteFORGE Keynotes at 207
Chair(s): Michele Tufano Google
14:0045m
Keynote
Industry Keynote: One shall not live on LLM alone
Darya Rovdo JetBrains
14:4545m
Keynote
Industry Keynote: AI in Software Engineering at Google
Satish Chandra Google, Inc
14:00 - 15:30
Quality Assurance for AI systemsCAIN Research and Experience Papers at 208
Chair(s): Eduardo Santana de Almeida Federal University of Bahia
Add Session Information
14:0010m
Talk
Towards a Domain-Specific Modeling Language for Streamlined Change Management in AI
Systems Development
Razan Abualsaud IRIT, CNRS, Toulouse
14:1015m
Talk
An AI-driven Requirements Engineering Framework Tailored for Evaluating AI-Based
Software
Hamed Barzamini , Fatemeh Nazaritiji Northern Illinois University, Annalise
Brockmann Northern Illinois University, Hasan Ferdowsi Northern Illinois
university, Mona Rahimi Northern Illinois University
14:2515m
Talk
MLScent: A tool for Anti-pattern detection in ML projects
Karthik Shivashankar University of Oslo, Antonio Martini University of Oslo
14:4015m
Talk
Debugging and Runtime Analysis of Neural Networks with VLMs (A Case
Study)Distinguished paper Award Candidate
Boyue Caroline Hu University of Toronto, Divya Gopinath KBR; NASA Ames, Ravi Mangal
Colorado State University, Nina Narodytska VMware Research, Corina S. Păsăreanu
Carnegie Mellon University, Susmit Jha SRI
14:5515m
Talk
Investigating Issues that Lead to Code Technical Debt in Machine Learning Systems
Rodrigo Ximenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Antonio
Pedro Santos Alves Pontifical Catholic University of Rio de Janeiro, Tatiana
Escovedo Pontifical Catholic University of Rio de Janeiro, Rodrigo Spinola Virginia
Commonwealth University, Marcos Kalinowski Pontifical Catholic University of Rio de
Janeiro (PUC-Rio)
Pre-print
15:1010m
Talk
Addressing Quality Challenges in Deep Learning: The Role of MLOps and Domain
Knowledge
Santiago del Rey Universitat Politècnica De Catalunya - Barcelona Tech, Adrià
Medina Universitat Politècnica de Barcelona - BarcelonaTech (UPC), Xavier Franch
Universitat Politècnica de Catalunya, Silverio Martínez-Fernández UPC-BarcelonaTech
Pre-print
15:2010m
Other
Discussion
14:00 - 15:30
Open-Source Software (OSS)CHASE Research Track at 210
Chair(s): Bianca Trinkenreich Colorado State University
14:0510m
Talk
Great power brings great responsibility: Personalizing Conversational AI for
Diverse Problem-Solvers
Italo Santos Northern Arizona University, Katia Felizardo Federal Technological
University of Paraná, Igor Steinmacher NAU RESHAPE LAB, Marco Gerosa Northern
Arizona University
Pre-print
14:1515m
Talk
Advancing Sustainable Communities in Scientific OSS: A Replication Study with
Astropy
Jiayi Sun University of Toronto, Aarya Patil Max Planck Institute for Astronomy,
Youhai Li Carnegie Mellon University, Jin L.C. Guo McGill University, Shurui Zhou
University of Toronto
14:3015m
Talk
More Than Code: Technical and Emotional Dynamics in Solidity's Development
Matteo Vaccargiu University of Cagliari, Rumyana Neykova Brunel University London,
Nicole Novielli University of Bari, Marco Ortu University of Cagliari, Giuseppe
Destefanis Brunel University London
14:4515m
Talk
The Multifaceted Nature of Mentoring in OSS: Strategies, Qualities, and Ideal
Outcomes
Zixuan Feng Oregon State University, USA, Igor Steinmacher NAU RESHAPE LAB, Marco
Gerosa Northern Arizona University, Tyler Menezes CodeDay, Alexander Serebrenik
Eindhoven University of Technology, Reed Milewicz Sandia National Laboratories,
Anita Sarma Oregon State University
Pre-print
15:0015m
Talk
The Introduction of README and CONTRIBUTING Files in Open Source Software
Development
Matthew Gaughan Northwestern University, Kaylea Champion University of Washington,
Sohyeon Hwang Northwestern University, Aaron Shaw Northwestern University
14:00 - 15:30
Session 2: Test GenerationAST at 211
Session chair: Christof Budnik

14:0030m
Full-paper
Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic
Clinton Cao Delft University of Technology, Annibale Panichella Delft University of
Technology, Sicco Verwer TU Delft
Pre-print
14:3030m
Full-paper
Automated Test Generation for Integration Testing
Elson Kurian University of Milano Bicocca, Luca Guglielmo Università degli Studi di
Milano-Bicocca, Pietro Braione University of Milano-Bicocca, Giovanni Denaro
University of Milano - Bicocca
15:0030m
Full-paper
Automated Test Generation from Program Documentation Encoded in Code Comments
Giovanni Denaro University of Milano - Bicocca, Luca Guglielmo Università degli
Studi di Milano-Bicocca
Pre-print
14:00 - 15:30
Doctoral Symposium 2 (Detailed Presentation)CAIN Doctoral Symposium at 212
Add Session Information
14:0020m
Talk
A Holistic Framework for Evolving AI-based Systems
Merel Veracx Fontys University of Applied Sciences
14:2020m
Talk
Assessing and Enhancing the Robustness of LLM-based Multi-Agent Systems Through
Chaos Engineering.
Joshua Segun Owotogbe JADS/Tilburg University
14:4020m
Talk
Designing ML-Enabled Software Systems with ML Model Composition: A Green AI
Perspective
Rumbidzai Chitakunye Vrije Universiteit Amsterdam
15:0020m
Talk
A Metrics-Oriented Architectural Model to Characterize Complexity on Machine
Learning-Enabled Systems
Renato Cordeiro Ferreira University of São Paulo
14:00 - 15:30
AI for SE (1)MSR Technical Papers / MSR Data and Tool Showcase Track / MSR
Registered Reports at 214
Chair(s): Diego Elias Costa Concordia University, Canada
14:0010m
Talk
Combining Large Language Models with Static Analyzers for Code Review Generation
MSR Technical Papers
Imen Jaoua DIRO, Université de Montréal, Oussama Ben Sghaier DIRO, Université de
Montréal, Houari Sahraoui DIRO, Université de Montréal
Pre-print
14:1010m
Talk
Harnessing Large Language Models for Curated Code Reviews
MSR Technical Papers
Oussama Ben Sghaier DIRO, Université de Montréal, Martin Weyssow Singapore
Management University, Houari Sahraoui DIRO, Université de Montréal
Pre-print
14:2010m
Talk
SMATCH-M-LLM: Semantic Similarity in Metamodel Matching With Large Language Models
MSR Technical Papers
Nafisa Ahmed Polytechnique Montreal, Hin Chi Kwok Hong Kong Polytechnic University,
Mohammad Hamdaqa Polytechnique Montréal, Wesley Assunção North Carolina State
University
14:3010m
Talk
How Effective are LLMs for Data Science Coding? A Controlled ExperimentTechnical
Track Distinguished Paper Award
MSR Technical Papers
Nathalia Nascimento Pennsylvania State University, Everton Guimaraes Pennsylvania
State University, Sai Sanjna Chintakunta Pennsylvania State University, Santhosh AB
Pennsylvania State University
Pre-print
14:4010m
Talk
Do LLMs Provide Links to Code Similar to what they Generate? A Study with Gemini
and Bing CoPilot
MSR Technical Papers
Daniele Bifolco University of Sannio, Pietro Cassieri University of Salerno,
Giuseppe Scanniello University of Salerno, Massimiliano Di Penta University of
Sannio, Italy, Fiorella Zampetti University of Sannio, Italy
Pre-print
14:5010m
Talk
Too Noisy To Learn: Enhancing Data Quality for Code Review Comment Generation
MSR Technical Papers
Chunhua Liu The University of Melbourne, Hong Yi Lin The University of Melbourne,
Patanamon Thongtanunam University of Melbourne
15:005m
Talk
Should Code Models Learn Pedagogically? A Preliminary Evaluation of Curriculum
Learning for Real-World Software Engineering Tasks
MSR Technical Papers
Kyi Shin Khant The University of Melbourne, Hong Yi Lin The University of
Melbourne, Patanamon Thongtanunam University of Melbourne
15:055m
Talk
RepoChat: An LLM-Powered Chatbot for GitHub Repository Question-Answering
MSR Data and Tool Showcase Track
Samuel Abedu Concordia University, Laurine Menneron CESI Graduate School of
Engineering, SayedHassan Khatoonabadi Concordia University, Emad Shihab Concordia
University
15:105m
Talk
How do Copilot Suggestions Impact Developers' Frustration and Productivity?
MSR Registered Reports
Emanuela Guglielmi University of Molise, Venera Arnaoudova Washington State
University, Gabriele Bavota Software Institute @ Università della Svizzera
Italiana, Rocco Oliveto University of Molise, Simone Scalabrino University of
Molise
15:155m
Talk
Exploring the Lifecycle and Maintenance Practices of Pre-Trained Models in Open-
Source Software Repositories
MSR Registered Reports
Matin Koohjani Concordia University, Diego Elias Costa Concordia University, Canada
Pre-print
14:00 - 15:30
MSR 2025 Mining ChallengeMSR Mining Challenge at 215
Chair(s): Joyce El Haddad Université Paris Dauphine - PSL , Damien Jaime Université
Paris Nanterre & LIP6, Pascal Poizat Université Paris Nanterre & LIP6
14:004m
Talk
Analyzing Dependency Clusters and Security Risks in the Maven Central Repository
George Lake Idaho State University, Minhaz F. Zibran Idaho State University
14:044m
Talk
Chasing the Clock: How Fast Are Vulnerabilities Fixed in the Maven Ecosystem?
Md Fazle Rabbi Idaho State University, Arifa Islam Champa Idaho State University,
Rajshakhar Paul Wayne State University, Minhaz F. Zibran Idaho State University
Pre-print
14:084m
Talk
Decoding Dependency Risks: A Quantitative Study of Vulnerabilities in the Maven
Ecosystem
Costain Nachuma Idaho State University, Md Mosharaf Hossan Idaho State University,
Asif Kamal Turzo Wayne State University, Minhaz F. Zibran Idaho State University
Pre-print
14:124m
Talk
Faster Releases, Fewer Risks: A Study on Maven Artifact Vulnerabilities and
Lifecycle ManagementChallenge Track Best Mining Challenge Paper
Md Shafiullah Shafin Rajshahi University of Engineering & Technology (RUET), Md
Fazle Rabbi Idaho State University, S. M. Mahedy Hasan Rajshahi University of
Engineering & Technology, Minhaz F. Zibran Idaho State University
Pre-print
14:164m
Talk
Insights into Dependency Maintenance Trends in the Maven Ecosystem
Barisha Chowdhury Rajshahi University of Engineering & Technology, Md Fazle Rabbi
Idaho State University, S. M. Mahedy Hasan Rajshahi University of Engineering &
Technology, Minhaz F. Zibran Idaho State University
Pre-print
14:204m
Talk
Insights into Vulnerability Trends in Maven Artifacts: Recurrence, Popularity, and
User Behavior
Courtney Bodily Idaho State University, Eric Hill Idaho State University, Andreas
Kramer Idaho State University, Leslie Kerby Idaho State University, Minhaz F.
Zibran Idaho State University
14:244m
Talk
Understanding Software Vulnerabilities in the Maven Ecosystem: Patterns, Timelines,
and Risks
Md Fazle Rabbi Idaho State University, Rajshakhar Paul Wayne State University,
Arifa Islam Champa Idaho State University, Minhaz F. Zibran Idaho State University
Pre-print
14:284m
Talk
Dependency Update Adoption Patterns in the Maven Software Ecosystem
Baltasar Berretta College of Wooster, Augustus Thomas College of Wooster, Heather
Guarnera The College of Wooster
14:324m
Talk
Analyzing Vulnerability Overestimation in Software Projects
Taha Draoui University of Michigan-Flint, Faten Jebari University of Michigan-
Flint, Chawki Ben Slimen University of Michigan-Flint, Munjaap Uppal University of
Michigan-Flint, Mohamed Wiem Mkaouer University of Michigan - Flint
14:364m
Talk
Dependency Dilemmas: A Comparative Study of Independent and Dependent Artifacts in
Maven Ecosystem
Mehedi Hasan Shanto Khulna University, Muhammad Asaduzzaman University of Windsor,
Manishankar Mondal Khulna University, Shaiful Chowdhury University of Manitoba
Pre-print
14:404m
Talk
Cascading Effects: Analyzing Project Failure Impact in the Maven Central Ecosystem
Mina Shehata Belmont University, Saidmakhmud Makhkamjonoov Belmont University,
Mahad Syed Belmont University, Esteban Parra Belmont University
14:454m
Talk
Do Developers Depend on Deprecated Library Versions? A Mining Study of Log4j
Haruhiko Yoshioka Nara Institute of Science and Technology, Sila Lertbanjongngam
Nara Institute of Science and Technology, Masayuki Inaba Nara Institute of Science
and Technology, Youmei Fan Nara Institute of Science and Technology, Takashi Nakano
Nara Institute of Science and Technology, Kazumasa Shimari Nara Institute of
Science and Technology, Raula Gaikovina Kula The University of Osaka, Kenichi
Matsumoto Nara Institute of Science and Technology
Pre-print
14:494m
Talk
Mining for Lags in Updating Critical Security Threats: A Case Study of Log4j
Library
Hidetake Tanaka Nara Institute of Science and Technology, Kazuma Yamasaki Nara
Institute of Science and Technology, Momoka Hirose Nara Institute of Science and
Technology, Takashi Nakano Nara Institute of Science and Technology, Youmei Fan
Nara Institute of Science and Technology, Kazumasa Shimari Nara Institute of
Science and Technology, Raula Gaikovina Kula The University of Osaka, Kenichi
Matsumoto Nara Institute of Science and Technology
Pre-print
14:534m
Talk
On the Evolution of Unused Dependencies in Java Project Releases: An Empirical
Study
Nabhan Suwanachote Nara Institute of Science and Technology, Yagut Shakizada Nara
Institute of Science and Technology, Yutaro Kashiwa Nara Institute of Science and
Technology, Bin Lin Hangzhou Dianzi University, Hajimu Iida Nara Institute of
Science and Technology
14:574m
Talk
Out of Sight, Still at Risk: The Lifecycle of Transitive Vulnerabilities in Maven
Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Mikołaj Fejzer
Nicolaus Copernicus University in Toruń, Jakub Narębski Nicolaus Copernicus
University in Toruń, Krzysztof Rykaczewski Nicolaus Copernicus University in Toruń,
Poland, Krzysztof Stencel University of Warsaw
Pre-print
15:014m
Talk
Popularity and Innovation in Maven Central
Nkiru Ede Victoria University of Wellington, Jens Dietrich Victoria University of
Wellington, Ulrich Zülicke Victoria University of Wellington
Pre-print
15:054m
Talk
Software Bills of Materials in Maven Central
Yogya Gamage Universtité de Montréal, Nadia Gonzalez Fernandez Université de
Montréal, Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry
Université de Montréal
15:094m
Talk
The Ripple Effect of Vulnerabilities in Maven Central: Prevalence, Propagation, and
Mitigation Challenges
Ehtisham Ul Haq York University, Song Wang York University, Robert S Allison York
University
15:134m
Talk
Tracing Vulnerabilities in Maven: A Study of CVE lifecycles and Dependency Networks
Corey Yang-Smith University of Calgary, Ahmad Abdellatif University of Calgary
Pre-print
15:174m
Talk
Understanding Abandonment and Slowdown Dynamics in the Maven EcosystemChallenge
Track Best Student Presentation Award
Kazi Amit Hasan Queen's University, Canada, Jerin Yasmin Queen's University,
Canada, Huizi Hao Queen's University, Canada, Yuan Tian Queen's University,
Kingston, Ontario, Safwat Hassan University of Toronto, Steven Ding
Pre-print
15:214m
Talk
Characterizing Packages for Vulnerability Prediction
Saviour Owolabi University of Calgary, Francesco Rosati University of Calgary,
Ahmad Abdellatif University of Calgary, Lorenzo De Carli University of Calgary,
Canada
15:254m
Talk
Understanding the Popularity of Packages in Maven Ecosystem
Sadman Jashim Sakib University of Windsor, Muhammad Asaduzzaman University of
Windsor, Curtis Bright University of Windsor, Cole Morgan University of Windsor
Pre-print
15:30 - 16:00
BreakCatering at Canada Hall 3 plus Foyer
15:3030m
Break
Monday Afternoon Break
16:00 - 17:30
Tool CompetitionsSBFT at 104
Chair(s): Dmytro Humeniuk Polytechnique Montréal, Sebastiano Panichella University
of Bern
16:0015m
Paper
SBFT Tool Competition 2025 - CPS-SDC Regression Testing Track
Christian Birchler Zurich University of Applied Sciences & University of Bern,
Stefan Klikovits Johannes Kepler University, Linz, Mattia Fazzini University of
Minnesota, Sebastiano Panichella University of Bern
16:1515m
Paper
RoadGeom Transformer-SDCTest at the SBFT 2025 Tool Competition – CPS-SDC Regression
Testing Track
Prakash Aryan University of Bern
16:3015m
Paper
SBFT Tool Competition 2025 - UAV Testing Track
Sajad Khatiri USI-Lugnao & University of Bern, Tahereh Zohdinasab USI Lugano,
Prasun Saurabh Università della Svizzera italiana, Switzerand, Dmytro Humeniuk
Polytechnique Montréal, Sebastiano Panichella University of Bern
16:4515m
Paper
OptObstacles at the SBFT 2025 Tool Competition - UAV Testing Track
Zhekai Jiang EPFL, Aren Babikian University of Toronto
17:0015m
Paper
Pseudo-Random at the SBFT 2025 Tool Competition - UAV Testing Track
Anas Shrinah University of Bristol, Kerstin Eder University of Bristol
16:00 - 17:30
RoSE magic sessionRoSE at 105
16:0045m
Other
RoSE Interactive Session B
16:4515m
Day closing
Wrap-Up
16:00 - 17:30
Student PerceptionsCSEE&T at 106
Chair(s): Rafal Wlodarski Carnegie Mellon Silicon Valley
16:0020m
Talk
Student Perceptions of Group Formation in Software Engineering Courses
Fabian Fagerholm Aalto University, Stanislav Chren Aalto University, Lassi Haaranen
Aalto University
Pre-print
16:2020m
Talk
Understanding Students’ Experience and Perception of Gender Bias in a Software
Engineering Education Environment
Tanjila Kanij , Jonny PJ Low Monash University, John Grundy Monash University
Pre-print
16:4020m
Talk
Students' Perception of ChatGPT in Software Engineering: Lessons Learned from Five
Courses
Luciano Baresi Politecnico di Milano, Andrea De Lucia University of Salerno,
Antinisca Di Marco University of L'Aquila, Massimiliano Di Penta University of
Sannio, Italy, Davide Di Ruscio University of L'Aquila, Leonardo Mariani University
of Milano-Bicocca, Daniela Micucci University of Milano-Bicocca, Italy, Fabio
Palomba University of Salerno, Maria Teresa Rossi University of Milano Bicocca,
Italy, Fiorella Zampetti University of Sannio, Italy
16:00 - 17:30
Panel & ClosingDesigning at 201
Chair(s): Eunsuk Kang Carnegie Mellon University
16:0060m
Panel
Panel discussion
Joanne M. Atlee University of Waterloo, Yuanfang Cai Drexel University, Rob van
Ommering , Dennis Mancl MSWX Software Experts
17:0030m
Day closing
Closing & future of Designing
16:00 - 17:30
Quiet Room Monday 4PMSocial, Networking and Special Rooms at 202
16:00 - 17:30
Session 4: CPS, Robotics, and Serious Games SEAMS Research Trackat 204
Chair(s): Ivana Dusparic Trinity College Dublin, Ireland
16:0025m
Talk
Adaptive Human-Robot Collaborative Missions using Hybrid Task PlanningFULL
Gricel Vázquez University of York, UK, Alexandros Evangelidis University of York,
UK, Sepeedeh Shahbeigi University of York, UK, Simos Gerasimou University of York
16:2525m
Talk
Context-Role Oriented Programming in Julia: Advancing Swarm ProgrammingFULL
Christian Gutsche Boysen-TU Dresden-Graduiertenkolleg; Technische Universität
Dresden, Sebastian Götz Technische Universität Dresden, Volodymyr Prokopets
Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany
16:5015m
Talk
Modeling Safe Adaptation Spaces for Self-Adaptive Systems Using Contextual Safety
Concept TreesSHORT
Andreas Kreutz Fraunhofer Institute for Cognitive Systems IKS, Gereon Weiss
Fraunhofer IKS, Mario Trapp Technical University of Munich
17:0515m
Talk
Leveraging Self-Adaptive Systems and Generative AI for Personalizing Educational
Serious Games: Architecture and Future ChallengesSHORT
Antonio Bucchiarone DISIM, University of L'Aquila, Federico Bonetti Fondazione
Bruno Kessler, Enes Yigitbas Paderborn University, Germany
17:2010m
Other
Discussion Session 4
16:00 - 17:30
Log Parsing, Bug Localisation, Review ComprehensionICPC Research Track / ICPC Early
Research Achievements (ERA) at 205
Chair(s): Gabriele Bavota Software Institute @ Università della Svizzera Italiana,
Coen De Roover Vrije Universiteit Brussel, Gema Rodríguez-Pérez University of
British Columbia (UBC)
16:0010m
Talk
Developing a Taxonomy for Advanced Log Parsing Techniques
ICPC Research Track
Issam Sedki Concordia University, Wahab Hamou-Lhadj Concordia University, Montreal,
Canada, Otmane Ait-Mohamed Concordia University, Naser Ezzati Jivan
16:1010m
Talk
GELog:A GPT-Enhanced Log Representation Method for Anomaly Detection
ICPC Research Track
Wenwu Xu Institute of Information Engineering, Chinese Academy of Sciences and
School of Cyberspace Security, University of Chinese Academy of Sciences, Peng Wang
Institute of Information Engineering，Chinese Academy of Sciences, Haichao Shi
Institute of Information Engineering，Chinese Academy of Sciences, Guoqiao Zhou
Institute of Information Engineering，Chinese Academy of Sciences, Junliang Yao
Institute of Information Engineering，Chinese Academy of Sciences, Xiao-Yu Zhang
Institute of Information Engineering, Chinese Academy of Science
16:2010m
Talk
Log Parsing using LLMs with Self-Generated In-Context Learning and Self-Correction
ICPC Research Track
Yifan Wu Peking University, Siyu Yu The Chinese University of Hong Kong, Shenzhen
(CUHK-Shenzhen), Ying Li School of Software and Microelectronics, Peking
University, Beijing, China
Pre-print
16:3010m
Talk
LLM-BL: Large Language Models are Zero-Shot Rankers for Bug Localization
ICPC Research Track
Zhengliang Li Nanjing University, Zhiwei Jiang Nanjing University, Qiguo Huang
NanJing Audit University, Qing Gu Nanjing University
16:4010m
Talk
Improved IR-based Bug Localization with Intelligent Relevance Feedback
ICPC Research Track
Asif Samir Dalhousie University, Masud Rahman Dalhousie University
Pre-print
16:506m
Talk
Towards Enhancing IR-based Bug Localization Leveraging Texts and Multimedia from
Bug Reports
ICPC Early Research Achievements (ERA)
Shamima Yeasmin University of Saskatchewan, Chanchal K. Roy University of
Saskatchewan, Kevin Schneider University of Saskatchewan, Masud Rahman Dalhousie
University, Kartik Mittal University of Saskatchewan, Ryder Hardy University of
Saskatchewan
Pre-print
16:5610m
Talk
Building Bridges, Not Walls: Fairness-aware and Accurate Recommendation of Code
Reviewers via LLM-based Agents Collaboration
ICPC Research Track
Luqiao Wang Xidian University, Qingshan Li Xidian University, Di Cui Xidian
University, Mingkang Wang Xidian University, Yutong Zhao University of Central
Missouri, Yongye Xu Xidian University, Huiying Zhuang Xidian University, Yangtao
Zhou Xidian University, Lu Wang Xidian University
17:0610m
Talk
Code Review Comprehension: Reviewing Strategies Seen Through Code Comprehension
Theories
ICPC Research Track
Pavlina Wurzel Goncalves University of Zurich, Pooja Rani University of Zurich,
Margaret-Anne Storey University of Victoria, Diomidis Spinellis Athens University
of Economics and Business & Delft University of Technology, Alberto Bacchelli
University of Zurich
Pre-print
17:1610m
Talk
KotSuite: Unit Test Generation for Kotlin Programs in Android Applications
ICPC Research Track
Feng Yang Wuhan University, Qi Xin Wuhan University, Zhilei Ren Dalian University
of Technology, Jifeng Xuan Wuhan University
17:264m
Live Q&A
Session's Discussion: "Log Parsing, Bug Localisation, Review Comprehension"
ICPC Research Track

16:00 - 17:30
Programming EducationCSEE&T at 206
Chair(s): Jürgen Börstler Blekinge Institute of Technology
16:0020m
Talk
A Systematic Review of Common Beginner Programming Mistakes in Data Engineering
Max Neuwinger Friedrich Alexander University Erlangen Nuremberg, Dirk Riehle U of
Erlangen
Pre-print
16:2020m
Talk
An Exploratory Study on Build Issue Resolution Among Computer Science
StudentsDistinguished Paper Award
Sunzhou Huang The University of Texas at San Antonio, Na Meng Virginia Tech,
XUEQING Liu Stevens Institute of Technology, Xiaoyin Wang University of Texas at
San Antonio
Pre-print
16:4020m
Talk
Knowledge Transfer and False Friends: Insights on Transitioning from C to Java
Yifan Du Chemnitz University of Technology, Belinda Schantong Chemnitz University
of Technology, Janet Siegmund Chemnitz University of Technology
Pre-print
17:0020m
Talk
Teaching Well-Structured Code: A Literature Review of Instructional Approaches
Sara Nurollahian University of Utah, Hieke Keuning Utrecht University, Eliane Wiese
University of Utah
Pre-print
16:00 - 17:30
FORGE2025 Tutorial & Session5: FM EvaluationFORGE Keynotes / FORGE Tutorials /
FORGE Research Papers at 207
Chair(s): Xin Xia Huawei
16:0012m
Long-paper
Cyber-Attack Detection and Localization for SCADA system of CPSs
FORGE Research Papers
Dan Li Sun Yat-sen University, Junnan Tang Sun Yat-Sen University, Shunyu Wu Sun
Yat-Sen University, Zibin Zheng Sun Yat-sen University, See-Kiong Ng National
University of Singapore
16:1212m
Long-paper
A Comprehensive Study of Bug Characteristics on Foundation Language Models
FORGE Research Papers
Junxiao Han Hangzhou City University, Guanqi Wang Zhejiang University, Jiakun Liu
Singapore Management University, Lingfeng Bao Zhejiang University, Xing Hu Zhejiang
University, Jinling Wei Hangzhou City University, Shuiguang Deng Zhejiang
University; Alibaba-Zhejiang University Joint Institute of Frontier Technologies
16:2412m
Long-paper
Testing Refactoring Engine via Historical Bug Report driven LLM
FORGE Research Papers
Haibo Wang Concordia University, Zhuolin Xu Concordia University, Shin Hwei Tan
Concordia University
Pre-print
16:3645m
Tutorial
Beyond Code Generation: Evaluating and Improving LLMs for Code Intelligence
FORGE Tutorials
Fatemeh Hendijani Fard University of British Columbia
17:219m
Keynote
Industry Keynote: Enhancing Software Engineering with Large Language Models:
Insights, Challenges, and Future Directions
FORGE Keynotes
Dong Qiu Waterloo Research Center, Huawei Canada
16:00 - 17:30
Generative Model EngineeringCAIN Research and Experience Papers / CAIN Industry
Talks at 208
Chair(s): Manel Abdellatif École de Technologie Supérieure
Add Session Information
16:0015m
Talk
DDPT: Diffusion Driven Prompt Tuning for Large Language Model Code Generation
CAIN Research and Experience Papers
Jinyang Li The University of Adelaide, Sangwon Hyun CREST, University of Adelaide,
Muhammad Ali Babar School of Computer Science, The University of Adelaide
16:1515m
Talk
Engineering LLM Powered Multi-agent Framework for Autonomous CloudOpsDistinguished
paper Award Candidate
CAIN Research and Experience Papers
Kannan Parthasarathy MontyCloud, Karthik Vaidhyanathan IIIT Hyderabad, Rudra Dhar
SERC, IIIT Hyderabad, India, Venkat Krishnamachari MontyCloud, Adyansh Kakran
International Institute of Information Technology, Hyderabad, Sreemaee Akshathala
IIIT Hyderabad, Shrikara Arun IIIT Hyderabad, Amey Karan IIIT Hyderabad, Basil
Muhammed MontyCloud, Sumant Dubey MontyCloud, Mohan Veerubhotla MontyCloud
16:3015m
Talk
Generating and Verifying Synthetic Datasets with Requirements Engineering
CAIN Research and Experience Papers
Lynn Vonderhaar Embry-Riddle Aeronautical University, Timothy Elvira Embry-Riddle
Aeronautical University, Omar Ochoa Embry-Riddle Aeronautical University
Pre-print
16:4515m
Talk
LLM-Based Safety Case Generation for Baidu Apollo: Are We There Yet?
CAIN Research and Experience Papers
Oluwafemi Odu York University, Alvine Boaye Belle York University, Song Wang York
University
17:0012m
Talk
SqPal - text to SQL GenAI tool for PayPal
CAIN Industry Talks
Dan Liyanage PayPal, Mahshid Moha PayPal, Sandy Suresh PayPal
17:1218m
Other
Discussion
CAIN Research and Experience Papers

16:00 - 17:30
Journal First Session / Book Launch / CHASE 2025 ClosingCHASE Research Track at 210
Chair(s): Igor Steinmacher NAU RESHAPE LAB, Rashina Hoda Monash University, Ronnie
de Souza Santos University of Calgary, Bianca Trinkenreich Colorado State
University
16:0015m
Talk
Uncovering Community Smells in Machine Learning-Enabled Systems: Causes, Effects,
and Mitigation Strategies
Giusy Annunziata University of Salerno, Stefano Lambiase University of Salerno,
Damian Andrew Tamburri Jheronimus Academy of Data Science, Willem-Jan van den
Heuvel JADS/Tilburg University, Fabio Palomba University of Salerno, Gemma Catolino
University of Salerno, Filomena Ferrucci University of Salerno, Andrea De Lucia
University of Salerno
16:1515m
Talk
Non-Linear Software Documentation with Interactive Code Examples
Mathieu Nassif McGill University, Martin P. Robillard McGill University
16:3030m
Talk
Book Launch
Rashina Hoda Monash University
17:0030m
Talk
CHASE 2025 Closing
Rashina Hoda Monash University, Ronnie de Souza Santos University of Calgary,
Bianca Trinkenreich Colorado State University
16:00 - 17:30
Session 3: Panel DiscussionAST at 211
Session chair: Andy Zaidman

16:0090m
Panel
Automated Software Testing for Sustainability and Resource Efficiency
Istvan David McMaster University / McMaster Centre for Software Certification
(McSCert), Roberto Verdecchia University of Florence, Bimpe Ayoola Dalhousie
University, Jari Porras LUT University , Lina Marsso Polytechnique Montreal
16:00 - 17:30
Doctoral Symposium 3 (Detailed Presentation)CAIN Doctoral Symposium at 212
Add Session Information
16:0020m
Talk
Identification and Optimization of Redundant Code Using Large Language Models
Shamse Tasnim Cynthia University of Saskatchewan
16:2020m
Talk
Systematic Testing of Security-Related Defects in LLM-Based Applications
Hasan Kaplan Jheronimus Academy of Data Science, Tilburg University
16:4020m
Talk
Model-Based Verification for AI-Enabled Cyber-Physical Systems through Guided
Falsification of Temporal Logic Properties
Hadiza Yusuf University of Michigan - Dearborn
16:00 - 17:30
LLMs for CodeMSR Technical Papers / MSR Data and Tool Showcase Track / MSR
Tutorials at 214
Chair(s): Ali Ouni ETS Montreal, University of Quebec
16:0010m
Talk
How Much Do Code Language Models Remember? An Investigation on Data Extraction
Attacks before and after Fine-tuningTechnical Track Distinguished Paper Award
MSR Technical Papers
Fabio Salerno Delft University of Technology, Ali Al-Kaswan Delft University of
Technology, Netherlands, Maliheh Izadi Delft University of Technology
16:1010m
Talk
Can LLMs Generate Higher Quality Code Than Humans? An Empirical Study
MSR Technical Papers
Mohammad Talal Jamil Lahore University of Management Sciences, Shamsa Abid National
University of Computer and Emerging Sciences, Shafay Shamail LUMS, DHA, Lahore
Pre-print
16:2010m
Talk
Prompt Engineering or Fine-Tuning: An Empirical Assessment of LLMs for Code
MSR Technical Papers
Jiho Shin York University, Clark Tang , Tahmineh Mohati University of Calgary,
Maleknaz Nayebi York University, Song Wang York University, Hadi Hemmati York
University
16:305m
Talk
Drawing Pandas: A Benchmark for LLMs in Generating Plotting Code
MSR Data and Tool Showcase Track
Timur Galimzyanov JetBrains Research, Sergey Titov JetBrains Research, Yaroslav
Golubev JetBrains Research, Egor Bogomolov JetBrains Research
Pre-print
16:355m
Talk
SnipGen: A Mining Repository Framework for Evaluating LLMs for Code
MSR Data and Tool Showcase Track
Daniel Rodriguez-Cardenas William & Mary, Alejandro Velasco William & Mary, Denys
Poshyvanyk William & Mary
Pre-print
16:5040m
Tutorial
Harmonized Coding with AI: LLMs for Qualitative Analysis in Software Engineering
Research
MSR Tutorials
Christoph Treude Singapore Management University, Youmei Fan Nara Institute of
Science and Technology, Tao Xiao Kyushu University, Hideaki Hata Shinshu University
File Attached
16:00 - 17:30
Software evolution and analysisMSR Data and Tool Showcase Track / MSR Technical
Papers / MSR Industry Track at 215
Chair(s): Mauricio Verano Merino Vrije Universiteit Amsterdam
16:0010m
Talk
50 Years of Programming Language Evolution through the Software Heritage looking
glass
MSR Technical Papers
Adèle Desmazières Sorbonne Unversité, Roberto Di Cosmo Inria, France / University
of Paris Diderot, France, Valentin Lorentz Inria Foundation
Pre-print
16:1010m
Talk
It Works (only) on My Machine: A Study on Reproducibility Smells in Ansible Scripts
MSR Technical Papers
Ghazal Sobhani Dalhousie University, Israat Haque Dalhousie University, Tushar
Sharma Dalhousie University
Pre-print
16:2010m
Talk
Are the Majority of Public Computational Notebooks Pathologically Non-Executable?
MSR Technical Papers
Waris Gill Virginia Tech, Muhammad Ali Gulzar Virginia Tech, Tien Nguyen Virginia
Tech
Pre-print
16:3010m
Talk
Understanding Test Deletion in Java Applications
MSR Technical Papers
Suraj Bhatta North Dakota State University, Frank Kendemah North Dakota State
University, Ajay Jha North Dakota State University
Pre-print
16:4010m
Talk
A Public Benchmark of REST APIs
MSR Technical Papers
Alix Decrop University of Namur, Sara Eraso University of Valle, Xavier Devroey
University of Namur, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS &
University of Namur
Pre-print
16:505m
Talk
What Do Contribution Guidelines Say About Software Testing?
MSR Technical Papers
Bruna Pereira Falcucci UFMG, Felipe Gomide UFMG, Andre Hora UFMG
Pre-print Media Attached
16:555m
Talk
Measuring InnerSource Value
MSR Industry Track
Chamindra de Silva Citibank, Daniel Izquierdo-Cortazar Bitergia
17:005m
Talk
CoUpJava: A Dataset of Code Upgrade Histories in Open-Source Java Repositories
MSR Data and Tool Showcase Track
Kaihang Jiang University of Waterloo, Bihui Jin University of Waterloo, Pengyu Nie
University of Waterloo
17:055m
Talk
EvoChain: A Framework for Tracking and Visualizing Smart Contract Evolution
MSR Data and Tool Showcase Track
Ilham Qasse Reykjavik University, Mohammad Hamdaqa Polytechnique Montréal, Björn
Þór Jónsson Reykjavik University
17:105m
Talk
CoDocBench: A Dataset for Code-Documentation Alignment in Software Maintenance
MSR Data and Tool Showcase Track
Kunal Suresh Pai UC Davis, Prem Devanbu University of California at Davis, Toufique
Ahmed IBM Research
Pre-print
17:155m
Talk
RefExpo: Unveiling Software Project Structures through Advanced Dependency Graph
Extraction
MSR Data and Tool Showcase Track
Vahid Haratian Bilkent Univeristy, Pouria Derakhshanfar JetBrains Research,
Vladimir Kovalenko JetBrains Research, Eray Tüzün Bilkent University
17:205m
Talk
HyperAST: Incrementally Mining Large Source Code Repositories
MSR Data and Tool Showcase Track
Quentin Le Dilavrec TU Delft, Netherlands, Andy Zaidman Delft University of
Technology
Pre-print
17:30 - 18:20
Steering Committee Session at 205
Chair(s): Coen De Roover Vrije Universiteit Brussel, Gema Rodríguez-Pérez
University of British Columbia (UBC)
17:3050m
Talk
Steering Comittee Meeting + Closing
17:30 - 18:00
ClosingFORGE Research Papers at 207
Chair(s): David Lo Singapore Management University
17:3030m
Day closing
Closing session of FORGE 2025
17:30 - 17:45
CAIN ClosingCAIN Research and Experience Papers at 208
Add Session Information
17:3015m
Talk
Closing
17:30 - 22:00
Dinner at Museum of HistoryMSR Catering / MSR Program / MSR Mining Challenge / MSR
Data and Tool Showcase Track / MSR Technical Papers / MSR Keynotes / MSR Industry
Track at Grand Hall
18:004h
Dinner
Dinner
MSR Catering

18:30 - 21:00
Welcome ReceptionCSEE&T at Prohibition House Restaurant for CSEE&T Welcome
Reception
Chair(s): Stephan Krusche Technical University of Munich
The Welcome Reception will be held at the Prohibition House restaurant at 337
Somerset St W, Ottawa. It takes about 25min to walk from the conference center to
the restaurant.

18:302h30m
Social Event
Welcome Reception
18:30 - 21:30
DinnerSEAMS Catering at Waverley Restauant
18:303h
Dinner
Dinner
19:00 - 22:00
Child Care Monday EveningSocial, Networking and Special Rooms at 102 Child Care
20:30 - 21:00
Monday Photo-op at Ottawa Sign at 6 York StSocial, Networking and Special Rooms at
Ottawa Sign for Illumination Celebration 6 York St
20:3030m
Social Event
Photo Op Mon
Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change
07:00 - 19:00
Ready Room TuesdaySocial, Networking and Special Rooms at 209
07:00 - 22:00
Prayer Room 2A TuesdaySocial, Networking and Special Rooms at 2A Prayer Room
08:00 - 17:30
Registration Tuesday Starting at 8 a.m.Social, Networking and Special Rooms at 2nd
Floor Rideau Canal Atrium
08:009h30m
Registration
Registration Tuesday
09:00 - 12:30
Child Care Tuesday AMSocial, Networking and Special Rooms at 102 Child Care
09:00 - 10:30
Tutorial 1 (Part 1)Tutorials and Technical Briefings at 103
This tutorial will introduce quantum computing in general, followed by an
introduction to quantum software engineering. Next, it will cover QST in detail
from various perspectives, such as an introduction to the topic, the current state
of the art, some automated testing approaches, and future research directions.
Finally, we will also demonstrate quantum software testing tools to show these
tools in action.

For more information click here

09:0090m
Tutorial
Tutorial 1: Quantum Software TestingTesting and QAQuantum
P: Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, P:
Xinyi Wang Simula Research Laboratory; University of Oslo, P: Asmar Muqeet Simula
Research Laboratory and University of Oslo
09:00 - 10:30
Intro and Keynote 3SBFT at 104
Chair(s): Alessio Gambi Austrian Institute of Technology (AIT)
09:0090m
Keynote
Keynote by Alessandra Gorla
Alessandra Gorla IMDEA Software Institute
09:00 - 10:30
Welcome, Keynote and TestingGAS at 105
Chair(s): Jeremy Bradbury Ontario Tech University
09:005m
Day opening
GAS 2025 Welcome
09:0545m
Keynote
Advances and Opportunities in Game Testing and Triage
Sarra Habchi Ubisoft
09:5020m
Talk
A Mapping of Recording-based Game Test Automation Tools
Vinícius Mioto Universidade Federal do Paraná, Fabio Petrillo École de technologie
supérieure (ÉTS), Montréal -- Université du Québec
10:1020m
Talk
Towards A Framework For Exploratory Testing In Video Games
Yohan Duarte Federal University of Sao Carlos, Cristiano Politowski Ontario Tech
University, André T. Endo Federal University of São Carlos, Brazil
09:00 - 10:30
KeynoteSTATIC at 107
Chair(s): Martin Kellogg New Jersey Institute of Technology, Jacques Klein
University of Luxembourg, Jordan Samhi University of Luxembourg, Luxembourg
09:3015m
Day opening
Introduction by the Organization Chairs
O: Jordan Samhi University of Luxembourg, Luxembourg, O: Eric Bodden Heinz Nixdorf
Institut, Paderborn University and Fraunhofer IEM, O: Martin Kellogg New Jersey
Institute of Technology, O: Jacques Klein University of Luxembourg
09:4545m
Keynote
Scaling Static Analysis - The Why, the How, and the What
K: Ben Hermann TU Dortmund
File Attached
09:00 - 10:30
OpeningSE4ADS at 108
09:0020m
Talk
Opening
Joshua Garcia University of California, Irvine
09:3060m
Keynote
An Agenda for Software Engineering Research to Drive ADS Development
Sebastian Elbaum University of Virginia
09:00 - 10:30
Session 1: Opening + Kata and AntipatternsNew Faculty Symposium at 201
Chair(s): Shinpei Hayashi Institute of Science Tokyo, Luigi Benedicenti University
of New Brunswick
The symposium will provide plenty of time for informal interaction and will
facilitate conversations with a series of short talks covering a broad range of
issues faced by faculty members as well as interactive sessions. The NFS will be
open to anyone who have registered for at least two other days in the ICSE week.
For maximum benefit, including connecting to your peers, we recommend young faculty
members to attend the full day.

09:0030m
Day opening
Introduction and Self-Introduction
Luigi Benedicenti University of New Brunswick, Shinpei Hayashi Institute of Science
Tokyo
09:3030m
Talk
Funding 101 and beyond
Andrian Marcus George Mason University
10:0030m
Talk
Confessions of a Fallen Star
Michele Lanza Software Institute - USI, Lugano
09:00 - 10:30
Session1SATrends at 202
09:005m
Talk
Opening
09:0530m
Keynote
Keynote: The Critical Role of Design Knowledge in LLM for Software Engineering
Xin Xia Huawei
09:3515m
Paper
SALLMA: A Prototypical Software Architecture for LLM-Based Multi-Agent Systems
Marco Becattini University of Florence, Roberto Verdecchia University of Florence,
Enrico Vicario University of Florence
Pre-print
09:5015m
Paper
MicroAnalyzer.NET: Deriving Microservice Architectural Perspectives Using Static
Code Analysis For C# Platform
Amr Elsayed The University of Arizona, Jorge Yero Baylor University, Tomas Cerny
University of Arizona
10:0525m
Talk
Brainstorming
09:00 - 10:30
Session 1: Workshop opening and Pitch Session 1 (7-minute pitch of each paper and
3-minute question/comment)GREENS at 203
Chair(s): Luís Cruz TU Delft, Elisa Yumi Nakagawa University of São Paulo
09:0015m
Talk
Opening
09:1510m
Talk
Assessment of Embedded AI Solutions with the Green Software Measurement Model
Christoph Bockisch Philipps-Universität Marburg, Hartmut Weber TH Mittelhessen –
University of Applied Sciences, Dennis M. Pöpperl Technische Hochschule
Mittelhessen–University of Applied Sciences, Severin Stahl TH Mittelhessen –
University of Applied Sciences
09:2510m
Talk
Automatically Assessing Software Architecture Compliance With Green Software
Patterns
Naman Ahuja University College London, Yile Feng University College London, Luming
Li University College London, Amisha Malik University College London, Thuvaragan
Sivayoganathan University College London, Navveen Balani Accenture, Srinivasan
Rakhunathan Microsoft, Federica Sarro University College London
09:3510m
Talk
Educated Energy Efficiency Optimization of Distributed Software: Measure, Monitor,
Mitigate
Tobias Leonhard Joschka Peslalz Munich University of Applied Sciences, Bastian Katz
Munich University of Applied Sciences
09:4510m
Talk
Green AI: Which Programming Language Consumes the Most?
Niccolò Marini University of Florence, Leonardo Pampaloni University of Florence,
Filippo Di Martino University of Florence, Roberto Verdecchia University of
Florence, Enrico Vicario University of Florence
Pre-print
09:5510m
Talk
On the Energy Consumption of Web Applications: An Empirical Study of their Design
Solutions
Louay Khrouf Berger-Levault, Anas Shatnawi University of Milano-Bicocca, Boubou
Thiam Niang Berger-Levault, Benoit Verhaeghe Berger-Levrault
10:0510m
Talk
Specification Completion for Sustainable Software Development via Sustainability-
Driven Mining
Mohamed Toufik Ailane Siemens Foundational Technologies, Siemens AG, Carolin Rubner
Siemens Foundational Technologies, Siemens AG, Andreas Rausch Clausthal University
of Technology
10:1515m
Other
Final session question/comment filling and posting (via Miro)
09:00 - 10:30
Session 5: Keynote and AwardsSEAMS Research Track at 204
Chair(s): Siobhán Clarke Trinity College Dublin, Ireland, Shiva Nejati University
of Ottawa, Thomas Vogel Humboldt-Universtität zu Berlin
09:0060m
Keynote
Smart Swarms, Smarter Boundaries: Rethinking Decision Assurance in Autonomous
Systems
Jane Cleland-Huang University of Notre Dame
10:0020m
Awards
Most Influential Paper Award 2015
10:2010m
Awards
SEAMS Best Paper Award
09:00 - 10:30
SWEBOK Summit Session 1Panels and Special Sessions at 205
Chair(s): Hironori Washizaki Waseda University
The SWEBOK Summit is a premier industry-focused event, bringing together
practitioners, researchers, and educators from the SE communities to collaborate,
share experiences and challenges, and provide future research directions on SWEBOK
and bodies of knowledge in general.

This is the first session of a full day event.

For more detail click here

09:0020m
Talk
SWEBOK Summit Opening and Introduction: Introduction the Guide to the Software
Engineering Body of KnowledgeBody of Knowledge
P: Hironori Washizaki Waseda University
09:2035m
Talk
SWEBOK Summit Keynote 1: What Really Matters in Software Engineering
P: Gerd Hoefner Siemens Healthineers
09:5535m
Talk
SWEBOK Summit Keynote 2: Driving Software Engineering Maturity at Shell
P: Rik Essenius Shell International
09:00 - 10:30
Day 2 PlenaryCSEE&T at 206
Chair(s): Robert Chatley Imperial College London
09:0090m
Keynote
The Promise and Peril of SE Education in the Age of AI
P: Michael Hilton Carnegie Mellon University
File Attached
09:00 - 10:30
Session 1RAIE at 207
Chair(s): Qinghua Lu Data61, CSIRO
09:0010m
Day opening
Opening Remarks
Qinghua Lu Data61, CSIRO
09:1050m
Keynote
Keynote 1 by Rick Kazman
K: Rick Kazman University of Hawai‘i at Mānoa
10:0015m
Talk
Insights and Current Gaps in Open-Source LLM Vulnerability Scanners: A Comparative
Analysis
Jonathan Brokman Fujitsu Research, Omer Hofman Fujitsu Research, Oren Rachmil
Fujitsu Research, Inderjeet Singh Fujitsu Research, P: Vikas Pahuja Fujitsu
Research, Aishvariya Priya Rathina Sabapathy Fujitsu Research, Amit Giloni Fujitsu
Research, Roman Vainshtein Fujitsu Research, Hisashi Kojima Fujitsu Research
Pre-print
10:1512m
Talk
Mitigating Values Debt in Generative AI: Responsible Engineering with Graph RAG
P: Waqar Hussain Data61, CSIRO
09:00 - 10:30
Session 1GE@ICSE at 208
09:0010m
Day opening
Welcome
C: Valentina Lenarduzzi University of Oulu
09:1025m
Research paper
Overcoming Obstacles: Challenges of Gender Inequality in Undergraduate ICT Programs
Angelica Pereira State University of Bahia, Anderson Uchôa Federal University of
Ceará, Edna Dias Canedo Computer Science Department - University of Brasília,
Juliana Alves Pereira PUC-Rio, Claudia Pinto Pereira State University of Feira de
Santana, Larissa Rocha Universidade Federal da Bahia
09:3525m
Research paper
“Robot Olympiad Inspires us Technically and also boosts our Confidence”:
Understanding the Elements of Success for Women in Robotics in Bangladesh
Nasheetat Zainah Rahman Mastermind English Medium School, Ipshita Ahmed Moon
University of Dhaka, Nova Ahmed Bangladesh
10:0025m
Research paper
Detecting Gender Bias to Enhance Inclusivity in Software Engineering Education
Fatemeh Sadat Mirshafiee Carleton University, Nafiseh Kahani Carleton University
09:00 - 10:30
APR Session 1APR at 210
Chair(s): Tegawendé F. Bissyandé University of Luxembourg, Chao Peng ByteDance
09:0050m
Keynote
Baishakhi Ray's Keynote
Baishakhi Ray Columbia University
09:5020m
Talk
Can GPT-O1 Kill All Bugs? An Evaluation of GPT-Family LLMs on QuixBugs
Haichuan Hu Alibaba Cloud, Tongke Zhang Nanjing University, Guolin Xu Chongqing
University, Congqing He University Sains Malaysia, Quanjun Zhang Nanjing University
10:1020m
Talk
Memorization in LLM-Based Program Repair
Jiaolong Kong Singapore Management University, Mingfei Cheng Singapore Management
University, Xiaofei Xie Singapore Management University
09:00 - 10:30
Conference Opening & Keynote 2AST at 211
Session chair: Andy Zaidman

09:0090m
Keynote
Learning-Based Testing: The Ease, the Impact, the Future
Tiziana Margaria University of Limerick and Lero - The Irish Software Research
Centre
09:00 - 10:05
Session 1: Security & Miscellaneous (talks and panel)Doctoral Symposium at 212
Chair(s): Tayana Conte Universidade Federal do Amazonas
09:005m
Day opening
Opening of the Doctoral Symposium
Tayana Conte Universidade Federal do Amazonas, Alexander Serebrenik Eindhoven
University of Technology
09:056m
Talk
Advancing Secure and Standard Source Code Generation Techniques
Mohammed Latif Siddiq University of Notre Dame
Pre-print
09:116m
Talk
Towards Secure and Interactive Smart Contract Code from Formal SYMBOLEO
Specifications
Sofana Alfuhaid University of Ottawa
Link to publication
09:176m
Talk
Empirically-Informed Approaches to Shift Vulnerability Detection to the Left
Paschal Amusuo Purdue University
09:236m
Talk
A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software
Development
Alejandra Selva-Mora Universidad de Costa Rica
09:296m
Talk
Towards Configuration-Aware Performance Modeling
Yuanjie Xia University of Waterloo
09:3530m
Panel
Panel: Security
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
09:00 - 10:30
Opening, Inspiration talk on "How to Enjoy ICSE", Ice BreakingStudent Mentoring
Workshop (SMeW) at 213
Part 1 (10 mins, led by Lili)

Introduce the organizing committee (all)

Advice for SMEW (co-led by Adriana and Jamie)

09:0030m
Day opening
Introduction to SMeW
James C. Davis Purdue University, Lavinia Francesca Paganini TU Eindhoven, Adriana
Sejfia University of Edinburgh, Lili Wei McGill University
09:3030m
Talk
How to Enjoy ICSE?
Lavinia Francesca Paganini TU Eindhoven
10:0030m
Social Event
Ice Breaking
James C. Davis Purdue University, Lavinia Francesca Paganini TU Eindhoven, Adriana
Sejfia University of Edinburgh, Lili Wei McGill University
09:00 - 10:30
Plenary: MIP + FCAMSR MIP Award / MSR FCA Award / MSR Vision and Reflection at 214
Chair(s): Gabriele Bavota Software Institute @ Università della Svizzera Italiana,
Jin L.C. Guo McGill University, Audris Mockus The University of Tennessee,
Knoxville / Vilnius University, Martin Pinzger Universität Klagenfurt, Romain
Robbes CNRS, LaBRI, University of Bordeaux, Patanamon Thongtanunam The University
of Melbourne
09:0030m
Awards
MSR 2025 Most Influential Paper Award: Toward deep learning software
repositoriesMost Influential Paper Award
MSR MIP Award
Martin White Syneos Health, Christopher Vendome Miami University, Mario Linares-
Vásquez Universidad de los Andes, Denys Poshyvanyk William & Mary
09:3030m
Awards
MSR 2025 Foundational Contribution Award by David Lo: Charting New Gold Mines:
Expanding the World of MSR
MSR FCA Award
David Lo Singapore Management University
Pre-print
10:0030m
Talk
The Standard of Rigor for MSR Research: A 20-Year Evolution
MSR Vision and Reflection
Bogdan Vasilescu Raj Reddy Associate Professor of Software and Societal Systems,
Carnegie Mellon University, USA
Pre-print
09:00 - 10:30
ACM Student Research Posters and Judging Session 1SRC - ACM Student Research
Competition at Canada Hall 3 Poster Area
Chair(s): Md Tajmilur Rahman Gannon University
09:0090m
Talk
Consistent Graph Model Generation with Large Language Models
Boqi Chen McGill University
09:0090m
Talk
Enhancing OSS Remediation with Patch Backporting
Lyuye Zhang Nanyang Technological University
09:0090m
Talk
Improving Formal Methods VisualizationsFormal Methods
Avinash Palliyil Georgia Institute of Technology
09:0090m
Talk
MUARF: Leveraging Multi-Agent Workflows for Automated Code Refactoring
Yisen Xu Software PErformance, Analysis, and Reliability (SPEAR) lab, Concordia
University, Montreal, Canada
09:0090m
Talk
Identifying Performance-Sensitive Configurations in Software Systems with LLM-
Driven Agents
Zehao Wang Concordia University
09:0090m
Talk
Characterising Algorithm Debt in Machine and Deep Learning Systems
Emmanuel Iko-Ojo Simon Australian National University
09:0090m
Talk
Automatic Fuzz Drivers for JavaScript with Type Distributions
Mayant Mukul University of British Columbia
10:05 - 10:30
Session 1: Security & Miscellaneous (posters)Doctoral Symposium at 209 Poster Area
10:0525m
Talk
Build and Runtime Integrity for Java
Aman Sharma KTH Royal Institute of Technology
Pre-print
10:0525m
Talk
Interactions with Generative AI: Wearables to Measure Developer Experience and
Productivity Objectively
Charlotte Brandebusemeyer Hasso Plattner Institute, University of Potsdam
10:0525m
Talk
Understanding and Supporting the ML Supply Chain through ML Bill of Materials
Trevor Stalnaker William & Mary
10:0525m
Talk
A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software
Development
Alejandra Selva-Mora Universidad de Costa Rica
10:0525m
Talk
Rethinking Software Development Considering Collaboration with AI Assistants
Benedetta Donato University of Milano - Bicocca
10:0525m
Talk
Exploring GenAI-Driven Innovation in Game Development
Xiang Chen University of Waterloo
10:30 - 11:00
BreakCatering at Canada Hall 3 plus Foyer
10:3030m
Break
Tuesday Morning Break
11:00 - 12:30
Tutorial 1 (Part 2)Tutorials and Technical Briefings at 103
11:0090m
Tutorial
Tutorial 1: Quantum Software TestingTesting and QAQuantum
P: Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, P:
Xinyi Wang Simula Research Laboratory; University of Oslo, P: Asmar Muqeet Simula
Research Laboratory and University of Oslo
11:00 - 12:30
PanelSBFT at 104
Chair(s): Vincenzo Riccio University of Udine
11:0090m
Panel
Panel on Search Based and Fuzz Testing for Security
Marcel Böhme MPI for Security and Privacy, Addison Crump CISPA Helmholtz Center for
Information Security, Aitor Arrieta Mondragon University, Behnaz Hassanshahi Oracle
Labs, Australia, Alessandra Gorla IMDEA Software Institute, Andreas Zeller CISPA
Helmholtz Center for Information Security
11:00 - 12:30
Interactive ActivityGAS at 105
Chair(s): Mathieu Nayrolles Amazon
11:0090m
Other
Interactive Activity
Mathieu Nayrolles Amazon
11:00 - 12:30
Automated Feedback and Code QualityCSEE&T at 106
Chair(s): Sandro Speth Institute of Software Engineering, University of Stuttgart
11:0020m
Talk
Mitigating Obfuscation Attacks on Software Plagiarism Detectors via Subsequence
Merging
Timur Sağlam Karlsruhe Institute of Technology (KIT), Nils Niehues Karlsruhe
Institute of Technology (KIT), Sebastian Hahner Karlsruhe Institute of Technology
(KIT), Larissa Schmid Karlsruhe Institute of Technology
Pre-print
11:2020m
Talk
SOBO: A Feedback Bot to Nudge Code Quality in Programming Courses
Sofia Bobadilla KTH Royal Institute of Technology, Sweden, Richard Glassey KTH:
Royal Institute of Technology, Alexandre Bergel University of Chile, Martin
Monperrus KTH Royal Institute of Technology
11:4020m
Talk
Automated Feedback Generation for Programming Assignments through Diversification
Dongwook Choi SungKyunKwan University, Eunseok Lee Sungkyunkwan University
Pre-print
12:0020m
Talk
Exploring how students test models in Model-Driven Engineering
Felix Cammaerts KU Leuven, Beatriz Marín Universitat Politècnica de València,
Monique Snoeck Katholieke Universiteit Leuven
File Attached
11:00 - 12:30
Paper PresentationsSTATIC at 107
11:0030m
Talk
FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error
Analysis
Tanmay Tirpankar University of Utah, Artem Yadrov University of Utah, Pavel
Panchekha University of Utah, Ganesh Gopalakrishnan University of Utah
11:3030m
Talk
Heros in Action: Analyzing Objective-C Binaries through Decompilation and IFDS
Florian Magin Fraunhofer SIT | ATHENE, Gwendal Patat Fraunhofer SIT | ATHENE,
Fabian Scherf Fraunhofer SIT | ATHENE
12:0030m
Talk
PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic
Execution Engine
Semyon Grigorev Saint Petersburg State University, Russia, Anna Chistyakova Saint-
Petersburg State University, Maxim Nigmatulin Saint-Petersburg State University,
Ekaterina Shemetova Saint-Petersburg State University, Danil Parfenov Saint-
Petersburg State University, David Akhmedov Saint-Petersburg State University
11:00 - 12:30
Paper Session 1SE4ADS at 108
11:0018m
Talk
AI-Augmented Metamorphic Testing for Comprehensive Validation of Autonomous
Vehicles
Yueteng Zhang University of Ottawa, Burak Kantarci University of Ottawa, Umair
Siddique reasonX Labs Inc.
11:1818m
Talk
Conflict-based Scenario Generation for Autonomous Driving System Validation
Hua Qi Kyushu University, Japan, Siyuan Chen The University of Tokyo, Fuyuan Zhang
Kyushu University, Tomoyuki TSUCHIYA TIER IV, Michio HAYASHI TIER IV North America,
Manabu OKADA TIER IV, Lei Ma The University of Tokyo & University of Alberta,
Jianjun Zhao Kyushu University
11:3618m
Talk
Deep Driving Workshop for Education and Training of Behaviour-Based End-to-End
Learning Autonomous Driving Systems
Mohamed Benchat Institut für Software and Systems Engineering, TU Clausthal,
Germany, Iqra Aslam Institut für Software and Systems Engineering, TU Clausthal,
Germany, Meng Zhang Institut für Software and Systems Engineering, TU Clausthal,
Germany, Nour Habib Institut für Software and Systems Engineering, TU Clausthal,
Germany, Abhishek Buragohain Institut für Software and Systems Engineering, TU
Clausthal, Germany, Vaibhav Tiwari Institut für Software and Systems Engineering,
TU Clausthal, Germany, Andreas Rausch Clausthal University of Technology
11:5418m
Talk
Evaluating the Robustness of Uncertainty Quantification-Based Misbehavior
Predictors for Autonomous Driving Systems: A Case Study
Xiongfei Wu Kyushu University, Qiang Hu The University of Tokyo, Tomoyuki TSUCHIYA
TIER IV, Michio HAYASHI TIER IV North America, Manabu OKADA TIER IV, Lei Ma The
University of Tokyo & University of Alberta, Jianjun Zhao Kyushu University
12:1218m
Talk
Moral Testing of Autonomous Driving Systems
Wenbing Tang Nanyang Technological University, Mingfei Cheng Singapore Management
University, Yuan Zhou Zhejiang Sci-Tech University, Yang Liu Nanyang Technological
University
11:00 - 12:30
Session 2: Research and CollaborationNew Faculty Symposium at 201
Chair(s): Shinpei Hayashi Institute of Science Tokyo, Luigi Benedicenti University
of New Brunswick
11:0030m
Talk
Establishing an Ethos for Your Research Group
Shane McIntosh University of Waterloo
11:3030m
Talk
Collaborations Result in Diverse Thinking, Novelty and Different Perspectives
Raula Gaikovina Kula The University of Osaka
12:0030m
Talk
Industry/Academic Collaboration - Opportunities and Challenges
David Small Project manager/ideator/architect/backtester/ Research director
11:00 - 12:30
Session2SATrends at 202
11:0060m
Talk
Working groups
12:0025m
Talk
Working Groups Summary and Future Works
12:255m
Talk
Closing
11:00 - 12:30
Session 2: Pitch Session 2 (7-minute pitch of each paper and 3-minute
question/comment)GREENS at 203
Chair(s): Elisa Yumi Nakagawa University of São Paulo
11:0010m
Talk
Generating Energy-efficient code with LLMs
Tom Cappendijk University of Amsterdam, Pepijn de Reus University of Amsterdam, Ana
Oprescu University of Amsterdam
11:1010m
Talk
Prompt engineering and its implications on the energy consumption of Large Language
Models
Riccardo Rubei University of L'Aquila, Aicha Moussaid University of L'Aquila
(Italy), Claudio Di Sipio University of l'Aquila, Davide Di Ruscio University of
L'Aquila
11:2010m
Talk
Breaking the ICE: Exploring promises and challenges of benchmarks for Inference
Carbon & Energy estimation for LLMs
Samarth Sikand Accenture Labs, Rohit Mehra Accenture Labs, Priyavanshi Pathania
Accenture Labs, Nikhil Bamby Accenture Labs, Vibhu Saujanya Sharma Accenture Labs,
Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture, Adam P. Burden
Accenture
11:3010m
Talk
Calculating Software’s Energy Use and Carbon Emissions: A Survey of the State of
Art, Challenges, and the Way Ahead
Priyavanshi Pathania Accenture Labs, Nikhil Bamby Accenture Labs, Rohit Mehra
Accenture Labs, Samarth Sikand Accenture Labs, Vibhu Saujanya Sharma Accenture
Labs, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture, Adam P.
Burden Accenture
11:4010m
Talk
Responsible and Sustainable AI: Considering Energy Consumption in Automated Text
Classification Evaluation Tasks
Angelika Kaplan Karlsruhe Institute of Technology (KIT), Jan Keim Karlsruhe
Institute of Technology (KIT), Lukas Greiner Karlsruhe Institute of Technology
(KIT), Ralf Sieger FZI Research Center for Information Technology, Raffaela
Mirandola Karlsruhe Institute of Technology (KIT), Ralf Reussner Karlsruhe
Institute of Technology (KIT) and FZI - Research Center for Information Technology
(FZI)
DOI Pre-print
11:5010m
Talk
Mapping of the system of software-related emissions and shared responsibilities
Laura Partanen LUT University, Antti Sipilä LUT University, Sanaul Haque LUT
University, Jari Porras LUT University
12:0010m
Talk
PowerLetrics: An Open-Source Framework for Power and Energy Metrics for Linux
Geerd-Dietger Hoffmann Employed by Green Coding Solutions, Verena Majuntke HTW
Berlin
12:1010m
Talk
Echoes of the Future: Designing a Game for Green Software Engineering
Georgia Samaritaki University of Amsterdam, Humeyra Tugce Yavuz University of
Amsterdam, Daphnee Chabal University of Amsterdam, Ana Oprescu University of
Amsterdam
12:2010m
Other
Final question/comment filling and posting (via Miro)
11:00 - 12:30
Session 6: SecuritySEAMS Research Track at 204
Chair(s): Antonio Filieri AWS and Imperial College London
11:0025m
Talk
Self-Adaptive Dual-Layer DDoS Mitigation using Autoencoder and Reinforcement
LearningFULL
Qi Duan Carnegie Mellon University, Ehab Al-Shaer Carnegie Mellon University, USA,
David Garlan Carnegie Mellon University
11:2525m
Talk
Analysis of Autonomous Driving Software to Low-Level Sensor Cyber AttacksFULL
Andrew Roberts Tallinn University of Technology, Mohsen Malayjerdi Tallinn
University of Technology, Mauro Bellone FinEst Smart City Centre, Raivo Sell
Tallinn University of Technology, Olaf Maennel University of Adelaide, Mohammad
Hamad Technical University of Munich, Sebastian Steinhorst Technical University of
Munich
11:5015m
Talk
Approaching Proactive Self-Adaptation in Nonlinear Cyber-Physical SystemsSHORT
Farid Edrisi Linnaeus University, Diego Perez-Palacin Linnaeus University, Mauro
Caporuscio Linnaeus University, Raffaela Mirandola Karlsruhe Institute of
Technology (KIT)
12:0515m
Talk
Towards Using Inductive Learning to Adapt Security Controls in Smart HomesSHORT
Kushal Ramkumar Lero@University College Dublin, Wanling Cai Lero@Trinity College
Dublin, John McCarthy Lero@University College Cork, Gavin Doherty Lero@Trinity
College Dublin, Bashar Nuseibeh The Open University, UK; Lero, University of
Limerick, Ireland, Liliana Pasquale University College Dublin & Lero
File Attached
12:2010m
Other
Discussion Session 6
11:00 - 12:30
SWEBOK Summit Session 2: Industry application and certificationPanels and Special
Sessions at 205
11:0025m
Talk
SWEBOK Summit Talk: A Framework for Software Engineering Professional Development
P: Steve Tockey Construx Software
11:2525m
Talk
SWEBOK Summit Talk: Defining Software Engineering Terms: Comparing SWEBOK to Job
Postings
P: Deborah Silver Rutgers University, P: Stephen Frezza Franciscan University of
Steubenville
11:5025m
Talk
SWEBOK Summit Talk: Practical Application of SFIA in Software Engineering:
Complementing SWEBOK with Industry-Driven Skills and Competencies
P: Peter Leather SFIA Foundation
11:00 - 12:30
Human and Social Aspects in SE EducationCSEE&T at 206
Chair(s): Cecile Peraire Carnegie Mellon University Silicon Valley
11:0020m
Talk
Diversity in Software Engineering Education: Exploring Motivations, Influences, and
Role Models Among Undergraduate Students
Ronnie de Souza Santos University of Calgary, Italo Santos Northern Arizona
University, Robson Santos UFPE, Cleyton Magalhaes Universidade Federal Rural de
Pernambuco
Pre-print
11:2020m
Talk
Video-based Empathy Training for Software Engineers
Antonija Mitrovic University of Canterbury, New Zealand, Matthias Galster
University of Canterbury, Sanna Malinen University of Canterbury, Sreedevi Sankara
Iyer University of Canterbury, Raul Vincent Lumapas University of Canterbury, New
Zealand, Negar Mohammadhassan University of Canterbury, New Zealand, Jay Holland
University of Canterbury
11:4020m
Talk
Improving Software Engineering Team Communication Through Stronger Social Networks
April Clarke University of Canterbury, Antonija Mitrovic University of Canterbury,
New Zealand, Fabian Gilson University of Canterbury
Pre-print
11:00 - 12:30
Session 2RAIE at 207
Chair(s): Foutse Khomh Polytechnique Montréal
11:0015m
Talk
Using Drift Planning to Improve Safety of Visual Navigation in Unmanned Aerial
Vehicles
Jeffrey Hansen Carnegie Mellon Software Engineering Institute, Sebastian Echeverria
Carnegie Mellon Software Engineering Institute, Lena Pons Carnegie Mellon Software
Engineering Institute, Lihan Zhan Carnegie Mellon Software Engineering Institute,
Gabriel A. Moreno Carnegie Mellon University Software Engineering Institute, P:
Grace Lewis Carnegie Mellon Software Engineering Institute
11:1515m
Talk
LLM-AQuA-DiVeR: LLM-Assisted Quality Assurance Through Dialogues on Verifiable
Specification with Requirement Owners
P: Shohei Mitani Georgetown University, Salonee Moona Triple Point Security,
Shinichiro Matsuo Georgetown University, Eric Burger Virginia Tech
11:3012m
Talk
Towards Ensuring Responsible AI for Medical Device Certification
P: Giulio Mallardi University of Bari, Luigi Quaranta University of Bari, Italy,
Fabio Calefato University of Bari, Filippo Lanubile University of Bari
11:4212m
Talk
Navigating the landscape of AI test methods using taxonomy-based selection
Maximilian Pintz Fraunhofer Institute for Intelligent Analysis and Information
Systems, University of Bonn, Anna Schmitz Fraunhofer Institute for Intelligent
Analysis and Information Systems, Rebekka Görge Fraunhofer Institute for
Intelligent Analysis and Information Systems, P: Sebastian Schmidt Fraunhofer
Institute for Intelligent Analysis and Information Systems, Daniel Becker , Maram
Akila Fraunhofer Institute for Intelligent Analysis and Information Systems, Lamarr
Institute, Michael Mock Fraunhofer Institute for Intelligent Analysis and
Information Systems
11:5412m
Talk
Responsible AI in the Software Industry: A Practitioner-Centered Perspective
P: Matheus de Morais Leça University of Calgary, Mariana Pinheiro Bento University
of Calgary, Ronnie de Souza Santos University of Calgary
Pre-print
12:0612m
Talk
The Privacy Pillar - A Conceptual Framework for Foundation Model-based Systems
Tingting Bi The University of Melbourne, Guangsheng Yu University of Technology
Sydney, Qin Wang CSIRO Data61
11:00 - 12:30
Session 2GE@ICSE at 208
11:0025m
Research paper
Elephant in the Room: Gender and Role Based Disparities in the Software Industry of
Bangladesh?
Samiha Tahsin Noshin Institute of Information Technology, University of Dhaka,
Sharif Mohammad Abdullah Institute of Information Technology, University of Dhaka,
Soumitra Paul Institute of Information Technology, University of Dhaka, Arnab Das
Joy Institute of Information Technology, University of Dhaka, Kazi Sakib Institute
of Information Technology, University of Dhaka, Noshin Tahsin Institute of
Information Technology, University of Dhaka
11:2525m
Research paper
Impostor Phenomenon Among Software Engineers: Investigating Gender Differences and
Well-Being
Paloma Guenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Rafael
Tomaz Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Bianca
Trinkenreich Colorado State University, Maria Teresa Baldassarre Department of
Computer Science, University of Bari , Margaret-Anne Storey University of Victoria,
Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
11:5025m
Research paper
Investigating the Challenges Faced by Women on Software Engineering: a Grey
Literature Study
Alessa Soares de Oliveira Federal Institute of Bahia, Sávio Freire Federal
Institute of Ceará, Edna Dias Canedo University of Brasilia (UnB), Manoel Mendonça
Federal University of Bahia, Larissa Rocha Universidade Federal da Bahia
11:00 - 12:30
APR Session 2APR at 210
Chair(s): Tegawendé F. Bissyandé University of Luxembourg, Chao Peng ByteDance
11:0050m
Keynote
Bugfix: A Standard Language, Database Schema and Repository for Research on Bugs
and Automatic Program Repair
Bertrand Meyer Eiffel Software
11:5020m
Talk
Current challenges in automated multi-fault program repair
Omar I. Al-Bataineh Gran Sasso Science Institute (GSSI)
 File Attached
12:1020m
Talk
FusionRepair: Iterative Multi-Line APR via Fusion
Jayanath Senevirathna University of Moratuwa, Sri Lanka, Ayesh Vininda University
of Moratuwa, Sri Lanka, Prasad Sandaruwan University of Moratuwa, Sri Lanka, Ridwan
Salihin Shariffdeen National University of Singapore, Sandareka Wickramanayake
University of Moratuwa, Sri Lanka, Nisansa de Silva University of Moratuwa, Sri
Lanka
11:00 - 12:30
Session 4: When and How to TestAST at 211
Session chair: Mehrdad Saadatmand

11:0022m
Full-paper
An Adaptive Testing Approach Based on Field Data
Samira Santos da Silva Gran Sasso Science Institute (GSSI), Ricardo Caldas Gran
Sasso Science Institute (GSSI), Patrizio Pelliccione Gran Sasso Science Institute,
L'Aquila, Italy, Antonia Bertolino Gran Sasso Science Institute
Pre-print
11:2222m
Full-paper
Exceptional Behaviors: How Frequently Are They Tested?
Andre Hora UFMG, Gordon Fraser University of Passau
Pre-print Media Attached
11:4522m
Full-paper
Improving Examples in Web API Specifications using Iterated-Calls In-Context
Learning
Kush Jain Carnegie Mellon University, Kiran Kate IBM Research, Jason Tsay IBM
Research, Claire Le Goues Carnegie Mellon University, Martin Hirzel IBM Research
Pre-print
12:0722m
Full-paper
What Types of Automated Tests do Developers Write?
Marko Ivanković University of Passau, Luka Rimanić Google, Ivan Budiselic Google,
Goran Petrovic Google; Universität Passau, Gordon Fraser University of Passau, René
Just University of Washington
Pre-print
11:00 - 12:00
Session 2: Human aspects (talks and panel)Doctoral Symposium at 212
Chair(s): Alexander Serebrenik Eindhoven University of Technology
11:006m
Talk
Decoding Diversity: Understanding its Impact on Team Performance in Software Teams
Kezia Devathasan University of Victoria
11:066m
Talk
Diverse Participation and Newcomer Risk Perception in Open Source Software
Communities
Hana Frluckaj University of Texas
11:126m
Talk
A Framework for Supporting Transparency in Software Ecosystems Portals from the
Point of View of Developer Experience
Rodrigo Zacarias UNIRIO - Universidade Federal do Estado do Rio de Janeiro
11:186m
Talk
Studying and Improving Code Understandability through Atoms of Confusion
Guoshuai Shi University of Waterloo
11:246m
Talk
Understanding and Improving Code Review of Changes in Build Systems
Mahtab Nejati University of Waterloo
11:3030m
Panel
Panel: Human aspects
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
11:00 - 12:30
KeynoteStudent Mentoring Workshop (SMeW) at 213
Chair(s): Ronnie de Souza Santos University of Calgary
11:0090m
Keynote
Keynote
Ronnie de Souza Santos University of Calgary
11:00 - 12:30
Software ecosystems and humansMSR Data and Tool Showcase Track / MSR Technical
Papers at 214
Chair(s): Ahmad Abdellatif University of Calgary
11:0010m
Talk
The Ecosystem of Open-Source Music Production Software – A Mining Study on the
Development Practices of VST Plugins on GitHub
MSR Technical Papers
Andrei Bogdan University of Amsterdam, Mauricio Verano Merino Vrije Universiteit
Amsterdam, Ivano Malavolta Vrije Universiteit Amsterdam
Pre-print
11:1010m
Talk
Can LLMs Replace Manual Annotation of Software Engineering Artifacts?Technical
Track Distinguished Paper Award
MSR Technical Papers
Toufique Ahmed IBM Research, Prem Devanbu University of California at Davis,
Christoph Treude Singapore Management University, Michael Pradel University of
Stuttgart
Pre-print
11:2010m
Talk
Investigating the Understandability of Review Comments on Code Change Requests
MSR Technical Papers
Md Shamimur Rahman University of Saskatchewan, Canada, Zadia Codabux University of
Saskatchewan, Chanchal K. Roy University of Saskatchewan
11:3010m
Talk
Mining a Decade of Contributor Dynamics in Ethereum: A Longitudinal StudyFOSS Award
MSR Technical Papers
Matteo Vaccargiu University of Cagliari, Sabrina Aufiero University College London
(UCL), Cheick Ba Queen Mary University of London, Silvia Bartolucci University
College London, Richard Clegg Queen Mary University London, Daniel Graziotin
University of Hohenheim, Rumyana Neykova Brunel University London, Roberto Tonelli
University of Cagliari, Giuseppe Destefanis Brunel University London
Pre-print
11:4010m
Talk
Is it Really Fun? Detecting Low Engagement Events in Video Games
MSR Technical Papers
Emanuela Guglielmi University of Molise, Gabriele Bavota Software Institute @
Università della Svizzera Italiana, Nicole Novielli University of Bari, Rocco
Oliveto University of Molise, Simone Scalabrino University of Molise
11:505m
Talk
A Dataset of Contributor Activities in the NumFocus Open-Source CommunityData/Tool
Track Distinguished Dataset Award
MSR Data and Tool Showcase Track
Youness Hourri University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS,
Tom Mens University of Mons
Pre-print
11:555m
Talk
Jupyter Notebook Activity Dataset
MSR Data and Tool Showcase Track
Tomoki Nakamaru The University of Tokyo, Tomomasa Matsunaga The University of
Tokyo, Tetsuro Yamazaki University of Tokyo
12:005m
Talk
CoPhi - Mining C/C++ Packages for Conan Ecosystem Analysis
MSR Data and Tool Showcase Track
Vivek Sarkar University of Washington, Anemone Kampkötter TU Dortmund, Ben Hermann
TU Dortmund
Pre-print
12:055m
Talk
MARIN: A Research-Centric Interface for Querying Software Artifacts on Maven
Repositories
MSR Data and Tool Showcase Track
Johannes Düsing TU Dortmund, Jared Chiaramonte Arizona State University, Ben
Hermann TU Dortmund
Pre-print File Attached
12:105m
Talk
GitProjectHealth: an Extensible Framework for Git Social Platform Mining
MSR Data and Tool Showcase Track
Nicolas Hlad Berger-Levrault, Benoit Verhaeghe Berger-Levrault, Kilian Bauvent
Berger-levrault
12:155m
Talk
Myriad People. Open Source Software for New Media ArtsFOSS Award
MSR Data and Tool Showcase Track
Benoit Baudry Université de Montréal, Erik Natanael Gustafsson Independent artist,
Roni Kaufman Independent artist, Maria Kling Independent artist
Pre-print
12:205m
Talk
OpenMent: A Dataset of Mentor-Mentee Interactions in Google Summer of Code
MSR Data and Tool Showcase Track
Erfan Raoofian University of British Columbia, Fatemeh Hendijani Fard University of
British Columbia, Ifeoma Adaji University of British Columbia, Gema Rodríguez-Pérez
University of British Columbia (UBC)
12:255m
Talk
Under the Blueprints: Parsing Unreal Engine’s Visual Scripting at Scale
MSR Data and Tool Showcase Track
Kalvin Eng University of Alberta, Abram Hindle University of Alberta
 Pre-print
11:00 - 12:30
Build systems and DevOpsMSR Data and Tool Showcase Track / MSR Technical Papers /
MSR Tutorials at 215
Chair(s): Massimiliano Di Penta University of Sannio, Italy
11:0010m
Talk
Build Scripts Need Maintenance Too: A Study on Refactoring and Technical Debt in
Build Systems
MSR Technical Papers
Anwar Ghammam Oakland University, Dhia Elhaq Rzig University of Michigan -
Dearborn, Mohamed Almukhtar Oakland University, Rania Khalsi University of Michigan
- Flint, Foyzul Hassan University of Michigan at Dearborn, Marouane Kessentini
Grand Valley State University
11:1010m
Talk
LLMSecConfig: An LLM-Based Approach for Fixing Software Container Misconfigurations
MSR Technical Papers
Ziyang Ye The University of Adelaide, Triet Le The University of Adelaide, Muhammad
Ali Babar School of Computer Science, The University of Adelaide
Pre-print
11:2010m
Talk
How Do Infrastructure-as-Code Practitioners Update Their Dependencies? An Empirical
Study on Terraform Module Updates
MSR Technical Papers
Mahi Begoug , Ali Ouni ETS Montreal, University of Quebec, Moataz Chouchen
Department of Electrical and Computer Engineering, Concordia University, Montreal,
Canada
11:305m
Talk
TerraDS: A Dataset for Terraform HCL Programs
MSR Data and Tool Showcase Track
Christoph Buehler University of St. Gallen, David Spielmann University of St.
Gallen, Roland Meier armasuisse, Guido Salvaneschi University of St. Gallen
Pre-print
11:355m
Talk
CARDS: A collection of package, revision, and miscelleneous dependency graphs
MSR Data and Tool Showcase Track
Euxane TRAN-GIRARD LIGM, CNRS, Université Gustave Eiffel, Laurent BULTEAU LIGM,
CNRS, Université Gustave Eiffel, Pierre-Yves DAVID Octobus S.c.o.p.
Pre-print
11:405m
Talk
GHALogs: Large-scale dataset of GitHub Actions runs
MSR Data and Tool Showcase Track
Florent Moriconi EURECOM, AMADEUS, Thomas Durieux TU Delft, Jean-Rémy Falleri
Bordeaux INP, Raphaël Troncy EURECOM, Aurélien Francillon EURECOM
11:455m
Talk
OSPtrack: A Labeled Dataset Targeting Simulated Execution of Open-Source Software
MSR Data and Tool Showcase Track
Zhuoran Tan University of Glasgow, Christos Anagnostopoulos University of Glasgow,
Jeremy Singer University of Glasgow
11:5040m
Tutorial
Agents for Software Development
MSR Tutorials
Graham Neubig Carnegie Mellon University
11:00 - 12:30
ACM Student Research Posters and Judging Session 2SRC - ACM Student Research
Competition at Canada Hall 3 Poster Area
11:0090m
Talk
On the Fly Input Refinement for Code Language Models
Ravishka Shemal Rathnasuriya University of Texas at Dallas
11:0090m
Talk
Program Feature-based Fuzzing Benchmarking
Miao Miao The University of Texas at Dallas
11:0090m
Talk
Towards Compatibly Mitigating Technical Lag in Maven Projects
Rui Lu East China Normal University
11:0090m
Talk
On the Automation of Code Review Tasks Through Cross-Task Knowledge Distillation
Oussama Ben Sghaier DIRO, Université de Montréal
11:0090m
Talk
CASS: Context-Aware Slice Summarization for Debugging Regression Failures
Sahar Badihi University of British Columbia, Canada
Pre-print
11:0090m
Talk
Revisiting SWE-Bench: On the Importance of Data Quality for LLM-based Code Models
Reem Aleithan York University, Canada
11:0090m
Talk
The Balancing Act of Policies in Developing Machine Learning Explanations
Jacob Tjaden Colby College
11:0090m
Talk
To Mock or Not to Mock: Divergence in Mocking Practices Between LLM and Developers
Hanbin Qin Stevens Institute of Technology
12:00 - 12:30
Session 2: Human aspects (posters)Doctoral Symposium at 209 Poster Area
12:0030m
Talk
Towards Fully-Traceable Human-Centred Design
Christopher Schankula McMaster University
12:0030m
Talk
User perceptions of ethical issues in software
Tom P Humbert Vrije Universiteit Amsterdam
12:0030m
Talk
Advancing Cognitive Inclusivity in Software Engineering Tools and Practices
Faith Culas University of Auckland
12:0030m
Talk
Human-centric Requirements Engineering for Digital Health Software for Aging People
Yuqing Xiao Monash University
12:0030m
Talk
Improving Software Engineering Team Communication Through Stronger Social Networks
April Clarke University of Canterbury
12:0030m
Talk
Decoding the Impostor Phenomenon: Unveiling Factors and Mitigation Strategies for
Software Professionals
Paloma Guenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
12:0030m
Talk
Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software
Development
David Molamphy University of Limerick
12:30 - 14:00
LunchCatering at Canada Hall 3 plus Foyer
12:3090m
Lunch
Tuesday Lunch
13:00 - 14:00
MSR Poster (Tuesday)MSR Mining Challenge / MSR Data and Tool Showcase Track / MSR
Technical Papers at Canada Hall 3 Poster Area
13:0060m
Talk
Chasing the Clock: How Fast Are Vulnerabilities Fixed in the Maven Ecosystem?
MSR Mining Challenge
Md Fazle Rabbi Idaho State University, Arifa Islam Champa Idaho State University,
Rajshakhar Paul Wayne State University, Minhaz F. Zibran Idaho State University
Pre-print
13:0060m
Talk
MaLAware: Automating the Comprehension of Malicious Software Behaviours using Large
Language Models (LLMs)
MSR Data and Tool Showcase Track
BIKASH SAHA Indian Institute of Technology Kanpur, Nanda Rani Indian Institute of
Technology Kanpur, Sandeep K. Shukla Indian Institute of Technology Kanpur
Pre-print
13:0060m
Talk
A Dataset of Contributor Activities in the NumFocus Open-Source CommunityData/Tool
Track Distinguished Dataset Award
MSR Data and Tool Showcase Track
Youness Hourri University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS,
Tom Mens University of Mons
Pre-print
13:0060m
Talk
Popularity and Innovation in Maven Central
MSR Mining Challenge
Nkiru Ede Victoria University of Wellington, Jens Dietrich Victoria University of
Wellington, Ulrich Zülicke Victoria University of Wellington
Pre-print
13:0060m
Talk
TerraDS: A Dataset for Terraform HCL Programs
MSR Data and Tool Showcase Track
Christoph Buehler University of St. Gallen, David Spielmann University of St.
Gallen, Roland Meier armasuisse, Guido Salvaneschi University of St. Gallen
Pre-print
13:0060m
Talk
SPRINT: An Assistant for Issue Report Management
MSR Data and Tool Showcase Track
Ahmed Adnan , Antu Saha William & Mary, Oscar Chaparro William & Mary
Pre-print
13:0060m
Talk
Does Functional Package Management Enable Reproducible Builds at Scale?
Yes.Technical Track Distinguished Paper Award
MSR Technical Papers
Julien Malka LTCI, Télécom Paris, Institut Polytechnique de Paris, France, Stefano
Zacchiroli Télécom Paris, Polytechnic Institute of Paris, Théo Zimmermann Télécom
Paris, Polytechnic Institute of Paris
Pre-print
13:0060m
Talk
Dependency Update Adoption Patterns in the Maven Software Ecosystem
MSR Mining Challenge
Baltasar Berretta College of Wooster, Augustus Thomas College of Wooster, Heather
Guarnera The College of Wooster
13:0060m
Talk
A Dataset of Software Bill of Materials for Evaluating SBOM Consumption Tools
MSR Data and Tool Showcase Track
Rio Kishimoto Osaka University, Tetsuya Kanda Notre Dame Seishin University, Yuki
Manabe The University of Fukuchiyama, Katsuro Inoue Nanzan University, Shi Qiu
Toshiba, Yoshiki Higo Osaka University
Pre-print
13:0060m
Talk
Investigating the Understandability of Review Comments on Code Change Requests
MSR Technical Papers
Md Shamimur Rahman University of Saskatchewan, Canada, Zadia Codabux University of
Saskatchewan, Chanchal K. Roy University of Saskatchewan
13:0060m
Talk
Refactoring for Dockerfile Quality: A Dive into Developer Practices and Automation
Potential
MSR Technical Papers
Emna Ksontini University of Michigan, Meriem Mastouri University of Michigan, Rania
Khalsi University of Michigan - Flint, Wael Kessentini DePaul University
13:0060m
Talk
Combining Large Language Models with Static Analyzers for Code Review Generation
MSR Technical Papers
Imen Jaoua DIRO, Université de Montréal, Oussama Ben Sghaier DIRO, Université de
Montréal, Houari Sahraoui DIRO, Université de Montréal
Pre-print
13:0060m
Talk
Cascading Effects: Analyzing Project Failure Impact in the Maven Central Ecosystem
MSR Mining Challenge
Mina Shehata Belmont University, Saidmakhmud Makhkamjonoov Belmont University,
Mahad Syed Belmont University, Esteban Parra Belmont University
13:0060m
Talk
CoMRAT: Commit Message Rationale Analysis Tool
MSR Data and Tool Showcase Track
Mouna Dhaouadi University of Montreal, Bentley Oakes Polytechnique Montréal,
Michalis Famelis Université de Montréal
Pre-print Media Attached File Attached
13:0060m
Talk
Can LLMs Replace Manual Annotation of Software Engineering Artifacts?Technical
Track Distinguished Paper Award
MSR Technical Papers
Toufique Ahmed IBM Research, Prem Devanbu University of California at Davis,
Christoph Treude Singapore Management University, Michael Pradel University of
Stuttgart
Pre-print
13:0060m
Talk
Do LLMs Provide Links to Code Similar to what they Generate? A Study with Gemini
and Bing CoPilot
MSR Technical Papers
Daniele Bifolco University of Sannio, Pietro Cassieri University of Salerno,
Giuseppe Scanniello University of Salerno, Massimiliano Di Penta University of
Sannio, Italy, Fiorella Zampetti University of Sannio, Italy
Pre-print
13:0060m
Talk
Mining a Decade of Contributor Dynamics in Ethereum: A Longitudinal StudyFOSS Award
MSR Technical Papers
Matteo Vaccargiu University of Cagliari, Sabrina Aufiero University College London
(UCL), Cheick Ba Queen Mary University of London, Silvia Bartolucci University
College London, Richard Clegg Queen Mary University London, Daniel Graziotin
University of Hohenheim, Rumyana Neykova Brunel University London, Roberto Tonelli
University of Cagliari, Giuseppe Destefanis Brunel University London
Pre-print
13:0060m
Talk
SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset
MSR Data and Tool Showcase Track
Chavhan Sujeet Yashavant Indian Institute of Technology, Kanpur, Mitrajsinh Chavda
Indian Institute of Technology Kanpur, India, Saurabh Kumar Indian Institute of
Technology Hyderabad, India, Amey Karkare IIT Kanpur, Angshuman Karmakar Indian
Institute of Technology Kanpur, India
Pre-print
13:0060m
Talk
Out of Sight, Still at Risk: The Lifecycle of Transitive Vulnerabilities in Maven
MSR Mining Challenge
Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Mikołaj Fejzer
Nicolaus Copernicus University in Toruń, Jakub Narębski Nicolaus Copernicus
University in Toruń, Krzysztof Rykaczewski Nicolaus Copernicus University in Toruń,
Poland, Krzysztof Stencel University of Warsaw
Pre-print
13:0060m
Talk
HaPy-Bug - Human Annotated Python Bug Resolution Dataset
MSR Data and Tool Showcase Track
Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Mikołaj Fejzer
Nicolaus Copernicus University in Toruń, Jakub Narębski Nicolaus Copernicus
University in Toruń, Radosław Woźniak Nicolaus Copernicus University in Toruń,
Łukasz Halada University of Wrocław, Poland, Aleksander Kazecki Nicolaus Copernicus
University in Toruń, Mykhailo Molchanov Igor Sikorsky Kyiv Polytechnic Institute,
Ukraine, Krzysztof Stencel University of Warsaw
Pre-print File Attached
14:00 - 17:30
Child Care Tuesday PMSocial, Networking and Special Rooms at 102 Child Care
14:00 - 15:30
Tutorial 2 (Part 1)Tutorials and Technical Briefings at 103
This tutorial addresses specification, debugging, and compliance with social,
legal, ethical, empathetic, and cultural (SLEEC) requirements for AI and autonomous
systems.

For more information click here

14:0090m
Tutorial
Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from
Elicitation to VerificationSE for AIRequirementsHuman/SocialReal-Time+Safety
P: Lina Marsso École Polytechnique de Montréal, P: Sinem Getir Yaman University of
York, UK, P: Pedro Ribeiro University of York, UK, P: Marsha Chechik University of
Toronto
14:00 - 15:30
Paper Presentations 3 and Tutorial 2SBFT at 104
Chair(s): Matteo Biagiola Università della Svizzera italiana
14:0015m
Paper
AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
Felix Mächtle University of Luebeck, Nils Loose University of Luebeck, Jan-Niclas
Serr University of Luebeck, Jonas Sander University of Luebeck, Thomas Eisenbarth
University of Lübeck
14:1515m
Research paper
Mimicry-Based Testing of Runtime SQLi Prevention Approaches
Anjana Perera Oracle Labs, Australia, François Gauthier Oracle Labs, Kostyantyn
Vorobyov Oracle Labs, Matthew Harris Oracle Labs, Paddy Krishnan Oracle Labs,
Australia
14:3060m
Tutorial
Tutorial by Miguel Romero-Arjona and Aitor Arrieta
Miguel Romero-Arjona University of Seville, Aitor Arrieta Mondragon University
14:00 - 15:30
Game Design & ImplementationGAS at 105
Chair(s): Antonio Bucchiarone DISIM, University of L'Aquila
14:0020m
Talk
A Mapping Study of the Entity Component System Pattern
Laurent Voisard Concordia University, Henrique De Freitas Serra Concordia
University, Cristiano Politowski Ontario Tech University, Fabio Petrillo École de
technologie supérieure (ÉTS), Montréal -- Université du Québec, Yann-Gaël Guéhéneuc
Concordia University and Polytechnique Montréal
14:2020m
Talk
Generative AI for Facial Expressions in 3D Game Characters: A Retrieval-Augmented
Approach
Jonas de Araújo Luz Junior University of Fortaleza, Guadalupe Prado Saldanha
Ribeiro University of Fortaleza, Rafael Fonseca Pessoa University of Fortaleza,
Alberto Huarastaca Taveira Magalhães University of Fortaleza, Maria Andréia Formico
Rodrigues University of Fortaleza
14:4020m
Talk
Preventing Client-Side Exploits in Games with Capability Architectures
Joseph Oster United States Naval Academy, Christian DeLozier
15:0030m
Live Q&A
Research Paper Discussion
14:00 - 15:30
Security and PrivacyCSEE&T at 106
Chair(s): Marian Daun Technical University of Applied Sciences Würzburg-Schweinfurt
14:0020m
Talk
A journey through Cyberium: creating user stories for a dystopic world to teach
Requirements Engineering
JOAO RICARDO SERIQUE BERNARDO UFAM - Federal University of Amazonas, João Vitor
Frota Universidade Federal do Amazonas (UFAM), Thais de Souza Universidade Federal
do Amazonas (UFAM), Marcela Savia Universidade Estadual do Amazonas (UEA), Bruno
Gadelha UFAM, Tayana Conte Universidade Federal do Amazonas
Pre-print
14:2020m
Talk
Phishing Awareness via Game-Based Learning
Argianto Rahartomo TU Clausthal, Ahmed Tareq Ali Ghaleb Technische Universität
Clausthal, Mohammad Ghafari TU Clausthal
Pre-print
14:4020m
Talk
Authentic Learning Exercise for Kubernetes Misconfigurations: An Experience Report
of Student Perceptions
Shazibul Islam Shamim Kennesaw State University, Fan Wu Tuskegee University,
Hossain Shahriar University of West Florida, Anthony Skjellum Tennessee Tech
University, Akond Rahman Auburn University, USA
14:00 - 15:30
Invited TalksSTATIC at 107
14:0045m
Talk
Automatic Detection of Data Entry Errors
I: Martin Schäf Amazon Web Services
14:4545m
Talk
The Pursuit of Soundness in Android Static Analysis
I: Jordan Samhi University of Luxembourg, Luxembourg
14:00 - 15:30
Paper Session 2SE4ADS at 108
14:0018m
Talk
Realism Constructs for ADS Simulation Testing
Trey Woodlief University of Virginia, Kevin Sullivan University of Virginia,
Sebastian Elbaum University of Virginia
14:1818m
Talk
Revolutionizing Validation and Verification: Explainable Testing Methodologies for
Intelligent Automotive Decision-Making Systems
Halit Eris Technical University of Munich, Stefan Wagner Technical University of
Munich
14:3618m
Talk
Scenario as Specification: Structuring the Development and Deployment of Automated
Driving
Sinan Hasirlioglu Audi AG, Mohamed Essayed Bouzouraa Audi AG
14:5418m
Talk
Towards a Traffic Scenario Catalog for Collaborative Testing of Autonomous Vehicles
Zhekai Jiang EPFL, Oszkár Semeráth Budapest University of Technology and Economics,
Aren Babikian University of Toronto
15:1218m
Talk
Towards Integrating Scenario-Based Requirements Engineering for Autonomous Vehicle
Systems
Amarachi Nwosu Ontario Tech University, Sanaa Alwidian
14:00 - 15:30
Session 3: Collection of LessonsNew Faculty Symposium at 201
Chair(s): Shinpei Hayashi Institute of Science Tokyo, Luigi Benedicenti University
of New Brunswick
14:0030m
Talk
A Story of Moving Out and In: Lessons Learned
Francis Palma University of New Brunswick
14:3030m
Talk
Impostor Syndrome in Academia: Why You're Not Alone and How to Overcome It
Margaret-Anne Storey University of Victoria
15:0030m
Talk
Bad Professor: Lose and Find My Cool
Jin L.C. Guo McGill University
14:00 - 15:30
Openning and Keynote SpeechFinanSE at 202
Chair(s): Petr Babkin J.P. Morgan AI Research
14:0015m
Day opening
Opening Remarks
14:1575m
Keynote
Revisiting the triptychs of software engineering in the FinTech and RegTech realms
Domenico Bianculli University of Luxembourg
14:00 - 15:30
Session 3: Talk on Green Conferences and Discussion SessionGREENS at 203
Chair(s): Luís Cruz TU Delft
14:0025m
Talk
The Greening of Our Conferences
Rick Kazman University of Hawai‘i at Mānoa
14:2565m
Other
Breakout participants into groups for discussing 3~4 topics
14:00 - 15:30
Session 7: ApplicationsSEAMS Research Track / SEAMS Artifact Track at 204
Chair(s): Liliana Pasquale University College Dublin & Lero
14:0025m
Talk
FLEXICO: Sustainable Machine Translation via Self-AdaptationFULL
SEAMS Research Track
Maria Casimiro Instituto Superior Técnico, Universidade de Lisboa & S3D, Carnegie
Mellon University, Paolo Romano IST/INESC-ID, José Sousa Unbabel, Amin M Khan
INESC-ID. Universidade de Lisboa, David Garlan Carnegie Mellon University
14:2525m
Talk
SPARQ: A QoS-aware Framework for Mitigating Cyber Risk in Self-Protecting IoT
SystemsFULLBest Paper Award
SEAMS Research Track
Alessandro Palma Università di Roma Sapienza, Houssam Hajj Hassan SAMOVAR, Télécom
SudParis, Institut Polytechnique de Paris, Georgios Bouloukakis Télécom SudParis,
Institut Polytechnique de Paris
14:5015m
Talk
Adapting Aggregation Rule for Robust Federated Learning under Dynamic AttacksSHORT
SEAMS Research Track
Chenyu Hu Southwest University, Mingyue Zhang Southwest University, NIANYU LI ZGC
Lab, China, Jialong Li Waseda University, Japan, Zheng Yang Southwest University,
Muneeb Ul Hassan Deakin University, Kenji Tei Institute of Science Tokyo
15:0515m
Talk
Adaptive and Interoperable Federated Data Spaces: An Implementation
ExperienceARTIFACT
SEAMS Artifact Track
Nikolaos Papadakis , Niemat Khoder Télécom SudParis, Institut Polytechnique de
Paris, France, Daphne Tuncer Ecole nationale des ponts et chaussees, Institut
Polytechnique de Paris, France, Kostas Magoutis University of Crete and FORTH-ICS,
Georgios Bouloukakis Télécom SudParis, Institut Polytechnique de Paris
15:2010m
Other
Discussion Session 7
SEAMS Research Track

14:00 - 15:30
SWEBOK Summit Session 3Panels and Special Sessions at 205
Chair(s): Hironori Washizaki Waseda University
14:0040m
Panel
SWEBOK Summit Panel Discussion: Industrial application of SWEBOK Guide: Current and
Future
P: Deborah Silver Rutgers University, P: Gerd Hoefner Siemens Healthineers, P: Rik
Essenius Shell International, P: Steve Tockey Construx Software, P: Peter Leather
SFIA Foundation
14:4025m
Talk
SWEBOK Summit Talk: Publishing a Software Engineering Textbook: A Journey Inspired
on SWEBOK's Knowledge Areas
P: Marco Tulio Valente Federal University of Minas Gerais, Brazil
15:0525m
Talk
SWEBOK Summit Talk: Using Software Engineering Standards with SWEBOK
P: Annette Reilly
14:00 - 15:30
Soft Skills and Professional DevelopmentCSEE&T at 206
Chair(s): Matthew Barr University of Glasgow
14:0020m
Talk
Some Experience Required: Comparing Professional Requirements Engineering
Experience to Students’ Perspectives
Ben Jelen Rose-Hulman Institute of Technology, Stephen Sher Rose-Hulman Institute
of Technology, Helena Donaldson Rose-Hulman Institute of Technology, Gloria Liou
Rose-Hulman Institute of Technology, Purdue University, Amanda Stouder Rose-Hulman
Institute of Technology, Steve Chenoweth Rose-Hulman Institute of Technology, Mark
Hays Rose-Hulman Institute of Technology
Pre-print
14:2020m
Talk
Fostering Qualified Software Engineers via Software Engineering Conversion
Programmes
Zheng Li Queen's University Belfast, UK
Pre-print
14:4020m
Talk
Embracing Experiential Learning: Hackathons as an Educational Strategy for Shaping
Soft Skills in Software Engineering
Allysson Allex Araújo Federal University of Cariri, Marcos Kalinowski Pontifical
Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre
Department of Computer Science, University of Bari
Pre-print
14:00 - 15:30
Session 3RAIE at 207
Chair(s): Maximilian Poretschkin Fraunhofer IAIS & University of Bonn
14:0050m
Keynote
Keynote 2 by David Lo
K: David Lo Singapore Management University
14:5015m
Talk
Security of AI Agents
P: Yifeng He University of California, Davis, Ethan Wang University of California
at Davis, Yuyang Rong University of California, Davis, Zifei Cheng University of
California, Davis, Hao Chen University of California at Davis
15:0515m
Talk
Raising AI Ethics Awareness: Insights from a Quiz-Based Workshop with Software
Practitioners – An Experience Report
Aastha Pant Monash University, P: Rashina Hoda Monash University, Paul McIntosh
RMIT University
14:00 - 15:30
Session 3GE@ICSE at 208
14:0025m
Research paper
Analyzing Gender-Based Dynamics in Remote Pair Programming Interactions
Shandler Mason North Carolina State University, Sandeep Kuttal North Carolina State
University
14:2525m
Research paper
Gender Disparities in Contributions, Leadership, and Collaboration: An Exploratory
Study on Software Systems Research
Shamse Tasnim Cynthia University of Saskatchewan, Saikat Mondal University of
Saskatchewan, Joy Krishan Das University of Saskatchewan, Banani Roy University of
Saskatchewan
Pre-print
14:5030m
Other
Discussion Summary
15:2010m
Day closing
Closing remarks
Valentina Lenarduzzi University of Oulu
14:00 - 15:30
APR Session 3APR at 210
Chair(s): Tegawendé F. Bissyandé University of Luxembourg, Chao Peng ByteDance
14:0030m
Other
Discussion
Chao Peng ByteDance
14:3020m
Talk
Bogus Bugs, Duplicates, and Revealing Comments: Data Quality Issues in NPR
Julian Prenner Free University of Bozen-Bolzano, Romain Robbes CNRS, LaBRI,
University of Bordeaux
14:5020m
Talk
LLM-Based Repair of C++ Implicit Data Loss Compiler Warnings: An Industrial Case
Study
Chansong You SAP Labs Korea, Hyun Deok Choi SAP Labs Korea, Jingun Hong SAP Labs
Korea
15:1020m
Talk
Scholia - An XAI Framework for APR
Nethum Lamahewage University of Moratuwa, Sri Lanka, Nimantha Cooray University of
Moratuwa, Sri Lanka, Ridwan Salihin Shariffdeen National University of Singapore,
Sandareka Wickramanayake University of Moratuwa, Sri Lanka, Nisansa de Silva
University of Moratuwa, Sri Lanka
14:00 - 15:30
Session 5: Testing of LLMsAST at 211
Session chair: Annibale Panichella

14:0030m
Full-paper
Adaptive Probabilistic Operational Testing for Large Language Models Evaluation
Ali Asgari TU Delft, Antonio Guerriero Università di Napoli Federico II, Roberto
Pietrantuono Università di Napoli Federico II, Stefano Russo Università di Napoli
Federico II
Pre-print
14:3030m
Full-paper
ASTRAL: Automated Safety Testing of Large Language Models
Miriam Ugarte Mondragon University, Pablo Valle Mondragon University, José Antonio
Parejo Maestre SCORE Lab, I3US Institute, Universidad de Sevilla, Seville, Spain,
Sergio Segura SCORE Lab, I3US Institute, Universidad de Sevilla, Seville, Spain,
Aitor Arrieta Mondragon University
Pre-print
15:0030m
Full-paper
A Taxonomy of Failures in Tool-Augmented LLMs
Cailin Winston University of Washington, René Just University of Washington
14:00 - 15:00
Session 3: Maintenance (talks and panel)Doctoral Symposium at 212
Chair(s): Alexander Serebrenik Eindhoven University of Technology
14:006m
Talk
Concern-based Management of Software Design Complexity
Jason Lefever Drexel University
14:066m
Talk
Mitigating Waste That Tacitly Accrues in Continuous Integration Pipelines
Nimmi Rashinika Weeraddana University of Waterloo
Pre-print
14:126m
Talk
Automated Detection and Refactoring of Mock Clones in Java Projects
Gengwu Zhao Stevens Institute of Technology
14:186m
Talk
Practical Preprocessing of Logs at Scale
JianChen Zhao University of Waterloo
14:246m
Talk
Bridging the Gap Between Log Parsing Techniques and Practitioners: Challenges and
Solutions
Hetong Dai University of Waterloo
14:3030m
Panel
Panel: Maintenance
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
14:00 - 15:30
Mentoring PodsStudent Mentoring Workshop (SMeW) at 213
14:0090m
Meeting
Mentoring Pods
14:00 - 15:30
AI for SE (2)MSR Technical Papers / MSR Data and Tool Showcase Track / MSR
Registered Reports / MSR Industry Track at 214
Chair(s): Giuseppe Destefanis Brunel University London
14:0010m
Talk
Automatic High-Level Test Case Generation using Large Language Models
MSR Technical Papers
Navid Bin Hasan Bangladesh University of Engineering and Technology, Md. Ashraful
Islam Bangladesh University of Engineering and Technology, Junaed Younus Khan
Bangladesh University of Engineering and Technology, Sanjida Senjik Bangladesh
University of Engineering and Technology, Anindya Iqbal Bangladesh University of
Engineering and Technology Dhaka, Bangladesh
14:1010m
Talk
Prompting in the Wild: An Empirical Study of Prompt Evolution in Software
Repositories
MSR Technical Papers
Mahan Tafreshipour University of California at Irvine, Aaron Imani University of
California, Irvine, Eric Huang University of California, Irvine, Eduardo Santana de
Almeida Federal University of Bahia, Thomas Zimmermann University of California,
Irvine, Iftekhar Ahmed University of California at Irvine
Pre-print
14:2010m
Talk
Intelligent Semantic Matching (ISM) for Video Tutorial Search using Transformer
Models
MSR Technical Papers
Ahmad Tayeb , Sonia Haiduc Florida State University
14:3010m
Talk
Language Models in Software Development Tasks: An Experimental Analysis of Energy
and Accuracy
MSR Technical Papers
Negar Alizadeh Universiteit Utrecht, Boris Belchev University of Twente, Nishant
Saurabh Utrecht University, Patricia Kelbert Fraunhofer IESE, Fernando Castor
University of Twente
Pre-print
14:4010m
Talk
TriGraph: A Probabilistic Subgraph-Based Model for Visual Code Completion in Pure
Data
MSR Technical Papers
Anisha Islam Department of Computing Science, University of Alberta, Abram Hindle
University of Alberta
 Pre-print
14:505m
Talk
Inferring Questions from Programming Screenshots
MSR Technical Papers
Faiz Ahmed York University, Xuchen Tan York University, Folajinmi Adewole York
University, Suprakash Datta York University, Maleknaz Nayebi York University
14:555m
Talk
Human-In-The-Loop Software Development Agents: Challenges and Future Directions
MSR Industry Track
Jirat Pasuksmit Atlassian, Wannita Takerngsaksiri Monash University, Patanamon
Thongtanunam University of Melbourne, Kla Tantithamthavorn Monash University,
Ruixiong Zhang Atlassian, Shiyan Wang Atlassian, Fan Jiang Atlassian, Jing Li
Atlassian, Evan Cook Atlassian, Kun Chen Atlassian, Ming Wu Atlassian
Pre-print
15:005m
Talk
FormalSpecCpp: A Dataset of C++ Formal Specifications Created Using LLMs
MSR Data and Tool Showcase Track
Madhurima Chakraborty University of California, Riverside, Peter Pirkelbauer
Lawrence Livermore National Laboratory, Qing Yi Lawrence Livermore National
Laboratory
15:0510m
Talk
Towards Detecting Prompt Knowledge Gaps for Improved LLM-guided Issue Resolution
MSR Technical Papers
Ramtin Ehsani Drexel University, Sakshi Pathak Drexel University, Preetha
Chatterjee Drexel University, USA
Pre-print
15:155m
Talk
GENCNIPPET: Automated Generation of Code Snippets for Supporting Programming
Questions
MSR Registered Reports
Saikat Mondal University of Saskatchewan, Chanchal K. Roy University of
Saskatchewan
Pre-print
14:00 - 15:30
Software qualityMSR Technical Papers / MSR Data and Tool Showcase Track / MSR
Registered Reports at 215
Chair(s): Mohammad Hamdaqa Polytechnique Montréal
14:0010m
Talk
Does Functional Package Management Enable Reproducible Builds at Scale?
Yes.Technical Track Distinguished Paper Award
MSR Technical Papers
Julien Malka LTCI, Télécom Paris, Institut Polytechnique de Paris, France, Stefano
Zacchiroli Télécom Paris, Polytechnic Institute of Paris, Théo Zimmermann Télécom
Paris, Polytechnic Institute of Paris
Pre-print
14:1010m
Talk
Refactoring for Dockerfile Quality: A Dive into Developer Practices and Automation
Potential
MSR Technical Papers
Emna Ksontini University of Michigan, Meriem Mastouri University of Michigan, Rania
Khalsi University of Michigan - Flint, Wael Kessentini DePaul University
14:2010m
Talk
Smells-sus: Sustainability Smells in IaC
MSR Technical Papers
Seif Kosbar Polytechnique Montréal, Mohammad Hamdaqa Polytechnique Montréal
14:3010m
Talk
Evidence is All We Need: Do Self-Admitted Technical Debts Impact Method-Level
Maintenance?
MSR Technical Papers
Shaiful Chowdhury University of Manitoba, Hisham Kidwai University of Manitoba,
Muhammad Asaduzzaman University of Windsor
14:405m
Talk
DPy: Code Smells Detection Tool for Python
MSR Data and Tool Showcase Track
Aryan Boloori Dalhousie university, Tushar Sharma Dalhousie University
Pre-print
14:455m
Talk
CoMRAT: Commit Message Rationale Analysis Tool
MSR Data and Tool Showcase Track
Mouna Dhaouadi University of Montreal, Bentley Oakes Polytechnique Montréal,
Michalis Famelis Université de Montréal
Pre-print Media Attached File Attached
14:505m
Talk
E2EGit: A Dataset of End-to-End Web Tests in Open Source ProjectsData/Tool Track
Distinguished Dataset Award
MSR Data and Tool Showcase Track
Sergio Di Meglio Università degli Studi di Napoli Federico II, Luigi Libero Lucio
Starace Università degli Studi di Napoli Federico II, Valeria Pontillo Vrije
Universiteit Brussel, Ruben Opdebeeck Vrije Universiteit Brussel, Coen De Roover
Vrije Universiteit Brussel, Sergio Di Martino Università degli Studi di Napoli
Federico II
Media Attached
14:555m
Talk
TestMigrationsInPy: A Dataset of Test Migrations from Unittest to Pytest
MSR Data and Tool Showcase Track
Altino Alves Júnior UFMG, Andre Hora UFMG
Pre-print Media Attached
15:005m
Talk
pyMethods2Test: A Dataset of Python Tests Mapped to Focal Methods
MSR Data and Tool Showcase Track
Idriss Abdelmadjid University of Nebraska-Lincoln, Robert Dyer University of
Nebraska-Lincoln
Pre-print Media Attached
15:055m
Talk
DataTD: A Dataset of Java Projects Including Test Doubles
MSR Data and Tool Showcase Track
Mengzhen Li University of Minnesota, Mattia Fazzini University of Minnesota
15:105m
Talk
JPerfEvo: A Tool for Tracking Method-Level Performance Changes in Java Projects
MSR Data and Tool Showcase Track
Kaveh Shahedi Polytechnique Montréal, Maxime Lamothe Polytechnique Montreal, Foutse
Khomh Polytechnique Montréal, Heng Li Polytechnique Montréal
15:1510m
Talk
PyExamine: A Comprehensive, Un-Opinionated Smell Detection Tool for Python
MSR Technical Papers
Karthik Shivashankar University of Oslo, Antonio Martini University of Oslo, Norway
15:255m
Talk
How Do Solidity Versions Affect Vulnerability Detection Tools? An Empirical Study
MSR Registered Reports
Gerardo Iuliano University of Salerno, Davide Corradini University of Luxembourg,
Michele Pasqua University of Verona, Mariano Ceccato University of Verona, Dario Di
Nucci University of Salerno
15:00 - 15:30
Session 3: Maintenance (posters)Doctoral Symposium at 209 Poster Area
15:0030m
Talk
Addressing Recurring Bugs and Workflow Challenges in Quantum Software
EngineeringQuantum
Jake Zappin William and Mary
15:0030m
Talk
Distilling Reference Architectures from Open Source Repositories
Thi Dinh Tran Gran Sasso Science Institute
15:0030m
Talk
Towards Quality Assurance of Natural Language in Code
Renyi Zhong The Chinese University of Hong Kong
15:0030m
Talk
Semantic-aware Replicated Data Types for Improved Conflict Resolution in Near-
synchronous Code Collaboration
Leon Freudenthaler FH Campus Wien
15:0030m
Talk
Energy efficiency through architectural tactics for self-adaptive Cloud systems
Henrique David de Medeiros Télécom SudParis, Institut Polytechnique de Paris
15:0030m
Talk
Augmenting the Generality and Performance of Large Language Models for Software
Engineering
Fabian C. Peña University of Passau
15:30 - 16:00
BreakCatering at Canada Hall 3 plus Foyer
15:3030m
Break
Tuesday Afternoon Break
16:00 - 17:30
Tutorial 2 (Part 2)Tutorials and Technical Briefings at 103
16:0090m
Tutorial
Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from
Elicitation to VerificationSE for AIRequirementsHuman/SocialReal-Time+Safety
P: Lina Marsso École Polytechnique de Montréal, P: Sinem Getir Yaman University of
York, UK, P: Pedro Ribeiro University of York, UK, P: Marsha Chechik University of
Toronto
16:00 - 17:30
Tool Competitions 2 and Award CeremonySBFT at 104
Chair(s): Addison Crump CISPA Helmholtz Center for Information Security, Matteo
Biagiola Università della Svizzera italiana, Alessio Gambi Austrian Institute of
Technology (AIT), Vincenzo Riccio University of Udine
16:0015m
Paper
SBFT Tool Competition 2025 - Java Test Case Generation Track
Fitsum Kifetew Fondazione Bruno Kessler, Yun Lin Shanghai Jiao Tong University,
Davide Prandi Fondazione Bruno Kessler
16:1515m
Paper
EvoFuzz at the SBFT 2025 Java Tool Competition
Seokhyeon Moon , Jinwoo Choi Technology Research, Samsung SDS, Seoul, Republic of
Korea, Yoon-Chan Jhi Technology Research, Samsung SDS, Seoul, South Korea
16:3015m
Paper
SBFT Tool Competition 2025 - Fuzzing Track
Addison Crump CISPA Helmholtz Center for Information Security, Matteo Leonelli
CISPA Helmholtz Center for Information Security, Sahil Sihag CISPA Helmholtz Center
for Information Security
16:4515m
Paper
KRAKEN-FUZZ: Minimizing Corpus During Fuzzing
Jikai Wang Huazhong University of Science and Technology, Yuekang Li UNSW, Kailong
Wang Huazhong University of Science and Technology
17:0015m
Paper
HFuzz: Havoc Mode Guided Fuzzing
Yuchong Xie Hong Kong University of Science and Technology, Dongdong She HKUST (The
Hong Kong University of Science and Technology)
16:00 - 17:30
Ontology Education and Development & ClosingGAS at 105
Chair(s): Antonio Bucchiarone DISIM, University of L'Aquila
16:0020m
Talk
Type Token: A Competitive, Collaborative Modelling Game For Ontology Education and
Development
Max Willis Universitat Politècnica de València, Greta Adamo Universitat Politècnica
de València
16:2040m
Day closing
GAS 2025 Closing
16:00 - 17:30
Gamification and Engagement in LearningCSEE&T at 106
Chair(s): Sandro Speth Institute of Software Engineering, University of Stuttgart
Due to a last minute change, the presentation of the paper “Robotics Software
Engineering Education: An Experience Report” is being moved to the “Experiential
Learning” session in room 206 on Monday at about noon as a 4th paper.

16:0020m
Talk
OSSDoorway: A Gamified Environment to Scaffold Student Contributions to Open Source
Software
Italo Santos Northern Arizona University, Katia Felizardo Federal Technological
University of Paraná, Anita Sarma Oregon State University, Igor Steinmacher NAU
RESHAPE LAB, Marco Gerosa Northern Arizona University
Pre-print
16:2020m
Talk
Robotics Software Engineering Education: An Experience Report
Meenakshi Manjunath Technical University of Applied Sciences Würzburg-Schweinfurt,
Jeshwitha Jesus Raja Technical University of Applied Sciences Würzburg-Schweinfurt,
Rainer Herrler Technical University of Applied Sciences Würzburg-Schweinfurt,
Marian Daun Technical University of Applied Sciences Würzburg-Schweinfurt
16:4020m
Talk
Teaching Loop Testing to Young Learners with the Code Critters Mutation Testing
Game
Philipp Straubinger University of Passau, Lena Bloch University of Passau, Gordon
Fraser University of Passau
Pre-print
17:0020m
Talk
Bug-Hunting Games to Add Excitement in Software Testing and Programming Classes
Natalia Silvis-Cividjian Vrije Universiteit (VU) Amsterdam, Jasper Veltman Vrije
Universiteit (VU) Amsterdam, Auke Buchel Vrije Universiteit (VU) Amsterdam, Erik
Link Vrije Universiteit (VU) Amsterdam, Joshua Kenyon Vrije Universiteit (VU)
Amsterdam, Michel Oey Amsterdam University of Applied Sciences
Pre-print
16:00 - 17:30
CADRISE4ADS at 108
16:0075m
Panel
CADRI Introduction and Requirements Elicitation
Joshua Garcia University of California, Irvine, Alfred Chen University of
California, Irvine, Yuqi Huai University of California, Irvine, Yuntianyi Chen
University of California, Irvine
17:1515m
Talk
Closing
Joshua Garcia University of California, Irvine
16:00 - 17:30
Session 4: Open Q&A SessionNew Faculty Symposium at 201
Chair(s): Shinpei Hayashi Institute of Science Tokyo, Luigi Benedicenti University
of New Brunswick
16:0090m
Live Q&A
Open Q&A Session
16:00 - 17:30
Paper PresentationFinanSE at 202
Chair(s): Petr Babkin J.P. Morgan AI Research
16:0030m
Talk
LLMs as Interfaces for a Cloud Migration Assistant
Gregor Kerr , Amal Vaidya JPMorgan Chase & Co, Mohan Krishna JPMorgan Chase & Co,
Jacky Chan JPMorgan Chase & Co, Senad Ibraimoski JP Morgan Chase & Co, Bismayan
Chakrabarti JPMorgan Chase & Co, Sean Moran
16:3030m
Talk
Efficient and Explainable Anomaly Detection in Financial System Logs Using
Statistical Modeling
Mohammed Ayub JPMorgan Chase & Co, Mauro Annarumma JP Morgan Chase & Co, Kostis
Gourgoulias JPMorganChase, Gaston Liberman JP Morgan Chase & Co, David Algorry J.P.
Morgan Chase, Najah Ghalyan JPMorgan Chase & Co, Sean Moran
File Attached
17:0015m
Talk
ADkit: A framework for Anomaly Detection from natural language
Kostis Gourgoulias JPMorganChase, Senad Ibraimoski JP Morgan Chase & Co, Gaston
Liberman JP Morgan Chase & Co, Alexandru-Petre Cazan JP Morgan Chase & Co, Mohammed
Ayub JPMorgan Chase & Co, Andre Frade JPMorgan Chase & Co, Leandro Rios JPMorgan
Chase & Co, Sean Moran
File Attached
17:1515m
Talk
Using AI/ML to Find and Remediate Enterprise Secrets in Code & Document Sharing
Platforms
Gregor Kerr , David Algorry J.P. Morgan Chase, Senad Ibraimoski JP Morgan Chase &
Co, Peter Maciver JP Morgan Chase & Co, Kostis Gourgoulias JPMorganChase, Sean
Moran
File Attached
16:00 - 17:30
Session 4: Discussion and Closing SessionGREENS at 203
Chair(s): Luís Cruz TU Delft, Elisa Yumi Nakagawa University of São Paulo
16:0060m
Other
Breakout participants into groups for discussing 3~4 topics (Continuation)
17:0020m
Other
Presentation of resulting discussions
17:2010m
Other
Closing session
16:00 - 17:30
Session 8SEAMS Research Track at 204
Chair(s): Siobhán Clarke Trinity College Dublin, Ireland, Shiva Nejati University
of Ottawa, Thomas Vogel Humboldt-Universtität zu Berlin
16:0060m
Panel
Self-Adaptive Systems in the AI Era: Boundaries, Decisions, and Human Roles
Marin Litoiu York University, Canada, Andrea Zisman The Open University, Matteo
Camilli Politecnico di Milano, Liliana Pasquale University College Dublin & Lero
17:0030m
Day closing
Closing
16:00 - 18:00
SWEBOK Summit Session 4: Panel 2 and Future of SWEBOKPanels and Special Sessions at
205
Chair(s): Hironori Washizaki Waseda University
16:0040m
Panel
SWEBOK Summit Panel Discussion: The Development and Usage of Bodies of Knowledge in
Software Education
P: Nancy Mead Carnegie Mellon University, P: Awais Rashid University of Bristol,
UK, P: John Impagliazzo Hofstra University, P: Bastian Tenbergen State University
of New York at Oswego
16:4025m
Talk
SWEBOK Summit Talk: Measurement Across SWEBOK KAs : Coverage Analysis and
Suggestions for Improvements
P: Alain Abran Ecole de Technologie Superieure
17:0510m
Talk
SWEBOK Summit Talk: Research Software Engineering: A SWEBOK Specialism?
P: Daniel S. Katz University of Illinois at Urbana-Champaign
17:1510m
Talk
SWEBOK Summit Talk: Integration of Sustainability into SWEBOK
P: Jari Porras LUT University
17:2510m
Talk
SWEBOK Summit Talk: Evolving SWEBoK for the Foundation Model/LLM Era: Embracing
FMware & Software Engineering 3.0
P: Ahmed E. Hassan Queen’s University
17:3510m
Talk
SWEBOK Summit Talk: Quantum Software Engineering: Future Trends in Software
Engineering Body of KnowledgeQuantum
P: Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, P:
Paolo Arcaini National Institute of Informatics
17:555m
Day closing
Closing
S: Hironori Washizaki Waseda University
16:00 - 17:30
Open Source, Collaboration, and TeamworkCSEE&T at 206
Chair(s): Matthew Barr University of Glasgow
16:0020m
Talk
Visualizing Frequent Peer Assessment Results to Uncover Problems in Project Team
Dynamics
Yu Lu University of California, Irvine, André van der Hoek University of
California, Irvine
16:2020m
Talk
Visualizing Team Progress and Contribution in Student Projects with TeamCAST
Anmol Vilas Deshpande University of California, Irvine, André van der Hoek
University of California, Irvine
16:4020m
Talk
How Do Computer Science Students Perceive Self-Study with Open-Source Repositories
for Building AI/ML Systems?
Aidin Azamnouri Technical University of Munich, Nadine Koch University of
Stuttgart, Justus Bogner Vrije Universiteit Amsterdam, Stefan Wagner Technical
University of Munich
16:00 - 17:30
Session 4RAIE at 207
Chair(s): Muneera Bano CSIRO's Data61
16:0015m
Talk
Towards Responsible AI in Education: Hybrid Recommendation System for K-12 Students
Case Study
Nazarii Drushchak SoftServe Inc., P: Vladyslava Tyshchenko SoftServe Inc., Nataliya
Polyakovska SoftServe Inc.
Pre-print
16:1512m
Short-paper
Compliance Made Practical: Translating the EU AI Act into Implementable Actions
P: Niklas Bunzel Fraunhofer Institute for Secure Information Technology
16:2715m
Talk
Leveraging Existing Road-Vehicle Standards to address EU AI Act Compliance
P: Shanza Ali Zafar Fraunhofer IKS, Jessica Kelly Fraunhofer IKS, Lena Heidemann
Fraunhofer IKS, Núria Mata Fraunhofer IKS
16:423m
Break
Mini-break
16:4535m
Panel
Panel Discussion - Diversity and Inclusion in AI (Chaired by Muneera Bano)
P: Muneera Bano CSIRO's Data61, P: Rashina Hoda Monash University, P: Daniel Amyot
University of Ottawa, P: Ronnie de Souza Santos University of Calgary
17:2010m
Day closing
Closing Remarks
Qinghua Lu Data61, CSIRO
16:00 - 17:30
APR Session 4APR at 210
Chair(s): Tegawendé F. Bissyandé University of Luxembourg, Chao Peng ByteDance
16:0020m
Talk
Simple Fault Localization using Execution Traces
Julian Prenner Free University of Bozen-Bolzano, Romain Robbes CNRS, LaBRI,
University of Bordeaux
16:2020m
Talk
Studying and Understanding the Effectiveness and Failures of Conversational LLM-
Based Repair
Aolin Chen Wuhan University, Haojun Wu Wuhan University, Qi Xin Wuhan University,
Steven P. Reiss Brown University, Jifeng Xuan Wuhan University
16:4020m
Talk
Towards Unveiling Vulnerability Remediation Tactics from OSS Community
Lyuye Zhang Nanyang Technological University, Wu Jiahui , Chengwei Liu Nanyang
Technological University, Kaixuan Li East China Normal University, Sen Chen Nankai
University, Yang Liu Nanyang Technological University
17:0020m
Talk
Which Inputs Trigger my Patch?
Martin Eberlein Humboldt-Universtität zu Berlin, Moeketsi Raselimo Humboldt-
Universität zu Berlin, Germany and Stellenbosch University, South Africa, Lars
Grunske Humboldt-Universität zu Berlin
16:00 - 17:30
Session 6: Vulnerability Detection & ClosingAST at 211
Session chair: Bimpe Ayoola

16:0030m
Full-paper
A New Era in Software Security: Towards Self-Healing Software via Large Language
Models and Formal Verification
Norbert Tihanyi Technology Innovation Institute, Yiannis Charalambous The
University of Manchester, Ridhi Jain Technology Innovation Institute (TII), Abu
Dhabi, UAE, Mohamed Amine Ferrag Guelma University, Lucas C. Cordeiro University of
Manchester, UK and Federal University of Amazonas, Brazil
16:3030m
Full-paper
Bringing Light into the Darkness: Leveraging Hidden Markov Models for Blackbox
Fuzzing
Anne Borcherding Fraunhofer IOSB, Mark Giraud Fraunhofer IOSB, Johannes Häring
Karlsruhe Institute of Technology
17:0030m
Full-paper
Incorporating Domain Knowledge into GNNs for Advanced Vulnerability Detection in
Java
ROSMAEL ZIDANE LEKEUFACK FOULEFACK Information Engineering and Computer Science
(DISI)/University of Trento (UNITN), Alessandro Marchetto Università di Trento
16:00 - 17:00
Session 4: Testing (talks and panel)Doctoral Symposium at 212
Chair(s): Tayana Conte Universidade Federal do Amazonas
16:006m
Talk
TestifAI: Probabilistic Context-Aware Testing For Safe Deep Learning Models
AroojArif Northeastern University London
16:066m
Talk
Foundation Models for Automatic Issue Labeling
Giuseppe Colavito University of Bari
16:126m
Talk
Automatically Generating Single-Responsibility Unit Tests
Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e
Ingenierías, Universidad Católica Boliviana
16:186m
Talk
Automatic Test Case Generation for Smart Human-Centric Ecosystems
Alind Xhyra Universitá della Svizzera Italiana (USI) Lugano, Constructor Institute
of Technology (CIT) Schaffhausen
16:246m
Talk
A Framework for On the Fly Input Refinement for Deep Learning Models
Ravishka Shemal Rathnasuriya University of Texas at Dallas
16:3030m
Panel
Panel: Testing
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
16:00 - 17:30
Panel Discussion & ClosingStudent Mentoring Workshop (SMeW) at 213
Questions will be collected in advance via Discord. We will also have time for live
questions.

16:0090m
Panel
Panel Discussion and Closing
16:00 - 17:30
Plenary: ClosingMSR Program / MSR Vision and Reflection at 214
Chair(s): Gabriele Bavota Software Institute @ Università della Svizzera Italiana,
Jin L.C. Guo McGill University
16:0030m
Talk
Future of AI4SE: From Code Generation to Software Engineering?
MSR Vision and Reflection
Baishakhi Ray Columbia University
16:3030m
Talk
Reshaping MSR (and SE) empirical evaluations in 2030
MSR Vision and Reflection
Massimiliano Di Penta University of Sannio, Italy
17:0015m
Day closing
Closing Session
MSR Program
Bram Adams Queen's University, Olga Baysal Carleton University, Ayushi Rastogi
University of Groningen, The Netherlands
17:1515m
Day closing
MSR 2026 Presentation
MSR Program

17:00 - 17:30
Session 4: Testing (posters)Doctoral Symposium at 209 Poster Area
17:0030m
Talk
Automated Repair of Cyber-Physical Systems
Pablo Valle Mondragon University
Pre-print
17:0030m
Talk
Automatically Generating Single-Responsibility Unit Tests
Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e
Ingenierías, Universidad Católica Boliviana
17:0030m
Talk
Structured State Space Exploration of Dash+ Models
Aditya Shankar Narayanan University of Waterloo
17:0030m
Talk
Intelligent Automation for Accelerating the Repair of Software Build Failures
Gengyi Sun University of Waterloo
Pre-print
17:0030m
Talk
Trustworthiness of Large Language Models for Code
Dipin Khati William & Mary
17:30 - 18:00
CSEE&T ClosingCSEE&T at 206
Conference Closing Session and Awards Ceremony

17:3030m
Day closing
CSEE&T Closing
Cecile Peraire Carnegie Mellon University Silicon Valley
17:30 - 19:00
Newcomer Reception Tuesday Early EveningSocial, Networking and Special Rooms at
Trillium Ballroom
Those who are new to ICSE, join us upstairs in the Trillium Ballroom. Reception
food and drinks are available. This is open to those attending the main conference
for the first time, and who indicated on their registration form that they would be
interested in attending.

17:3090m
Social Event
Newcomer Reception
18:00 - 22:00
ICSE Steering Committee MeetingMeetings and BOFs at 201
18:004h
Meeting
ICSE Steering Committee Meeting
C: Arie van Deursen TU Delft
18:00 - 22:00
IEEE Software Editorial BoardMeetings and BOFs at 204
18:004h
Meeting
IEEE Software Editorial Board
C: Sigrid Eldh Ericsson AB, Mälardalen University, Carleton University
18:30 - 20:30
SWEBOK Summit DinnerPanels and Special Sessions at Restaurant for SWEBOK Summit
Tuesday Evening
Chair(s): Hironori Washizaki Waseda University, Edward Berkowitz
18:302h
Social Event
SWEBOK Summit Social event at a restaurant
19:00 - 22:00
Child Care Tuesday EveningSocial, Networking and Special Rooms at 102 Child Care
19:00 - 22:00
Quiet Room Tuesday EveningSocial, Networking and Special Rooms at 202
19:00 - 22:00
Cybersecurity Body of Knowledge BOFMeetings and BOFs at 203
For more details please see the following page

https://conf.researchr.org/info/icse-2025/cybok-bof

19:003h
Meeting
CyBOK BOFSecurityBody of Knowledge
O: Nancy Mead Carnegie Mellon Software Engineering Institute, P: Yulia Cherdantseva
Cardiff University, O: Bastian Tenbergen State University of New York at Oswego
19:00 - 22:00
ASE Editorial Board Meeting OffsiteMeetings and BOFs at Restaurant for ASE
Editorial Board Tuesday Eve
19:003h
Meeting
ASE Journal Editorial Board Meeting
C: Tim Menzies North Carolina State University
Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change
07:00 - 22:00
Quiet Room WednesdaySocial, Networking and Special Rooms at 202
The Quiet Room (202) is for anyone who wants to get away from noise and be by
themself. Please keep this room ‘library quiet’. If you want to listen to a stream
or music., please wear headphones.

07:00 - 19:00
Ready Room WednesdaySocial, Networking and Special Rooms at 209
Visit this room to upload or update your presentation or use a computer or talk to
the AV technicians. You do not have to use the ready room as you can also upload
your poster on the web

07:00 - 22:00
Prayer Room 2A WednesdaySocial, Networking and Special Rooms at 2A Prayer Room
07:30 - 17:30
Registration Wednesday Starting at 7:30 a.m.Social, Networking and Special Rooms at
2nd Floor Rideau Canal Atrium
Registration will start a little earlier this morning, since is the peak day and we
expect over 300 new arrivals.

If you want to attend the meditation session, you should consider coming for 7:30
so you can get your registration pack before it starts at 8:00.

If this is your first, day at the conference, and you arrive in Ottawa on Tuesday,
you might want to consider coming to the registration desk Tuesday afternoon, so
you do not have to line up on Wednesday morning.

07:3010h
Registration
Registration Wednesday
08:00 - 08:45
Meditation Session with Laurie WilliamsSocial, Networking and Special Rooms at 210
Relax and Unwind: A Guided Meditation with Laurie Williams. Wednesday, April 30 at
8 am. See also the Recreational Activities Page

08:0045m
Other
Meditation Session
L: Laurie Williams North Carolina State University
09:00 - 12:30
Child Care Wednesday AMSocial, Networking and Special Rooms at 102 Child Care
Child Care at ICSE is free, but you must have registered for child care when you
registered for the conference.

If you need to add child care to your registration, please contact the registration
desk.

09:00 - 10:30
Wednesday Morning PlenaryMain Plenaries at Canada Hall 1 and 2
Chair(s): Timothy Lethbridge University of Ottawa
This will be the first plenary session of the main conference.

Acknowledgement of the the Indigenous people on whose unceded land the Rogers
Centre is situated
Introduction by General Co-Chairs and overview of logistics and social aspects
Welcome by Diamond Sponsor Huawei: Lijie Wang, director Trustworthy Software
Engineering and Open-Source Software Lab
Welcome by Platinum Sponsor UOttawa: Michel Labrosse, Dean of Engineering
Overview of the technical program and the reviewing process by the Program Chairs
Keynote by Dave Parnas
09:0012m
Day opening
Welcome to ICSE 2025
G: Timothy Lethbridge University of Ottawa, G: Lionel Briand University of Ottawa,
Canada; Lero centre, University of Limerick, Ireland
09:1218m
Talk
Overview of the Program from the Program Chairs
I: David Lo Singapore Management University, I: Corina S. Păsăreanu Carnegie Mellon
University
09:3060m
Keynote
David Parnas Keynote: Regulation of AI and Other Untrustworthy Software
K: David Parnas
File Attached
10:30 - 11:00
BreakCatering at Canada Hall 3 plus Foyer
10:3030m
Break
Wednesday Morning Break
10:30 - 11:00
Break for Indigenous SEs from any countrySocial, Networking and Special Rooms at
RCS Atrium
Chair(s): Ronnie de Souza Santos University of Calgary
10:3030m
Social Event
Wed morning break for Indigenous SEs from any country
11:00 - 12:30
Formal Methods 1Research Track / New Ideas and Emerging Results (NIER) at 103
Chair(s): Cristian Cadar Imperial College London
11:0015m
Talk
SpecGen: Automated Generation of Formal Program Specifications via Large Language
ModelsFormal Methods
Research Track
Lezhi Ma Nanjing University, Shangqing Liu Nanyang Technological University, Yi Li
Nanyang Technological University, Xiaofei Xie Singapore Management University, Lei
Bu Nanjing University
11:1515m
Talk
Gpass: a Goal-adaptive Neural Theorem Prover based on Coq for Automated Formal
VerificationFormal Methods
Research Track
Yizhou Chen Peking University, Zeyu Sun Institute of Software, Chinese Academy of
Sciences, Guoqing Wang Peking University, Dan Hao Peking University
11:3015m
Talk
AI-Assisted Autoformalization of Combinatorics Problems in Proof AssistantsFormal
Methods
New Ideas and Emerging Results (NIER)
Long Doan George Mason University, ThanhVu Nguyen George Mason University
11:4515m
Talk
Formally Verified Binary-level Pointer AnalysisFormal MethodsArtifact-Available
Research Track
Freek Verbeek Open Universiteit & Virginia Tech, Ali Shokri Virginia Tech, Daniel
Engel Open University Of The Netherlands, Binoy Ravindran Virginia Tech
12:0015m
Talk
EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution FrameworkFormal
MethodsArtifact-FunctionalArtifact-Available
Research Track
ziji wu National University of Defense Technology, yu huang National University of
Defense Technology, peishan huang National University of Defense Technology,
shanghua wen National University of Defense Technology, minglong li National
University of Defense Technology, Ji Wang National University of Defense Technology
12:157m
Talk
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code GenerationFormal
Methods
New Ideas and Emerging Results (NIER)
Junjie Sheng East China Normal University, Yanqiu Lin East China Normal University,
Jiehao Wu East China Normal University, Yanhong Huang East China Normal University,
Jianqi Shi East China Normal University, Min Zhang East China Normal University,
Xiangfeng Wang East China Normal University
12:227m
Talk
Listening to the Firehose: Sonifying Z3’s BehaviorArtifact-FunctionalArtifact-
ReusableArtifact-AvailableFormal Methods
New Ideas and Emerging Results (NIER)
Finn Hackett University of British Columbia, Ivan Beschastnikh University of
British Columbia
11:00 - 12:30
Technical Briefing 1Tutorials and Technical Briefings at 203
Attendees will gain an understanding of the basics of qualitative research and
hands-on experience with conducting systematic and rigorous qualitative data
analysis using socio-technical grounded theory (STGT)

For more information click here

11:0090m
Talk
Technical Briefing 1: Qualitative Research and Qualitative Data AnalysisResearch
MethodsHuman/Social
P: Rashina Hoda Monash University
11:00 - 12:30
Program Comprehension 1Research Track at 204
Chair(s): Wing Lam George Mason University
11:0015m
Talk
An Empirical Study on Package-Level Deprecation in Python Ecosystem
Zhiqing Zhong The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Shilin
He Microsoft Research, Haoxuan Wang The Chinese University of Hong Kong, Shenzhen
(CUHK-Shenzhen), BoXi Yu The Chinese University of Hong Kong, Shenzhen, Haowen Yang
The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Pinjia He Chinese
University of Hong Kong, Shenzhen
11:1515m
Talk
Datalog-Based Language-Agnostic Change Impact Analysis for Microservices
Qingkai Shi Nanjing University, Xiaoheng Xie Ant Group, Xianjin Fu Ant Group, Peng
Di Ant Group & UNSW Sydney, Huawei Li Alibaba Inc., Ang Zhou Ant Group, Gang Fan
Ant Group
11:3015m
Talk
GenC2Rust: Towards Generating Generic Rust Code from CArtifact-FunctionalArtifact-
AvailableArtifact-Reusable
Xiafa Wu University of California, Irvine, Brian Demsky University of California at
Irvine
11:4515m
Talk
Instrumentation-Driven Evolution-Aware Runtime Verification
Kevin Guan Cornell University, Owolabi Legunsen Cornell University
12:0015m
Talk
Moye: A Wallbreaker for Monolithic Firmware
Jintao Huang Institute of Information Engineering, Chinese Academy of Science &
University of Chinese Academy of Sciences, Beijing, China, Kai Yang School of
Computer, Electronics and Information, Guangxi University, Gaosheng Wang Institute
of Information Engineering, Chinese Academy of Sciences & University of Chinese
Academy of Sciences, Beijing, China, Zhiqiang Shi Institute of Information
Engineering, Chinese Academy of Sciences & University of Chinese Academy of
Sciences, Beijing, China, Zhiwen Pan Institute of Information Engineering, Chinese
Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China,
Shichao Lv Institute of Information Engineering, Chinese Academy of Science, Limin
Sun Institute of Information Engineering, Chinese Academy of Sciences & University
of Chinese Academy of Sciences, Beijing, China
12:1515m
Talk
Understanding and Detecting Peer Dependency Resolving Loop in npm Ecosystem
Xingyu Wang Zhejiang University, MingSen Wang Zhejiang University, Wenbo Shen
Zhejiang University, Rui Chang Zhejiang University
11:00 - 12:30
Testing and QA 1Research Track / Journal-first Papers at 205
Chair(s): Jonathan Bell Northeastern University
11:0015m
Talk
Critical Variable State-Aware Directed Greybox Fuzzing
Research Track
Xu Chen Institute of Information Engineering at Chinese Academy of Sciences,
China / University of Chinese Academy of Sciences, China, Ningning Cui Institute of
Information Engineering at Chinese Academy of Sciences, China / University of
Chinese Academy of Sciences, China, Zhe Pan Institute of Information Engineering at
Chinese Academy of Sciences, China / University of Chinese Academy of Sciences,
China, Liwei Chen Institute of Information Engineering at Chinese Academy of
Sciences; University of Chinese Academy of Sciences, Gang Shi Institute of
Information Engineering at Chinese Academy of Sciences; University of Chinese
Academy of Sciences, Dan Meng Institute of Information Engineering at Chinese
Academy of Sciences; University of Chinese Academy of Sciences
11:1515m
Talk
LWDIFF: An LLM-Assisted Differential Testing Framework for WebAssembly Runtimes
Research Track
Shiyao Zhou The Hong Kong Polytechnic University, Jincheng Wang Hong Kong
Polytechnic University, He Ye Carnegie Mellon University, Hao Zhou The Hong Kong
Polytechnic University, Claire Le Goues Carnegie Mellon University, Xiapu Luo Hong
Kong Polytechnic University
11:3015m
Talk
No Harness, No Problem: Oracle-guided Harnessing for Auto-generating C API Fuzzing
HarnessesArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Research Track
Gabriel Sherman University of Utah, Stefan Nagy University of Utah
11:4515m
Talk
Parametric Falsification of Many Probabilistic Requirements under Flakiness
Research Track
Matteo Camilli Politecnico di Milano, Raffaela Mirandola Karlsruhe Institute of
Technology (KIT)
12:0015m
Talk
REDII: Test Infrastructure to Enable Deterministic Reproduction of Failures for
Distributed Systems
Research Track
Yang Feng Nanjing University, Zheyuan Lin Nanjing University, Dongchen Zhao Nanjing
University, Mengbo Zhou Nanjing University, Jia Liu Nanjing University, James Jones
University of California at Irvine
12:1515m
Talk
Adopting Automated Bug Assignment in Practice - A Longitudinal Case Study at
Ericsson
Journal-first Papers
Markus Borg CodeScene, Leif Jonsson Ericsson AB, Emelie Engstrom Lund University,
Béla Bartalos Verint, Attila Szabo Ericsson
11:00 - 12:30
Gender, Equity and DiversitySE in Society (SEIS) at 206 plus 208
Chair(s): Ronnie de Souza Santos University of Calgary
11:0015m
Talk
A Socio-Technical Grounded Theory on the Effect of Cognitive Dysfunctions in the
Performance of Software Developers with ADHD and Autism
Kiev Gama Universidade Federal de Pernambuco, Grischa Liebel Reykjavik University,
Miguel Goulao NOVA-LINCS, FCT/UNL, Aline Lacerda Federal University of Pernambuco
(UFPE), Cristiana Lacerda Federal University of Pernambuco (UFPE)
Pre-print
11:1515m
Talk
Belonging Beyond Code: Queer Software Engineering and Humanities Student
Experiences
Emily Vorderwülbeke University of Passau, Isabella Graßl Technical University of
Darmstadt
Pre-print
11:3015m
Talk
Breaking the Silos: An Actionable Framework for Recruiting Diverse Participants in
SE
Shandler Mason North Carolina State University, Hank Lenham North Carolina State
University, Sandeep Kuttal North Carolina State University
11:4515m
Talk
Enhancing Women's Experiences in Software Engineering
Júlia Rocha Fortunato University of Brasília, Luana Ribeiro Soares University of
Brasília, Gabriela Silva Alves University of Brasília, Edna Dias Canedo University
of Brasilia (UnB), Fabiana Freitas Mendes Aalto University
12:0015m
Talk
Investigating the Developer eXperience of LGBTQIAPN+ People in Agile Teams
Edvaldo R. Wassouf-Jr UFMS, Pedro Fukuda Federal University of Mato Grosso do Sul,
Awdren Fontão Federal University of Mato Grosso do Sul (UFMS)
12:1515m
Talk
There's Nothing to See Here: A Study of Deaf and Hearing Developer Use of Stack
Overflow
Steve Counsell Brunel University London, Giuseppe Destefanis Brunel University
London, Rumyana Neykova Brunel University London, Alina Miron Brunel University,
Nadine Aburumman Brunel University, Thomas Shippey LogicMonitor
11:00 - 12:30
Human and Social Process 1SE In Practice (SEIP) / New Ideas and Emerging Results
(NIER) / Journal-first Papers at 207
Chair(s): Hausi Müller University of Victoria
11:0015m
Talk
Toward a Theory on Programmer's Block Inspired by Writer's Block
Journal-first Papers
Belinda Schantong Chemnitz University of Technology, Norbert Siegmund Leipzig
University, Janet Siegmund Chemnitz University of Technology
Link to publication
11:1515m
Talk
Digital Twins for Software Engineering Processes
New Ideas and Emerging Results (NIER)
Robin Kimmel University of Stuttgart, Judith Michael University of Regensburg,
Andreas Wortmann University of Stuttgart, Jingxi Zhang University of Stuttgart
Pre-print
11:3015m
Talk
Discovering Ideologies of the Open Source Software Movement
New Ideas and Emerging Results (NIER)
Yang Yue California State University San Marcos, Yi Wang Beijing University of
Posts and Telecommunications, David Redmiles University of California, Irvine
11:4515m
Talk
Identifying Factors Contributing to ``Bad Days'' for Software Developers: A Mixed-
Methods Study
SE In Practice (SEIP)
Ike Obi Purdue University, West Lafayette, Jenna L. Butler Microsoft Research,
Sankeerti Haniyur Microsoft Corporation, Brian Hassan Microsoft Corporation,
Margaret-Anne Storey University of Victoria, Brendan Murphy Microsoft Corporation
12:0015m
Talk
Time Warp: The Gap Between Developers’ Ideal vs Actual Workweeks in an AI-Driven
EraAward Winner
SE In Practice (SEIP)
Sukrit Kumar Georgia Institute of Technology, Drishti Goel Microsoft, Thomas
Zimmermann University of California, Irvine, Brian Houck Microsoft Research, B.
Ashok Microsoft Research. India, Chetan Bansal Microsoft Research
12:1515m
Talk
Wearables to measure developer experience at work
SE In Practice (SEIP)
Charlotte Brandebusemeyer Hasso Plattner Institute, University of Potsdam, Tobias
Schimmer SAP Labs, Bert Arnrich Hasso Plattner Institute, University of Potsdam
11:00 - 12:30
AI for User ExperienceSE In Practice (SEIP) / Demonstrations / Journal-first Papers
/ Research Track at 210
Chair(s): Chunyang Chen TU Munich
11:0015m
Talk
Automated Generation of Accessibility Test Reports from Recorded User
TranscriptsAward Winner
Research Track
Syed Fatiul Huq University of California, Irvine, Mahan Tafreshipour University of
California at Irvine, Kate Kalcevich Fable Tech Labs Inc., Sam Malek University of
California at Irvine
11:1515m
Talk
KuiTest: Leveraging Knowledge in the Wild as GUI Testing Oracle for Mobile Apps
SE In Practice (SEIP)
Yongxiang Hu Fudan University, Yu Zhang Meituan, Xuan Wang Fudan University,
Yingjie Liu School of Computer Science, Fudan University, Shiyu Guo Meituan, Chaoyi
Chen Meituan, Xin Wang Fudan University, Yangfan Zhou Fudan University
11:3015m
Talk
GUIWatcher: Automatically Detecting GUI Lags by Analyzing Mobile Application
Screencasts
SE In Practice (SEIP)
Wei Liu Concordia University, Montreal, Canada, Feng Lin Concordia University,
Linqiang Guo Concordia University, Tse-Hsun (Peter) Chen Concordia University,
Ahmed E. Hassan Queen’s University
11:4515m
Talk
GUIDE: LLM-Driven GUI Generation Decomposition for Automated Prototyping
Demonstrations
Kristian Kolthoff Institute for Software and Systems Engineering, Clausthal
University of Technology, Felix Kretzer human-centered systems Lab (h-lab),
Karlsruhe Institute of Technology (KIT) , Christian Bartelt , Alexander Maedche
Human-Centered Systems Lab, Karlsruhe Institute of Technology, Simone Paolo
Ponzetto Data and Web Science Group, University of Mannheim
Pre-print
12:0015m
Talk
Agent for User: Testing Multi-User Interactive Features in TikTok
SE In Practice (SEIP)
Sidong Feng Monash University, Changhao Du Jilin University, huaxiao liu Jilin
University, Qingnan Wang Jilin University, Zhengwei Lv ByteDance, Gang Huo
ByteDance, Xu Yang ByteDance, Chunyang Chen TU Munich
12:157m
Talk
Bug Analysis in Jupyter Notebook Projects: An Empirical Study
Journal-first Papers
Taijara Santana Federal University of Bahia, Paulo Silveira Neto Federal University
Rural of Pernambuco, Eduardo Santana de Almeida Federal University of Bahia,
Iftekhar Ahmed University of California at Irvine
11:00 - 12:30
Testing and SecurityResearch Track / Journal-first Papers at 211
Chair(s): Shiyi Wei University of Texas at Dallas
11:0015m
Talk
Fuzzing MLIR Compilers with Custom Mutation SynthesisArtifact-FunctionalArtifact-
AvailableArtifact-Reusable
Research Track
Ben Limpanukorn UCLA, Jiyuan Wang University of California at Los Angeles, Hong Jin
Kang University of Sydney, Eric Zitong Zhou UCLA, Miryung Kim UCLA and Amazon Web
Services
Pre-print
11:1515m
Talk
InSVDF: Interface-State-Aware Virtual Device Fuzzing
Research Track
Zexiang Zhang National University of Defense Technology, Gaoning Pan Hangzhou
Dianzi University, Ruipeng Wang National University of Defense Technology, Yiming
Tao Zhejiang University, Zulie Pan National University of Defense Technology, Cheng
Tu National University of Defense Technology, Min Zhang National University of
Defense Technology, Yang Li National University of Defense Technology, Yi Shen
National University of Defense Technology, Chunming Wu Zhejiang University
11:3015m
Talk
Reduce Dependence for Sound Concurrency Bug Prediction
Research Track
Shihao Zhu State Key Laboratory of Computer Science,Institute of Software,Chinese
Academy of Sciences,China, Yuqi Guo Institute of Software, Chinese Academy of
Sciences, Yan Cai Institute of Software at Chinese Academy of Sciences, Bin Liang
Renmin University of China, Long Zhang Institute of Software, Chinese Academy of
Sciences, Rui Chen Beijing Institute of Control Engineering; Beijing Sunwise
Information Technology, Tingting Yu Beijing Institute of Control Engineering;
Beijing Sunwise Information Technology
11:4515m
Talk
SAND: Decoupling Sanitization from Fuzzing for Low OverheadArtifact-
FunctionalArtifact-AvailableArtifact-Reusable
Research Track
Ziqiao Kong Nanyang Technological University, Shaohua Li The Chinese University of
Hong Kong, Heqing Huang City University of Hong Kong, Zhendong Su ETH Zurich
Link to publication Pre-print Media Attached File Attached
12:0015m
Talk
TransferFuzz: Fuzzing with Historical Trace for Verifying Propagated Vulnerability
CodeSecurity
Research Track
Siyuan Li University of Chinese Academy of Sciences & Institute of Information
Engineering Chinese Academy of Sciences, China, Yuekang Li UNSW, Zuxin Chen
Institute of Information Engineering Chinese Academy of Sciences & University of
Chinese Academy of Sciences, China, Chaopeng Dong Institute of Information
Engineering Chinese Academy of Sciences & University of Chinese Academy of
Sciences, China, Yongpan Wang University of Chinese Academy of Sciences & Institute
of Information Engineering Chinese Academy of Sciences, China, Hong Li Institute of
Information Engineering at Chinese Academy of Sciences, Yongle Chen Taiyuan
University of Technology, China, Hongsong Zhu Institute of Information Engineering
at Chinese Academy of Sciences; University of Chinese Academy of Sciences
12:1515m
Talk
Early and Realistic Exploitability Prediction of Just-Disclosed Software
Vulnerabilities: How Reliable Can It Be?Security
Journal-first Papers
Emanuele Iannone Hamburg University of Technology, Giulia Sellitto University of
Salerno, Emanuele Iaccarino University of Salerno, Filomena Ferrucci University of
Salerno, Andrea De Lucia University of Salerno, Fabio Palomba University of Salerno
Link to publication DOI Authorizer link Pre-print
11:00 - 12:30
AI for Analysis 1Research Track at 212
Chair(s): Denys Poshyvanyk William & Mary
11:0015m
Talk
A Multiple Representation Transformer with Optimized Abstract Syntax Tree for
Efficient Code Clone Detection
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:1515m
Talk
Can an LLM find its way around a Spreadsheet?
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:3015m
Talk
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement
LearningArtifact-Available
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:4515m
Talk
TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference
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:0015m
Talk
ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language
Models for Code Generation
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:1515m
Talk
Rango: Adaptive Retrieval-Augmented Proving for Automated Software
VerificationArtifact-FunctionalArtifact-AvailableArtifact-ReusableAward Winner
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
11:00 - 12:30
AutonomyResearch Track at 213
Chair(s): Lionel Briand University of Ottawa, Canada; Lero centre, University of
Limerick, Ireland
11:0015m
Talk
A Differential Testing Framework to Identify Critical AV Failures Leveraging
Arbitrary InputsArtifact-FunctionalArtifact-Available
Trey Woodlief University of Virginia, Carl Hildebrandt University of Virginia,
Sebastian Elbaum University of Virginia
11:1515m
Talk
Automating a Complete Software Test Process Using LLMs: An Automotive Case Study
Shuai Wang , Yinan Yu Chalmers University of Technology, Robert Feldt Chalmers |
University of Gothenburg, Dhasarathy Parthasarathy Volvo Group
Pre-print
11:3015m
Talk
LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed
Aerial Systems
Venkata Sai Aswath Duvvuru Saint Louis University, Bohan Zhang Saint Louis
University, Missouri, Michael Vierhauser University of Innsbruck, Ankit Agrawal
Saint Louis University, Missouri
Pre-print Media Attached
11:4515m
Talk
Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion
ModelsArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Luciano Baresi Politecnico di Milano, Davide Yi Xian Hu Politecnico di Milano,
Andrea Stocco Technical University of Munich, fortiss, Paolo Tonella USI Lugano
Pre-print
12:0015m
Talk
GARL: Genetic Algorithm-Augmented Reinforcement Learning to Detect Violations in
Marker-Based Autonomous Landing Systems
Linfeng Liang Macquarie University, Yao Deng Macquarie University, Kye Morton Skyy
Network, Valtteri Kallinen Skyy Network, Alice James Macquarie University, Avishkar
Seth Macquarie University, Endrowednes Kuantama Macquarie University, Subhas
Mukhopadhyay Macquarie University, Richard Han Macquarie University, Xi Zheng
Macquarie University
12:1515m
Talk
Decictor: Towards Evaluating the Robustness of Decision-Making in Autonomous
Driving SystemsArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Mingfei Cheng Singapore Management University, Xiaofei Xie Singapore Management
University, Yuan Zhou Zhejiang Sci-Tech University, Junjie Wang Tianjin University,
Guozhu Meng Institute of Information Engineering, Chinese Academy of Sciences,
Kairui Yang DAMO Academy, Alibaba Group, China
11:00 - 12:30
AI for Testing and QA 1Research Track / SE In Practice (SEIP) at 214
Chair(s): Jieshan Chen CSIRO's Data61
11:0015m
Talk
Does GenAI Make Usability Testing Obsolete?Award Winner
Research Track
Ali Ebrahimi Pourasad , Walid Maalej University of Hamburg
Pre-print
11:1515m
Talk
Feature-Driven End-To-End Test Generation
Research Track
Parsa Alian University of British Columbia, Noor Nashid University of British
Columbia, Mobina Shahbandeh University of British Columbia, Taha Shabani University
of British Columbia, Ali Mesbah University of British Columbia
11:3015m
Talk
SeeAction: Towards Reverse Engineering How-What-Where of HCI Actions from
Screencasts for UI AutomationAward Winner
Research Track
Dehai Zhao CSIRO's Data61, Zhenchang Xing CSIRO's Data61, Qinghua Lu Data61, CSIRO,
Xiwei (Sherry) Xu Data61, CSIRO, Liming Zhu CSIRO’s Data61
11:4515m
Talk
Synthesizing Document Database Queries using Collection AbstractionsArtifact-
FunctionalArtifact-AvailableArtifact-Reusable
Research Track
Qikang Liu Simon Fraser University, Yang He Simon Fraser University, Yanwen Cai
Simon Fraser University, Byeongguk Kwak Simon Fraser University, Yuepeng Wang Simon
Fraser University
12:0015m
Talk
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection
in Dynamically Typed LanguagesArtifact-FunctionalArtifact-AvailableArtifact-
Reusable
Research Track
Boqi Chen McGill University, José Antonio Hernández López Linköping University,
Gunter Mussbacher McGill University, Daniel Varro Linköping University / McGill
University
12:1515m
Talk
DialogAgent: An Auto-engagement Agent for Code Question Answering Data Production
SE In Practice (SEIP)
Xiaoyun Liang ByteDance, Jingyi Ren ByteDance, Jiayi Qi ByteDance, Chao Peng
ByteDance, Bo Jiang Bytedance Network Technology
11:00 - 12:30
SE for AI 1New Ideas and Emerging Results (NIER) / SE In Practice (SEIP) / Research
Track at 215
Chair(s): Houari Sahraoui DIRO, Université de Montréal
11:0015m
Talk
A Test Oracle for Reinforcement Learning Software based on Lyapunov Stability
Control TheorySE for AIArtifact-AvailableAward Winner
Research Track
Shiyu Zhang The Hong Kong Polytechnic University, Haoyang Song The Hong Kong
Polytechnic University, Qixin Wang The Hong Kong Polytechnic University, Henghua
Shen The Hong Kong Polytechnic University, Yu Pei The Hong Kong Polytechnic
University
11:1515m
Talk
CodeImprove: Program Adaptation for Deep Code ModelsSE for AI
Research Track
Ravishka Shemal Rathnasuriya University of Texas at Dallas, zijie zhao , Wei Yang
UT Dallas
11:3015m
Talk
FairQuant: Certifying and Quantifying Fairness of Deep Neural NetworksSE for
AIArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Research Track
Brian Hyeongseok Kim University of Southern California, Jingbo Wang University of
Southern California, Chao Wang University of Southern California
Pre-print
11:4515m
Talk
When in Doubt Throw It out: Building on Confident Learning for Vulnerability
DetectionSecurityArtifact-FunctionalArtifact-ReusableArtifact-AvailableSE for AI
New Ideas and Emerging Results (NIER)
Yuanjun Gong Renmin University of China, Fabio Massacci University of Trento; Vrije
Universiteit Amsterdam
Pre-print
12:0015m
Talk
Evaluation of Tools and Frameworks for Machine Learning Model ServingSE for AI
SE In Practice (SEIP)
Niklas Beck Fraunhofer Institute for Intelligent Analysis and Information Systems
IAIS, Benny Stein Fraunhofer Institute for Intelligent Analysis and Information
Systems IAIS, Dennis Wegener T-Systems International GmbH, Lennard Helmer
Fraunhofer Institute for Intelligent Analysis and Information Systems
12:1515m
Talk
Real-time Adapting Routing (RAR): Improving Efficiency Through Continuous Learning
in Software Powered by Layered Foundation ModelsSE for AI
SE In Practice (SEIP)
Kirill Vasilevski Huawei Canada, Dayi Lin Centre for Software Excellence, Huawei
Canada, Ahmed E. Hassan Queen’s University
11:00 - 12:30
AI for SE 1Research Track at Canada Hall 1 and 2
Chair(s): Tao Chen University of Birmingham
11:0015m
Talk
Calibration and Correctness of Language Models for CodeArtifact-FunctionalArtifact-
Available
Claudio Spiess University of California, Davis, David Gros University of
California, Davis, Kunal Suresh Pai UC Davis, Michael Pradel University of
Stuttgart, Rafiqul Rabin UL Research Institutes, Amin Alipour University of
Houston, Susmit Jha SRI, Prem Devanbu University of California at Davis, Toufique
Ahmed IBM Research
Pre-print
11:1515m
Talk
An Empirical Study on Commit Message Generation using LLMs via In-Context Learning
Yifan Wu Peking University, Yunpeng Wang Ant Group, Ying Li School of Software and
Microelectronics, Peking University, Beijing, China, Wei Tao Independent
Researcher, Siyu Yu The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen),
Haowen Yang The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Wei
Jiang , Jianguo Li Ant Group
11:3015m
Talk
Instruct or Interact? Exploring and Eliciting LLMs’ Capability in Code Snippet
Adaptation Through Prompt Engineering
Tanghaoran Zhang National University of Defense Technology, Yue Yu PengCheng Lab,
Xinjun Mao National University of Defense Technology, Shangwen Wang National
University of Defense Technology, Kang Yang National University of Defense
Technology, Yao Lu National University of Defense Technology, Zhang Zhang Key
Laboratory of Software Engineering for Complex Systems, National University of
Defense Technology, Yuxin Zhao Key Laboratory of Software Engineering for Complex
Systems, National University of Defense Technology
11:4515m
Talk
Search-Based LLMs for Code OptimizationAward Winner
Shuzheng Gao The Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of
Technology, Wenchao Gu The Chinese University of Hong Kong, Michael Lyu The Chinese
University of Hong Kong
12:0015m
Talk
Towards Better Answers: Automated Stack Overflow Post Updating
Yubo Mai Zhejiang University, Zhipeng Gao Shanghai Institute for Advanced Study -
Zhejiang University, Haoye Wang Hangzhou City University, Tingting Bi The
University of Melbourne, Xing Hu Zhejiang University, Xin Xia Huawei, JianLing Sun
Zhejiang University
12:1515m
Talk
Unseen Horizons: Unveiling the Real Capability of LLM Code Generation Beyond the
FamiliarAward Winner
Yuanliang Zhang National University of Defense Technology, Yifan Xie , Shanshan Li
National University of Defense Technology, Ke Liu , Chong Wang National University
of Defense Technology, Zhouyang Jia National University of Defense Technology,
Xiangbing Huang National University of Defense Technology, Jie Song National
University of Defense Technology, Chaopeng Luo National University of Defense
Technology, Zhizheng Zheng National University of Defense Technology, Rulin Xu
National University of Defense Technology, Yitong Liu National University of
Defense Technology, Si Zheng National University of Defense Technology, Liao
Xiangke National University of Defense Technology
12:30 - 14:00
FSE Steering Committee MeetingMeetings and BOFs at 203
12:3090m
Meeting
FSE Steering Committee Meeting
C: Abhik Roychoudhury National University of Singapore
12:30 - 14:00
Elsevier Author WorkshopMeetings and BOFs at 204
This session provides early career researchers with access to free resources and
insights into the publishing process with Elsevier’s journals. Engage with editors
from leading titles, ask your questions, and connect with fellow researchers. Free
research resources (~20 minutes) + Meet the editors & Networking (~20 mins).

12:3090m
Meeting
Elsevier Author Workshop
P: Michael Amato Elsevier
12:30 - 14:00
CSCAN Horizon WorkshopMeetings and BOFs at 205
Chair(s): Jorg Sack
Unlocking Funding Opportunities for Canadian Researchers in the EU Horizon Program
CS-Can|Info-Can, in collaboration with ISED, NRC and some European Embassies, is
organizing a lunch-time event 12:30 p.m. Wednesday April 30th at ICSE 2025 to
inform attendees about funding opportunities for Canadian researchers within the EU
Horizon Program.

For full details of this session, click here

13:005m
Talk
CSCAN Horizon Workshop Introduction
13:0510m
Talk
EU Horizon program talk by Jorg Sack
Jorg Sack
13:1510m
Talk
EU Horizon program talk by June Sun
Jun Sun
13:2510m
Talk
EU Horizon program talk by Konstantinos Kapsouropoulos
Konstantinos Kapsouropoulos
13:3510m
Talk
EU Horizon talk by Torsten Geissler
Torsten Geissler
13:4510m
Talk
EU Horizon Session talk by Elisabetta Di Nitto
Elisabetta Di Nitto Politecnico di Milano
12:30 - 14:00
TCSE Executive MeetingMeetings and BOFs at 210
12:3090m
Meeting
TCSE Executive Committee Meeting
C: Federica Sarro University College London
12:30 - 14:00
ICSE 2026 Organizing Committee MeetingMeetings and BOFs at 212
12:3090m
Meeting
ICSE 2026 Organizing Committee Meeting
G: Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), G:
Rafael Prikladnicki School of Technology at PUCRS University
12:30 - 14:00
Conversation CaféSocial, Networking and Special Rooms at Canada Hall 1 and 2
12:3090m
Social Event
Conversation on Equality, Diversity, and Inclusion (EDI)
Daniela Damian University of Victoria, Grischa Liebel Reykjavik University, Ronnie
de Souza Santos University of Calgary, Sebastian Baltes University of Bayreuth,
Tayana Conte Universidade Federal do Amazonas, Mariam Barry BNP Paribas, Yixue Zhao
Freedom of Mind
12:30 - 14:00
LunchCatering at Canada Hall 3 plus Foyer
12:3090m
Lunch
Wednesday Lunch
12:30 - 14:00
Lunch area for East Asian SEs to meet each otherSocial, Networking and Special
Rooms at RCS Atrium
12:3090m
Social Event
Wed lunch for East Asian SEs
13:00 - 14:00
ASE 2025 Conference Program Committee MeetingMeetings and BOFs at 214
13:0060m
Meeting
ASE Conference Program Committee Meeting
P: Marcel Böhme MPI for Security and Privacy, Lingming Zhang University of Illinois
at Urbana-Champaign
13:30 - 14:00
Wed Lunch Posters 13:30-14:00Research Track / Journal-first Papers / New Ideas and
Emerging Results (NIER) at Canada Hall 3 Poster Area
13:3030m
Poster
Pattern-based Generation and Adaptation of Quantum WorkflowsQuantum
Research Track
Martin Beisel Institute of Architecture of Application Systems (IAAS), University
of Stuttgart, Johanna Barzen University of Stuttgart, Frank Leymann University of
Stuttgart, Lavinia Stiliadou Institute of Architecture of Application Systems
(IAAS), University of Stuttgart, Daniel Vietz University of Stuttgart, Benjamin
Weder Institute of Architecture of Application Systems (IAAS), University of
Stuttgart
13:3030m
Talk
Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary
UI Events
Journal-first Papers
Maryam Masoudian Sharif University of Technology, Hong Kong University of Science
and Technology (HKUST), Heqing Huang City University of Hong Kong, Morteza Amini
Sharif University of Technology, Charles Zhang Hong Kong University of Science and
Technology
13:3030m
Talk
Automated Testing Linguistic Capabilities of NLP Models
Journal-first Papers
Jaeseong Lee The University of Texas at Dallas, Simin Chen University of Texas at
Dallas, Austin Mordahl University of Illinois Chicago, Cong Liu University of
California, Riverside, Wei Yang UT Dallas, Shiyi Wei University of Texas at Dallas
13:3030m
Poster
BSan: A Powerful Identifier-Based Hardware-Independent Memory Error Detector for
COTS BinariesArtifact-FunctionalArtifact-Available
Research Track
Wen Zhang University of Georgia, Botang Xiao University of Georgia, Qingchen Kong
University of Georgia, Le Guan University of Georgia, Wenwen Wang University of
Georgia
13:3030m
Talk
A Unit Proofing Framework for Code-level Verification: A Research AgendaFormal
Methods
New Ideas and Emerging Results (NIER)
Paschal Amusuo Purdue University, Parth Vinod Patil Purdue University, Owen Cochell
Michigan State University, Taylor Le Lievre Purdue University, James C. Davis
Purdue University
Pre-print
13:3030m
Talk
Listening to the Firehose: Sonifying Z3’s BehaviorArtifact-FunctionalArtifact-
ReusableArtifact-AvailableFormal Methods
New Ideas and Emerging Results (NIER)
Finn Hackett University of British Columbia, Ivan Beschastnikh University of
British Columbia
13:3030m
Talk
Towards Early Warning and Migration of High-Risk Dormant Open-Source Software
DependenciesSecurity
New Ideas and Emerging Results (NIER)
Zijie Huang Shanghai Key Laboratory of Computer Software Testing and Evaluation,
Lizhi Cai Shanghai Key Laboratory of Computer Software Testing & Evaluating,
Shanghai Software Center, Xuan Mao Department of Computer Science and Engineering,
East China University of Science and Technology, Shanghai, China, Kang Yang
Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai
Development Center of Computer Software Technology
13:3030m
Poster
SimClone: Detecting Tabular Data Clones using Value Similarity
Journal-first Papers
Xu Yang University of Manitoba, Gopi Krishnan Rajbahadur Centre for Software
Excellence, Huawei, Canada, Dayi Lin Centre for Software Excellence, Huawei Canada,
Shaowei Wang University of Manitoba, Zhen Ming (Jack) Jiang York University
13:3030m
Talk
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code GenerationFormal
Methods
New Ideas and Emerging Results (NIER)
Junjie Sheng East China Normal University, Yanqiu Lin East China Normal University,
Jiehao Wu East China Normal University, Yanhong Huang East China Normal University,
Jianqi Shi East China Normal University, Min Zhang East China Normal University,
Xiangfeng Wang East China Normal University
14:00 - 17:30
Child Care Wednesday PMSocial, Networking and Special Rooms at 102 Child Care
14:00 - 15:30
Wednesday Afternoon Awards PlenaryMain Plenaries at Canada Hall 1 and 2
Chair(s): Manel Abdellatif École de Technologie Supérieure
14:0025m
Talk
ACM SIGSOFT Outstanding Research Award and Talk by Martin Rinard: Research in
Program Repair and Approximate Computing: A RetrospectiveAward Winner
A: Martin C. Rinard Massachusetts Institute of Technology
14:2525m
Talk
IEEE Computer Society Harlan D. Mills Award and Talk by Bashar Nuseibeh: Context
2.0: The World in the MachineAward Winner
A: Bashar Nuseibeh The Open University, UK
14:5025m
Talk
Most influential Paper ICSE N-10 Award and Talk for: IccTA: Detecting Inter-
Component Privacy Leaks in Android AppsAward Winner
A: Li Li Beihang University, A: Alexandre Bartel Umeå University, A: Tegawendé F.
Bissyandé University of Luxembourg, A: Jacques Klein University of Luxembourg, A:
Yves Le Traon University of Luxembourg, Luxembourg, A: Steven Arzt Fraunhofer SIT;
ATHENE, A: Siegfried Rasthofer , A: Eric Bodden , A: Damien Octeau University of
Wisconsin and Pennsylvania State University, A: Patrick McDaniel Pennsylvania State
University
15:1515m
Talk
Influential paper, TCSE and SIGSoft awards presentations
15:30 - 16:00
Wed Afternoon Break Posters 15:30-16:00Journal-first Papers / SE In Practice (SEIP)
/ Research Track at Canada Hall 3 Poster Area
15:3030m
Poster
Non-Autoregressive Line-Level Code Completion
Journal-first Papers
Fang Liu Beihang University, Zhiyi Fu Peking University, Ge Li Peking University,
Zhi Jin Peking University, Hui Liu Beijing Institute of Technology, Yiyang Hao
Silicon Heart Tech Co., Li Zhang Beihang University
15:3030m
Poster
FlatD: Protecting Deep Neural Network Program from Reversing Attacks
SE In Practice (SEIP)
Jinquan Zhang The Pennsylvania State University, Zihao Wang Penn State University,
Pei Wang Independent Researcher, Rui Zhong Palo Alto Networks, Dinghao Wu
Pennsylvania State University
15:3030m
Talk
Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the
State-of-the-PracticeSE for AI
Journal-first Papers
Bentley Oakes Polytechnique Montréal, Michalis Famelis Université de Montréal,
Houari Sahraoui DIRO, Université de Montréal
DOI Pre-print File Attached
15:3030m
Poster
Predicting the First Response Latency of Maintainers and Contributors in Pull
Requests
Journal-first Papers
SayedHassan Khatoonabadi Concordia University, Ahmad Abdellatif University of
Calgary, Diego Elias Costa Concordia University, Canada, Emad Shihab Concordia
University
15:3030m
Talk
LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical
Evaluation
Journal-first Papers
Sarah Fakhoury Microsoft Research, Aaditya Naik University of Pennsylvania,
Georgios Sakkas University of California at San Diego, Saikat Chakraborty Microsoft
Research, Shuvendu K. Lahiri Microsoft Research
Link to publication
15:3030m
Poster
RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code
Research Track
Pantazis Deligiannis Microsoft Research, Akash Lal Microsoft Research, Nikita
Mehrotra Microsoft Research, Rishi Poddar Microsoft Research, Aseem Rastogi
Microsoft Research
15:3030m
Talk
QuanTest: Entanglement-Guided Testing of Quantum Neural Network SystemsQuantum
Journal-first Papers
Jinjing Shi Central South University, Zimeng Xiao Central South University, Heyuan
Shi Central South University, Yu Jiang Tsinghua University, Xuelong LI China
Telecom
Link to publication
15:30 - 16:00
BreakCatering at Canada Hall 3 plus Foyer
15:3030m
Break
Wednesday Afternoon Break
15:30 - 16:00
Women Café @ ICSESocial, Networking and Special Rooms at RCS Atrium
Led by Sonja Hyrynsalmi (LUT University), this informal networking session invites
you to connect with colleagues and share ideas on how professional societies—ACM,
IEEE TCSE, and SIGSOFT—can continue to promote and strengthen DEI (Diversity,
Equity, and Inclusion) initiatives, especially in light of current challenges.

Laura Dillon (Michigan State University) and Tayana Conte (Universidade Federal do
Amazonas) will provide brief overviews of current ACM-W and TCSE D&I programs.

15:3030m
Social Event
WomenCafe@ICSE
O: Sonja Hyrynsalmi LUT University
16:00 - 17:30
Formal Methods 2Research Track / New Ideas and Emerging Results (NIER) / Journal-
first Papers at 103
Chair(s): Yi Li Nanyang Technological University
16:0015m
Talk
ConsCS: Effective and Efficient Verification of Circom CircuitsFormal Methods
Research Track
Jinan Jiang The Hong Kong Polytechnic University, Xinghao Peng , Jinzhao Chu The
Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University
16:1515m
Talk
Constrained LTL Specification Learning from ExamplesFormal MethodsArtifact-
FunctionalArtifact-AvailableArtifact-Reusable
Research Track
Changjian Zhang Carnegie Mellon University, Parv Kapoor Carnegie Mellon University,
Ian Dardik Carnegie Mellon University, Leyi Cui Columbia University, Romulo Meira-
Goes The Pennsylvania State University, David Garlan Carnegie Mellon University,
Eunsuk Kang Carnegie Mellon University
16:3015m
Talk
LLM-aided Automatic Modeling for Security Protocol VerificationSecurityFormal
Methods
Research Track
Ziyu Mao Zhejiang University, Jingyi Wang Zhejiang University, Jun Sun Singapore
Management University, Shengchao Qin Xidian University, Jiawen Xiong East China
Normal University
16:4515m
Talk
Model Assisted Refinement of Metamorphic Relations for Scientific SoftwareFormal
Methods
New Ideas and Emerging Results (NIER)
Clay Stevens Iowa State University, Katherine Kjeer Iowa State University, Ryan
Richard Iowa State University, Edward Valeev Virginia Tech, Myra Cohen Iowa State
University
17:0015m
Talk
Precisely Extracting Complex Variable Values from Android AppsFormal Methods
Journal-first Papers
Marc Miltenberger Fraunhofer SIT; ATHENE, Steven Arzt Fraunhofer SIT; ATHENE
17:157m
Talk
A Unit Proofing Framework for Code-level Verification: A Research AgendaFormal
Methods
New Ideas and Emerging Results (NIER)
Paschal Amusuo Purdue University, Parth Vinod Patil Purdue University, Owen Cochell
Michigan State University, Taylor Le Lievre Purdue University, James C. Davis
Purdue University
Pre-print
17:227m
Talk
Automated Testing Linguistic Capabilities of NLP Models
Journal-first Papers
Jaeseong Lee The University of Texas at Dallas, Simin Chen University of Texas at
Dallas, Austin Mordahl University of Illinois Chicago, Cong Liu University of
California, Riverside, Wei Yang UT Dallas, Shiyi Wei University of Texas at Dallas
16:00 - 17:30
Databases and BusinessResearch Track / SE In Practice (SEIP) / Demonstrations /
Journal-first Papers at 104
Chair(s): Lu Xiao Stevens Institute of Technology
16:0015m
Talk
Optimization of Automated and Manual Software Tests in Industrial Practice: A
Survey and Historical Analysis
Journal-first Papers
Roman Haas Saarland University; CQSE, Raphael Nömmer Saarbr cken Graduate School of
Computer Science, CQSE, Elmar Juergens CQSE GmbH, Sven Apel Saarland University
Link to publication Pre-print
16:1515m
Talk
A-COBREX : A Tool for Identifying Business Rules in COBOL Programs
Demonstrations
Samveg Shah Indian Institute of Technology, Tirupati, Shivali Agarwal IBM,
Saravanan Krishnan IBM India Research Lab, Vini Kanvar IBM Research, Sridhar
Chimalakonda Indian Institute of Technology, Tirupati
16:3015m
Talk
Thanos: DBMS Bug Detection via Storage Engine Rotation Based Differential
TestingAward Winner
Research Track
Ying Fu National University of Defense Technology, Zhiyong Wu Tsinghua University,
China, Yuanliang Zhang National University of Defense Technology, Jie Liang ,
Jingzhou Fu School of Software, Tsinghua University, Yu Jiang Tsinghua University,
Shanshan Li National University of Defense Technology, Liao Xiangke National
University of Defense Technology
16:4515m
Talk
Coni: Detecting Database Connector Bugs via State-Aware Test Case Generation
Research Track
Wenqian Deng Tsinghua University, Zhiyong Wu Tsinghua University, China, Jie
Liang , Jingzhou Fu School of Software, Tsinghua University, Mingzhe Wang Tsinghua
University, Yu Jiang Tsinghua University
17:0015m
Talk
Puppy: Finding Performance Degradation Bugs in DBMSs via Limited-Optimization Plan
Construction
Research Track
Zhiyong Wu Tsinghua University, China, Jie Liang , Jingzhou Fu School of Software,
Tsinghua University, Mingzhe Wang Tsinghua University, Yu Jiang Tsinghua University
17:1515m
Talk
Safe Validation of Pricing Agreements
SE In Practice (SEIP)
John C. Kolesar Yale University, Tancrède Lepoint Amazon, Martin Schäf Amazon Web
Services, Willem Visser Amazon Web Services
16:00 - 17:30
Technical Briefing 2Tutorials and Technical Briefings at 203
This will introduce participants to the foundational principles and practical
application of mixed methods research (MMR) in software engineering (SE)

For more information click here

16:0090m
Talk
Technical Briefing 2 : Using Mixed Methods Research in Software EngineeringResearch
Methods
P: Margaret-Anne Storey University of Victoria, P: Rashina Hoda Monash University,
P: Maria Teresa Baldassarre Department of Computer Science, University of Bari , P:
Alessandra Maciel Paz Milani University of Victoria
16:00 - 17:30
Program Comprehension 2Journal-first Papers / Research Track at 204
Chair(s): Xiaoxue Ren Zhejiang University
16:0015m
Talk
Enhancing Fault Localization in Industrial Software Systems via Contrastive
Learning
Research Track
Chun Li Nanjing University, Hui Li Samsung Electronics (China) R&D Centre, Zhong Li
, Minxue Pan Nanjing University, Xuandong Li Nanjing University
16:1515m
Talk
On the Understandability of MLOps System Architectures
Journal-first Papers
Stephen John Warnett University of Vienna, Uwe Zdun University of Vienna
Link to publication DOI
16:3015m
Talk
Bridging the Language Gap: An Empirical Study of Bindings for Open Source Machine
Learning Libraries Across Software Package Ecosystems
Journal-first Papers
Hao Li Queen's University, Cor-Paul Bezemer University of Alberta
Link to publication DOI Pre-print
16:4515m
Talk
Understanding Code Understandability Improvements in Code Reviews
Journal-first Papers
Delano Hélio Oliveira , Reydne Bruno dos Santos UFPE, Benedito Fernando Albuquerque
de Oliveira Federal University of Pernambuco, Martin Monperrus KTH Royal Institute
of Technology, Fernando Castor University of Twente, Fernanda Madeiral Universidade
Federal de Pernambuco
17:0015m
Talk
Automatic Commit Message Generation: A Critical Review and Directions for Future
Work
Journal-first Papers
Yuxia Zhang Beijing Institute of Technology, Zhiqing Qiu Beijing Institute of
Technology, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital , Wenhui
Zhu Beijing Institute of Technology, Jiaxin Zhu Institute of Software at Chinese
Academy of Sciences, Yingchen Tian Tmall Technology Co., Hui Liu Beijing Institute
of Technology
17:157m
Talk
Efficient Management of Containers for Software Defined Vehicles
Journal-first Papers
Anwar Ghammam Oakland University, Rania Khalsi University of Michigan - Flint,
Marouane Kessentini University of Michigan - Flint, Foyzul Hassan University of
Michigan at Dearborn
16:00 - 17:30
Testing and QA 2Journal-first Papers at 205
Chair(s): Andreas Zeller CISPA Helmholtz Center for Information Security
16:0015m
Talk
EpiTESTER: Testing Autonomous Vehicles with Epigenetic Algorithm and Attention
Mechanism
Chengjie Lu Simula Research Laboratory and University of Oslo, Shaukat Ali Simula
Research Laboratory and Oslo Metropolitan University, Tao Yue Beihang University
16:1515m
Talk
GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
Jon Ayerdi Mondragon University, Valerio Terragni University of Auckland, Gunel
Jahangirova King's College London, Aitor Arrieta Mondragon University, Paolo
Tonella USI Lugano
16:3015m
Talk
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency
Diego Clerissi University of Milano-Bicocca, Giovanni Denaro University of Milano -
Bicocca, Marco Mobilio University of Milano Bicocca, Leonardo Mariani University of
Milano-Bicocca
16:4515m
Talk
Runtime Verification and Field-based Testing for ROS-based Robotic Systems
Ricardo Caldas Gran Sasso Science Institute (GSSI), Juan Antonio Piñera García Gran
Sasso Science Institute, Matei Schiopu Chalmers | Gothenburg University, Patrizio
Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Genaína Nunes Rodrigues
University of Brasília, Thorsten Berger Ruhr University Bochum
Link to publication DOI
17:0015m
Talk
Towards Effectively Testing Machine Translation Systems from White-Box Perspectives
Hanying Shao University of Waterloo, Zishuo Ding The Hong Kong University of
Science and Technology (Guangzhou), Weiyi Shang University of Waterloo, Jinqiu Yang
Concordia University, Nikolaos Tsantalis Concordia University
17:1515m
Talk
Using Knowledge Units of Programming Languages to Recommend Reviewers for Pull
Requests: An Empirical Study
Md Ahasanuzzaman Queen's University, Gustavo A. Oliva Queen's University, Ahmed E.
Hassan Queen’s University, Md Ahasanuzzaman Queen's University
16:00 - 17:45
Human and Social 1SE in Society (SEIS) / SE In Practice (SEIP) at 206 plus 208
Chair(s): Yvonne Dittrich IT University of Copenhagen, Denmark
16:0015m
Talk
Systematizing Inclusive Design in MOSIP: An Experience Report
SE In Practice (SEIP)
Soumiki Chattopadhyay Oregon State University, Amreeta Chatterjee Oregon State
University, Puja Agarwal Oregon State University, Bianca Trinkenreich Colorado
State University, Swarathmika Kumar MOSIP-IIIT Bangalore, Rohit Ranjan Rai MOSIP-
IIIT Bangalore, Resham Chugani MOSIP-IIIT Bangalore, Pragya Kumari MOSIP-IIIT
Bangalore, Margaret Burnett Oregon State University, Anita Sarma Oregon State
University
Pre-print
16:1515m
Talk
A Collaborative Framework for Cross-Domain Scientific Experiments for Society
5.0Artifact-ReusableArtifact-AvailableResearch MethodsArtifact-Functional
SE in Society (SEIS)
Muhammad Mainul Hossain University of Saskatchewan, Banani Roy University of
Saskatchewan, Chanchal K. Roy University of Saskatchewan, Kevin Schneider
University of Saskatchewan
16:3015m
Talk
A First Look at AI Trends in Value-Aligned Software Engineering Publications:
Human-LLM Insights
SE in Society (SEIS)
Ahmad Azarnik Universiti Teknologi Malaysia, Davoud Mougouei , Mahdi Fahmideh
University of Southern Queensland, Elahe Mougouei Islamic Azad University
Najafabad, Hoa Khanh Dam University of Wollongong, Arif Ali Khan University of
Oulu, Saima Rafi Edinburgh Napier University, Javed Ali Khan University of
Hertforshire Hertfordshire, UK, Aakash Ahmad School of Computing and
Communications, Lancaster University Leipzig, Leipzig, Germany
16:4515m
Talk
From Expectation to Habit: Why Do Software Practitioners Adopt Fairness Toolkits?
Artifact-ReusableArtifact-AvailableArtifact-Functional
SE in Society (SEIS)
Gianmario Voria University of Salerno, Stefano Lambiase University of Salerno,
Maria Concetta Schiavone University of Salerno, Gemma Catolino University of
Salerno, Fabio Palomba University of Salerno
Pre-print
17:0015m
Talk
Not real or too soft? On the challenges of publishing interdisciplinary software
engineering researchArtifact-Available
SE in Society (SEIS)
Sonja Hyrynsalmi LUT University, Grischa Liebel Reykjavik University, Ronnie de
Souza Santos University of Calgary, Sebastian Baltes University of Bayreuth
Pre-print
17:1515m
Talk
What is unethical about software? User perceptions in the Netherlands
SE in Society (SEIS)
Yagil Elias Vrije Universiteit Amsterdam, Tom P Humbert Vrije Universiteit
Amsterdam, Lauren Olson Vrije Universiteit Amsterdam, Emitzá Guzmán Vrije
Universiteit Amsterdam
Pre-print
16:00 - 17:30
Human and Social Process 2Journal-first Papers / Research Track at 207
Chair(s): Armstrong Foundjem École Polytechnique de Montréal
16:0015m
Talk
An Empirical Study on Developers' Shared Conversations with ChatGPT in GitHub Pull
Requests and Issues
Journal-first Papers
Huizi Hao Queen's University, Canada, Kazi Amit Hasan Queen's University, Canada,
Hong Qin Queen's University, Marcos Macedo Queen's University, Yuan Tian Queen's
University, Kingston, Ontario, Ding Steven, H., H. Queen’s University at Kingston,
Ahmed E. Hassan Queen’s University
16:1515m
Talk
Who’s Pushing the Code: An Exploration of GitHub Impersonation
Research Track
Yueke Zhang Vanderbilt University, Anda Liang Vanderbilt University, Xiaohan Wang
Vanderbilt University, Pamela J. Wisniewski Vanderbilt University, Fengwei Zhang
Southern University of Science and Technology, Kevin Leach Vanderbilt University,
Yu Huang Vanderbilt University
16:3015m
Talk
Understanding Real-time Collaborative Programming: a Study of Visual Studio Live
Share
Journal-first Papers
Xin Tan Beihang University, Xinyue Lv Beihang University, Jing Jiang Beihang
University, Li Zhang Beihang University
16:4515m
Talk
Characterizing the Prevalence, Distribution, and Duration of Stale Reviewer
Recommendations
Journal-first Papers
Farshad Kazemi University of Waterloo, Maxime Lamothe Polytechnique Montreal, Shane
McIntosh University of Waterloo
17:0015m
Talk
Diversity's Double-Edged Sword: Analyzing Race's Effect on Remote Pair Programming
Interactions
Journal-first Papers
Shandler Mason North Carolina State University, Sandeep Kuttal North Carolina State
University
17:157m
Talk
Investigating the Impact of Interpersonal Challenges on Feeling Welcome in OSS
Research Track
Bianca Trinkenreich Colorado State University, Zixuan Feng Oregon State University,
USA, Rudrajit Choudhuri Oregon State University, Marco Gerosa Northern Arizona
University, Anita Sarma Oregon State University, Igor Steinmacher NAU RESHAPE LAB
Pre-print
16:00 - 17:30
SE for AI with SecurityResearch Track at 210
Chair(s): Lina Marsso École Polytechnique de Montréal
16:0015m
Talk
Understanding the Effectiveness of Coverage Criteria for Large Language Models: A
Special Angle from Jailbreak AttacksSecuritySE for AIArtifact-Available
shide zhou Huazhong University of Science and Technology, Li Tianlin NTU, Kailong
Wang Huazhong University of Science and Technology, Yihao Huang NTU, Ling Shi
Nanyang Technological University, Yang Liu Nanyang Technological University, Haoyu
Wang Huazhong University of Science and Technology
16:1515m
Talk
Diversity Drives Fairness: Ensemble of Higher Order Mutants for Intersectional
Fairness of Machine Learning SoftwareSecuritySE for AI
Zhenpeng Chen Nanyang Technological University, Xinyue Li Peking University, Jie M.
Zhang King's College London, Federica Sarro University College London, Yang Liu
Nanyang Technological University
Pre-print
16:3015m
Talk
HIFI: Explaining and Mitigating Algorithmic Bias through the Lens of Game-Theoretic
InteractionsSecuritySE for AIArtifact-Available
Lingfeng Zhang East China Normal University, Zhaohui Wang Software Engineering
Institute, East China Normal University, Yueling Zhang East China Normal
University, Min Zhang East China Normal University, Jiangtao Wang Software
Engineering Institute, East China Normal University
16:4515m
Talk
Towards More Trustworthy Deep Code Models by Enabling Out-of-Distribution
DetectionSecuritySE for AI
Yanfu Yan William & Mary, Viet Duong William & Mary, Huajie Shao College of William
& Mary, Denys Poshyvanyk William & Mary
17:0015m
Talk
FairSense: Long-Term Fairness Analysis of ML-Enabled SystemsSecuritySE for
AIArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Yining She Carnegie Mellon University, Sumon Biswas Carnegie Mellon University,
Christian Kästner Carnegie Mellon University, Eunsuk Kang Carnegie Mellon
University
16:00 - 17:30
RequirementsResearch Track / Demonstrations / New Ideas and Emerging Results (NIER)
at 211
Chair(s): Jane Cleland-Huang University of Notre Dame
16:0015m
Talk
A Little Goes a Long Way: Tuning Configuration Selection for Continuous Kernel
FuzzingArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Research Track
Sanan Hasanov University of Central Florida, Stefan Nagy University of Utah, Paul
Gazzillo University of Central Florida
16:1515m
Talk
Exploring the Robustness of the Effect of EVO on Intention Valuation through
ReplicationArtifact-FunctionalArtifact-AvailableArtifact-ReusableAward Winner
Research Track
Yesugen Baatartogtokh University of Massachusetts Amherst, Kaitlyn Cook Smith
College, Alicia M. Grubb Smith College
16:3015m
Talk
Unavoidable Boundary Conditions: A Control Perspective on Goal Conflicts
Research Track
Sebastian Uchitel Universidad de Buenos Aires / Imperial College, Francisco Cirelli
Universidad de Buenos Aires, Dalal Alrajeh Imperial College London
16:4515m
Talk
User Personas Improve Social Sustainability by Encouraging Software Developers to
Deprioritize Antisocial Features
Research Track
Bimpe Ayoola Dalhousie University, Miikka Kuutila Dalhousie University, Rina R.
Wehbe Dalhousie University, Paul Ralph Dalhousie University
Pre-print
17:0015m
Talk
VReqST: A Requirement Specification Tool for Virtual Reality Software
ProductsArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Demonstrations
Amogha A Halhalli Software Engineering Research Center. IIIT Hyderabad, Raghu Reddy
IIIT Hyderabad, Karre Sai Anirudh Phenom Inc.
17:1515m
Talk
What is a Feature, Really? Toward a Unified Understanding Across SE Disciplines
New Ideas and Emerging Results (NIER)
Nitish Patkar FHNW, Aimen Fahmi Tata Consultancy Services, Timo Kehrer University
of Bern, Norbert Seyff University of Applied Sciences and Arts Northwestern
Switzerland FHNW
16:00 - 17:30
AI for Analysis 2Research Track / Journal-first Papers at 212
Chair(s): Julia Rubin The University of British Columbia
16:0015m
Talk
Neurosymbolic Modular Refinement Type Inference
Research Track
Georgios Sakkas UC San Diego, Pratyush Sahu UC San Diego, Kyeling Ong University of
California, San Diego, Ranjit Jhala University of California at San Diego
16:1515m
Talk
An Empirical Study on Automatically Detecting AI-Generated Source Code: How Far Are
We?
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:3015m
Talk
Planning a Large Language Model for Static Detection of Runtime Errors in Code
SnippetsArtifact-FunctionalArtifact-AvailableArtifact-Reusable
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:4515m
Talk
LLMs Meet Library Evolution: Evaluating Deprecated API Usage in LLM-based Code
Completion
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:0015m
Talk
Knowledge-Enhanced Program Repair for Data Science Code
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:157m
Talk
SparseCoder: Advancing Source Code Analysis with Sparse Attention and Learned Token
Pruning
Journal-first Papers
Xueqi Yang North Carolina State University, Mariusz Jakubowski Microsoft, Li Kang
Microsoft, Haojie Yu Microsoft, Tim Menzies North Carolina State University
Link to publication DOI
16:00 - 17:30
AI for Program Comprehension 1Research Track at 213
Chair(s): Yintong Huo Singapore Management University, Singapore
16:0015m
Talk
ADAMAS: Adaptive Domain-Aware Performance Anomaly Detection in Cloud Service
Systems
Wenwei Gu The Chinese University of Hong Kong, Jiazhen Gu Chinese University of
Hong Kong, Jinyang Liu Chinese University of Hong Kong, Zhuangbin Chen Sun Yat-sen
University, Jianping Zhang The Chinese University of Hong Kong, Jinxi Kuang The
Chinese University of Hong Kong, Cong Feng Huawei Cloud Computing Technology,
Yongqiang Yang Huawei Cloud Computing Technology, Michael Lyu The Chinese
University of Hong Kong
16:1515m
Talk
LibreLog: Accurate and Efficient Unsupervised Log Parsing Using Open-Source Large
Language Models
Zeyang Ma Concordia University, Dong Jae Kim DePaul University, Tse-Hsun (Peter)
Chen Concordia University
16:3015m
Talk
Model Editing for LLMs4Code: How Far are We?
Xiaopeng Li National University of Defense Technology, Shangwen Wang National
University of Defense Technology, Shasha Li National University of Defense
Technology, Jun Ma National University of Defense Technology, Jie Yu National
University of Defense Technology, Xiaodong Liu National University of Defense
Technology, Jing Wang National University of Defense Technology, Bin Ji National
University of Defense Technology, Weimin Zhang National University of Defense
Technology
Pre-print
16:4515m
Talk
Software Model Evolution with Large Language Models: Experiments on Simulated,
Public, and Industrial Datasets
Christof Tinnes Saarland University, Alisa Carla Welter Saarland University, Sven
Apel Saarland University
Pre-print
17:0015m
Talk
SpecRover: Code Intent Extraction via LLMs
Haifeng Ruan National University of Singapore, Yuntong Zhang National University of
Singapore, Abhik Roychoudhury National University of Singapore
17:1515m
Talk
Unleashing the True Potential of Semantic-based Log Parsing with Pre-trained
Language ModelsArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Van-Hoang Le The University of Newcastle, Yi Xiao , Hongyu Zhang Chongqing
University
16:00 - 17:30
AI for Testing and QA 2Research Track / SE In Practice (SEIP) at 214
Chair(s): Michael Pradel University of Stuttgart
16:0015m
Talk
Faster Configuration Performance Bug Testing with Neural Dual-level
PrioritizationArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Research Track
Youpeng Ma University of Electronic Science and Technology of China, Tao Chen
University of Birmingham, Ke Li University of Exeter
Pre-print
16:1515m
Talk
Metamorphic-Based Many-Objective Distillation of LLMs for Code-related
TasksArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Research Track
Annibale Panichella Delft University of Technology
16:3015m
Talk
NIODebugger: A Novel Approach to Repair Non-Idempotent-Outcome Tests with LLM-Based
Agent
Research Track
Kaiyao Ke University of Illinois at Urbana-Champaign
16:4515m
Talk
Test Intention Guided LLM-based Unit Test Generation
Research Track
Zifan Nan Huawei, Zhaoqiang Guo Software Engineering Application Technology Lab,
Huawei, China, Kui Liu Huawei, Xin Xia Huawei
17:0015m
Talk
What You See Is What You Get: Attention-based Self-guided Automatic Unit Test
Generation
Research Track
Xin Yin Zhejiang University, Chao Ni Zhejiang University, xiaodanxu College of
Computer Science and Technology, Zhejiang university, Xiaohu Yang Zhejiang
University
17:1515m
Talk
Improving Code Performance Using LLMs in Zero-Shot: RAPGen
SE In Practice (SEIP)
Spandan Garg Microsoft Corporation, Roshanak Zilouchian Moghaddam Microsoft, Neel
Sundaresan Microsoft
16:00 - 17:30
Analysis 1Research Track / SE In Practice (SEIP) / Journal-first Papers at 215
Chair(s): Antonio Filieri AWS and Imperial College London
16:0015m
Talk
SUPERSONIC: Learning to Generate Source Code Optimizations in C/C++
Journal-first Papers
Zimin Chen KTH Royal Institute of Technology, Sen Fang North Carolina State
University, Martin Monperrus KTH Royal Institute of Technology
16:1515m
Talk
An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis
ToolsArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Research Track
Miao Miao The University of Texas at Dallas, Austin Mordahl University of Illinois
Chicago, Dakota Soles The University of Texas at Dallas, Alice Beideck The
University of Texas at Dallas, Shiyi Wei University of Texas at Dallas
16:3015m
Talk
Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java
ProgramsArtifact-FunctionalArtifact-AvailableArtifact-ReusableAward Winner
Research Track
Chenxi Zhang Nanjing University, Yufei Liang Nanjing University, Tian Tan Nanjing
University, Chang Xu Nanjing University, Shuangxiang Kan UNSW, Yulei Sui University
of New South Wales, Yue Li Nanjing University
16:4515m
Talk
Execution Trace Reconstruction Using Diffusion-Based Generative Models
Research Track
Madeline Janecek Brock University, Naser Ezzati Jivan , Wahab Hamou-Lhadj Concordia
University, Montreal, Canada
17:0015m
Talk
Static Analysis of Remote Procedure Call in Java Programs
Research Track
Baoquan Cui Institute of Software at Chinese Academy of Sciences, China, RongQu
State Key Laboratory of Computer Science, Institute of Software Chinese Academy of
Sciences, University of Chinese Academy of Sciences, Beijing, China, Zhen Tang Key
Laboratory of System Software (Chinese Academy of Sciences), State Key Laboratory
of Computer Science, Institute of Software Chinese Academy of Sciences, University
of Chinese Academy of Sciences, Beijing, China, Jian Zhang Institute of Software at
Chinese Academy of Sciences; University of Chinese Academy of Sciences
17:1515m
Talk
ArkAnalyzer: The Static Analysis Framework for OpenHarmony
SE In Practice (SEIP)
chenhaonan Beihang University, Daihang Chen Beihang University, Yizhuo Yang Beihang
University, Lingyun Xu Huawei, Liang Gao Huawei, Mingyi Zhou Monash University,
Chunming Hu Beihang University, Li Li Beihang University
16:00 - 17:30
AI for SE 2Research Track / Journal-first Papers at Canada Hall 1 and 2
Chair(s): Tingting Yu University of Connecticut
16:0015m
Talk
Large Language Models for Safe MinimizationArtifact-FunctionalArtifact-
AvailableArtifact-Reusable
Research Track
Aashish Yadavally University of Texas at Dallas, Xiaokai Rong The University of
Texas at Dallas, Phat Nguyen The University of Texas at Dallas, Tien N. Nguyen
University of Texas at Dallas
16:1515m
Talk
LUNA: A Model-Based Universal Analysis Framework for Large Language Models
Journal-first Papers
Da Song University of Alberta, Xuan Xie University of Alberta, Jiayang Song
University of Alberta, Derui Zhu Technical University of Munich, Yuheng Huang
University of Alberta, Canada, Felix Juefei-Xu New York University, Lei Ma The
University of Tokyo & University of Alberta, Yuheng Huang University of Alberta,
Canada
16:3015m
Talk
Intention is All You Need: Refining Your Code from Your Intention
Research Track
Qi Guo Tianjin University, Xiaofei Xie Singapore Management University, Shangqing
Liu Nanyang Technological University, Ming Hu Nanyang Technological University,
Xiaohong Li Tianjin University, Lei Bu Nanjing University
16:4515m
Talk
RLCoder: Reinforcement Learning for Repository-Level Code Completion
Research Track
Yanlin Wang Sun Yat-sen University, Yanli Wang Sun Yat-sen University, Daya Guo ,
Jiachi Chen Sun Yat-sen University, Ruikai Zhang Huawei Cloud Computing
Technologies, Yuchi Ma Huawei Cloud Computing Technologies, Zibin Zheng Sun Yat-sen
University
17:0015m
Talk
InterTrans: Leveraging Transitive Intermediate Translations to Enhance LLM-based
Code Translation
Research Track
Marcos Macedo Queen's University, Yuan Tian Queen's University, Kingston, Ontario,
Pengyu Nie University of Waterloo, Filipe Cogo Centre for Software Excellence,
Huawei Canada, Bram Adams Queen's University
17:1515m
Talk
Toward a Theory of Causation for Interpreting Neural Code Models
Journal-first Papers
David Nader Palacio William & Mary, Alejandro Velasco William & Mary, Nathan Cooper
William & Mary, Alvaro Rodriguez Universidad Nacional de Colombia, Kevin Moran
University of Central Florida, Denys Poshyvanyk William & Mary
Link to publication DOI Pre-print
17:30 - 18:00
Doctoral Symposium Poster Session (Wednesday) at Canada Hall 3 poster areaDoctoral
Symposium at Canada Hall 3 Poster Area
17:3030m
Talk
Towards Fully-Traceable Human-Centred Design
Christopher Schankula McMaster University
17:3030m
Talk
Towards Quality Assurance of Natural Language in Code
Renyi Zhong The Chinese University of Hong Kong
17:3030m
Talk
Improving Software Engineering Team Communication Through Stronger Social Networks
April Clarke University of Canterbury
17:3030m
Talk
Augmenting the Generality and Performance of Large Language Models for Software
Engineering
Fabian C. Peña University of Passau
17:3030m
Talk
Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software
Development
David Molamphy University of Limerick
17:3030m
Talk
A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software
Development
Alejandra Selva-Mora Universidad de Costa Rica
17:3030m
Talk
Semantic-aware Replicated Data Types for Improved Conflict Resolution in Near-
synchronous Code Collaboration
Leon Freudenthaler FH Campus Wien
17:3030m
Talk
Human-centric Requirements Engineering for Digital Health Software for Aging People
Yuqing Xiao Monash University
17:3030m
Talk
Automatically Generating Single-Responsibility Unit Tests
Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e
Ingenierías, Universidad Católica Boliviana
17:3030m
Talk
Exploring GenAI-Driven Innovation in Game Development
Xiang Chen University of Waterloo
17:3030m
Talk
Addressing Recurring Bugs and Workflow Challenges in Quantum Software
EngineeringQuantum
Jake Zappin William and Mary
17:3030m
Talk
Understanding and Supporting the ML Supply Chain through ML Bill of Materials
Trevor Stalnaker William & Mary
17:3030m
Talk
Energy efficiency through architectural tactics for self-adaptive Cloud systems
Henrique David de Medeiros Télécom SudParis, Institut Polytechnique de Paris
17:3030m
Talk
Intelligent Automation for Accelerating the Repair of Software Build Failures
Gengyi Sun University of Waterloo
Pre-print
17:3030m
Talk
Decoding the Impostor Phenomenon: Unveiling Factors and Mitigation Strategies for
Software Professionals
Paloma Guenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
17:3030m
Talk
Automated Repair of Cyber-Physical Systems
Pablo Valle Mondragon University
Pre-print
17:3030m
Talk
Distilling Reference Architectures from Open Source Repositories
Thi Dinh Tran Gran Sasso Science Institute
17:3030m
Talk
Structured State Space Exploration of Dash+ Models
Aditya Shankar Narayanan University of Waterloo
17:3030m
Talk
Interactions with Generative AI: Wearables to Measure Developer Experience and
Productivity Objectively
Charlotte Brandebusemeyer Hasso Plattner Institute, University of Potsdam
17:3030m
Talk
User perceptions of ethical issues in software
Tom P Humbert Vrije Universiteit Amsterdam
17:3030m
Talk
Advancing Cognitive Inclusivity in Software Engineering Tools and Practices
Faith Culas University of Auckland
17:3030m
Talk
Build and Runtime Integrity for Java
Aman Sharma KTH Royal Institute of Technology
Pre-print
17:3030m
Talk
Rethinking Software Development Considering Collaboration with AI Assistants
Benedetta Donato University of Milano - Bicocca
17:3030m
Talk
Trustworthiness of Large Language Models for Code
Dipin Khati William & Mary
19:00 - 22:00
Child Care Wednesday EveningSocial, Networking and Special Rooms at 102 Child Care
19:00 - 21:00
Reception NAC Canada Room (Jazz group)Social, Networking and Special Rooms at NAC
Canada Room
This is one of two areas in the National Arts Centre for the Tuesday evening (7-9)
ICSE2025 reception.