103 - TechDebt 2025

VenueRogers Centre, Ottawa (formerly Shaw Centre)

Room name103

Floor1

Room number103

Capacity78

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

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

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

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

Time Band

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

Display full programSpecify a time band

Save

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

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

09:00 - 10:30	KeynoteTechnical Papers at 103 Chair(s): Maria Teresa Baldassarre Department of Computer Science, University of Bari

09:00 90m Talk		Towards an Interpretable Science of Deep Learning for Engineering Quality Software: A Causal Inference View Technical Papers Denys Poshyvanyk William & Mary

11:00 - 12:30	Research PapersTechnical Papers at 103

11:00 30m Research paper		Aligning Data Debt with AI-Integrated Software Project Lifecycle Processes: A Standard-Based Mapping Approach Technical Papers 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:30 30m Research paper		Automating Technical Debt Management: Insights from Practitioner Discussions in Stack Exchange Technical Papers 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
12:00 10m Paper		Experiences with Technical Debt and its Root Causes in a Merged Industrial Company Technical Papers 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
12:10 10m Paper		ACE: Automated Technical Debt Remediation with Validated Large Language Model Refactorings Technical Papers Adam Tornhill Empear AB, Markus Borg CodeScene
12:20 10m Talk		Lighting Talk: Evidence is All We Need: Do Self-Admitted Technical Debts Impact Method-Level Maintenance? Technical Papers Shaiful Chowdhury University of Manitoba, Hisham Kidwai University of Manitoba, Muhammad Asaduzzman University of Windsor

14:00 - 15:30	Research Papers and PostersIndustry Track / Technical Papers at 103

14:00 30m Paper		The TechDebt Game - Enabling Discussions about Technical Debt 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
14:30 10m Industry talk		Perspective-Taking as a Strategy to Manage Technical Debt Industry Track Kezia Devathasan University of Victoria, Mike Rowling Felix Payment Systems
14:40 10m Industry talk		A Quantitative Approach to Measuring Technical Debt: The Technical Debt Index (TDI) Industry Track Nitin Gupta Assembly Digital and the University of Victoria
14:50 10m Industry talk		Automating Dead Code Cleanup: Challenges Beyond the Code Industry Track Diego Marcilio Uber
15:00 10m Industry talk		Addressing Technical Debt through Collaboration Industry Track Steven D. Fraser Innoxec
15:10 20m Panel		War Stories in TechDebt Industry Track Reed Milewicz Sandia National Laboratories, Fatemeh Hendijani Fard University of British Columbia

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

09:00 - 10:30	KeynoteTechnical Papers at 103 Chair(s): Roberto Verdecchia University of Florence

09:00 90m Talk		Leveraging Research to Inform Structural Technical Debt Management Technical Papers Ciera Jaspan Google, Collin Green Google

11:00 - 12:30	Research papers and MIPTechnical Papers at 103

11:00 30m Research paper		Most Influential Paper: Detecting and Quantifying Different Types of Self-Admitted Technical Debt Technical Papers Everton Maldonado Concordia University, Montreal, Canada, Emad Shihab Concordia University
11:30 30m Research paper		Exploring Fairness Debt Through Evidence from Studies on Algorithmic Discrimination Technical Papers Fardin Aryan University of Calgary, Lucas Valença University of Calgary, Ronnie de Souza Santos University of Calgary
12:00 30m Research paper		Requirements Technical Debt Through the Lens of Environment Assumptions Technical Papers Mounifah Alenazi University of Hafr Al Batin

14:00 - 15:30	Talks, Discussions, and ClosingTechnical Papers at 103

14:00 10m Talk		Lighting Talk: Leveraging Context Information for Self-Admitted Technical Debt Detection Technical Papers 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:10 60m Talk		Discussion: Reframing Technical Debt - Insights from the Dagstuhl Perspectives Workshop Technical Papers
15:10 10m		Town Hall Technical Papers
15:20 10m Day closing		Awards & Closing & TechDebt 2026 Technical Papers

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

09:00 - 10:30	Tutorial 1 (Part 1)ICSE 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:00 90m Tutorial		Tutorial 1: Quantum Software TestingTesting and QAQuantum ICSE Tutorials and Technical Briefings 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	Tutorial 1 (Part 2)ICSE Tutorials and Technical Briefings at 103

11:00 90m Tutorial		Tutorial 1: Quantum Software TestingTesting and QAQuantum ICSE Tutorials and Technical Briefings 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

14:00 - 15:30	Tutorial 2 (Part 1)ICSE 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:00 90m Tutorial		Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to VerificationSE for AIRequirementsHuman/SocialReal-Time+Safety ICSE Tutorials and Technical Briefings 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	Tutorial 2 (Part 2)ICSE Tutorials and Technical Briefings at 103

16:00 90m Tutorial		Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to VerificationSE for AIRequirementsHuman/SocialReal-Time+Safety ICSE Tutorials and Technical Briefings 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

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

11:00 - 12:30	Formal Methods 1ICSE Research Track / ICSE New Ideas and Emerging Results (NIER) at 103 Chair(s): Cristian Cadar Imperial College London

11:00 15m Talk		SpecGen: Automated Generation of Formal Program Specifications via Large Language ModelsFormal Methods ICSE 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:15 15m Talk		Gpass: a Goal-adaptive Neural Theorem Prover based on Coq for Automated Formal VerificationFormal Methods ICSE Research Track Yizhou Chen Peking University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Guoqing Wang Peking University, Dan Hao Peking University
11:30 15m Talk		AI-Assisted Autoformalization of Combinatorics Problems in Proof AssistantsFormal Methods ICSE New Ideas and Emerging Results (NIER) Long Doan George Mason University, ThanhVu Nguyen George Mason University
11:45 15m Talk		Formally Verified Binary-level Pointer AnalysisFormal Methods ICSE Research Track Freek Verbeek Open Universiteit & Virginia Tech, Ali Shokri Virginia Tech, Daniel Engel Open University Of The Netherlands, Binoy Ravindran Virginia Tech
12:00 15m Talk		EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution FrameworkFormal Methods ICSE 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:15 7m Talk		SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code GenerationFormal Methods ICSE 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:22 7m Talk		Listening to the Firehose: Sonifying Z3’s BehaviorFormal Methods ICSE New Ideas and Emerging Results (NIER) Finn Hackett University of British Columbia, Ivan Beschastnikh University of British Columbia

16:00 - 17:30	Formal Methods 2ICSE Research Track / ICSE New Ideas and Emerging Results (NIER) / ICSE Journal-first Papers at 103 Chair(s): Yi Li Nanyang Technological University

16:00 15m Talk		ConsCS: Effective and Efficient Verification of Circom CircuitsFormal Methods ICSE 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:15 15m Talk		Constrained LTL Specification Learning from ExamplesFormal Methods ICSE Research Track Changjian Zhang Carnegie Mellon University, Parv Kapoor Carnegie Mellon University, Ian Dardik Carnegie Mellon University, Leyi Cui Columbia University, New York, Romulo Meira-Goes The Pennsylvania State University, David Garlan Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
16:30 15m Talk		LLM-aided Automatic Modeling for Security Protocol VerificationSecurityFormal Methods ICSE 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:45 15m Talk		Model Assisted Refinement of Metamorphic Relations for Scientific SoftwareFormal Methods ICSE 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:00 15m Talk		Precisely Extracting Complex Variable Values from Android AppsFormal Methods ICSE Journal-first Papers Marc Miltenberger Fraunhofer SIT; ATHENE, Steven Arzt Fraunhofer SIT; ATHENE
17:15 7m Talk		A Unit Proofing Framework for Code-level Verification: A Research AgendaFormal Methods ICSE 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:22 7m Talk		Automated Testing Linguistic Capabilities of NLP Models ICSE Journal-first Papers Jaeseong Lee The University of Texas at Dallas, Simin Chen University of Texas at Dallas, Austin Mordahl The University of Texas at Dallas, Cong Liu University of California, Riverside, Wei Yang UT Dallas, Shiyi Wei University of Texas at Dallas

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
103	Technical Papers Keynote																								Technical Papers Research Papers																																				Industry Track + Technical Papers Research Papers and Posters																								Technical Papers

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
103	Technical Papers Keynote																								Technical Papers Research papers and MIP																																				Technical Papers Talks, Discussions, and Closing																								Technical Papers

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
103	ICSE Tutorials and Technical Briefings Tutorial 1 (Part 1)																								ICSE Tutorials and Technical Briefings Tutorial 1 (Part 2)																																				ICSE Tutorials and Technical Briefings Tutorial 2 (Part 1)																								ICSE Tutorials and Technical Briefings Tutorial 2 (Part 2)

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
103	ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) Formal Methods 1																																																												ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) + ICSE Journal-first Papers Formal Methods 2

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
103	TechDebt Technical Papers Towards an Interpretable Science of Deep Learning for Engineering Quali ... 09:00 - 10:30																								TechDebt Technical Papers Aligning Data Debt with AI-Integrated Software Project Lifecycle Proces ... 11:00 - 11:30						TechDebt Technical Papers Automating Technical Debt Management: Insights from Practitioner Discus ... 11:30 - 12:00						TechDebt Technical Papers Experiences with Technical Debt and its Root Causes in a Merged Industr ... 12:00 - 12:10		TechDebt Technical Papers ACE: Automated Technical Debt Remediation with Validated Large Language ... 12:10 - 12:20		TechDebt Technical Papers Lighting Talk: Evidence is All We Need: Do Self-Admitted Technical Debt ... 12:20 - 12:30																				TechDebt Technical Papers The TechDebt Game - Enabling Discussions about Technical Debt 14:00 - 14:30						TechDebt Industry Track Perspective-Taking as a Strategy to Manage Technical Debt 14:30 - 14:40		TechDebt Industry Track A Quantitative Approach to Measuring Technical Debt: The Technical Debt ... 14:40 - 14:50		TechDebt Industry Track Automating Dead Code Cleanup: Challenges Beyond the Code 14:50 - 15:00		TechDebt Industry Track Addressing Technical Debt through Collaboration 15:00 - 15:10		TechDebt Industry Track War Stories in TechDebt 15:10 - 15:30

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
103	TechDebt Technical Papers Leveraging Research to Inform Structural Technical Debt Management 09:00 - 10:30																								TechDebt Technical Papers Most Influential Paper: Detecting and Quantifying Different Types of Se ... 11:00 - 11:30						TechDebt Technical Papers Exploring Fairness Debt Through Evidence from Studies on Algorithmic Di ... 11:30 - 12:00						TechDebt Technical Papers Requirements Technical Debt Through the Lens of Environment Assumptions 12:00 - 12:30																								TechDebt Technical Papers Lighting Talk: Leveraging Context Information for Self-Admitted Technic ... 14:00 - 14:10		TechDebt Technical Papers Discussion: Reframing Technical Debt - Insights from the Dagstuhl Persp ... 14:10 - 15:10												TechDebt Technical Papers Town Hall 15:10 - 15:20		TechDebt Technical Papers Awards & Closing & TechDebt 2026 15:20 - 15:30

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
103	ICSE Tutorials and Technical BriefingsTesting and QAQuantum Tutorial 1: Quantum Software Testing 09:00 - 10:30																								ICSE Tutorials and Technical BriefingsTesting and QAQuantum Tutorial 1: Quantum Software Testing 11:00 - 12:30																																				ICSE Tutorials and Technical BriefingsSE for AIRequirementsHuman/SocialReal-Time+Safety Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirement ... 14:00 - 15:30																								ICSE Tutorials and Technical BriefingsSE for AIRequirementsHuman/SocialReal-Time+Safety Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirement ... 16:00 - 17:30

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
103	ICSE Research TrackFormal Methods SpecGen: Automated Generation of Formal Program Specifications via Larg ... 11:00 - 11:15			ICSE Research TrackFormal Methods Gpass: a Goal-adaptive Neural Theorem Prover based on Coq for Automated ... 11:15 - 11:30			ICSE New Ideas and Emerging Results (NIER)Formal Methods AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants 11:30 - 11:45			ICSE Research TrackFormal Methods Formally Verified Binary-level Pointer Analysis 11:45 - 12:00			ICSE Research TrackFormal Methods EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Fram ... 12:00 - 12:15			ICSE New Ideas and Emerging Results (NIER)Formal Methods SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Gener ... 12:15 - 12:22	ICSE New Ideas and Emerging Results (NIER)Formal Methods Listening to the Firehose: Sonifying Z3’s Behavior 12:22 - 12:29																																												ICSE Research TrackFormal Methods ConsCS: Effective and Efficient Verification of Circom Circuits 16:00 - 16:15			ICSE Research TrackFormal Methods Constrained LTL Specification Learning from Examples 16:15 - 16:30			ICSE Research TrackSecurityFormal Methods LLM-aided Automatic Modeling for Security Protocol Verification 16:30 - 16:45			ICSE New Ideas and Emerging Results (NIER)Formal Methods Model Assisted Refinement of Metamorphic Relations for Scientific Software 16:45 - 17:00			ICSE Journal-first PapersFormal Methods Precisely Extracting Complex Variable Values from Android Apps 17:00 - 17:15			ICSE New Ideas and Emerging Results (NIER)Formal Methods A Unit Proofing Framework for Code-level Verification: A Research Agenda 17:15 - 17:22	ICSE Journal-first Papers Automated Testing Linguistic Capabilities of NLP Models 17:22 - 17:29

Room information: 103

This program is tentative and subject to change.

Program Display Configuration

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

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

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

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

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

Technical Papers

Technical Papers

Industry Track + Technical Papers

Technical Papers

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

Technical Papers

Technical Papers

Technical Papers

Technical Papers

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

ICSE Tutorials and Technical Briefings

ICSE Tutorials and Technical Briefings

ICSE Tutorials and Technical Briefings

ICSE Tutorials and Technical Briefings

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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