209 Poster Area - FormaliSE 2025

VenueRogers Centre, Ottawa (formerly Shaw Centre)

Room name209 Poster Area

Floor0

Room number209 posters

Capacity20

Room Information

This is the same room as 209 (Ready Room), except that we are calling it ‘209 Poster Area’ when we want to indicate specific scheduling of posters in the room.

See map. 209 entrance is on the second floor off the Rideau Canal Atrium and is centrally located. To the North is the entrance to 202, and to the south is the corridor to 211 - 215.

Posters set up Sunday (taken down Monday evening)

Poster and days	Conference	Authors	Title
81 S-M	CHASE	Jingzhi Gong	Enhancing Trust in Language Model-Based Code Optimization through RLHF: A Research Design
82 S-M	CHASE	Yijun Lu	VRTopic: Advancing Topic Modeling in Virtual Reality User Reviews with Large Language Models
83 S-M	CHASE	Lekshmi Murali Rani	Extending Behavioral Software Engineering: Decision-Making and Collaboration in Human-AI Teams for Responsible Software Engineering
84 S-M	CHASE	Aurora Papotti	Exploring software developers’ security perspectives and practices when using automated tools to review code
85 S-M	CHASE	Jayani Samaraweera	Culture and Uncertainty: Are culturally diverse teams better equipped for software development?
86 S-M	CHASE	Linus Ververs	Qualitative Analysis of Dysfunctional Behavior in Pair Programming: Summarizing my PhD Progress after 3 years
87 S-M	CHASE	Winnie Bahati Mbaka	Security Threat Analysis and Risk Assessment; A Deep Dive
88 S-M	CHASE	Lavinia Paganini	Support of Small Research Software Open-Source Communities
89 S-M	CHASE	Thayssa Rocha	People with disabilities in software development teams: artificial intelligence and remote collaboration at the service of inclusion
90 (S)M	CSEE&T	Rafal Wlodarski, Leonardo Da Silva Sousa, Allison Connell Pensky	Level Up Peer Review in Education: Investigating genAI-driven Gamification system and its influence on Peer Feedback Effectiveness
91 (S)M	CSEE&T	Nilma Abbas,	Energy-Efficient WordPress Development: A Teaching Approach Using Code Proxies (poster 91) niab@zealand.dk
92 (S)M	CSEE&T	Gouri Ginde,	Can We Leverage Replication Studies to Instil Ethical Practices in Future Software Engineers? (poster 92) gouri.deshpande@ucalgary.ca
93 (S)M	CSEE&T	Mohamad Kassab	Navigating Academic Careers in Software Engineering: An Empirical Study of Faculty and Postdoctoral Roles (poster 93) mkassab@bu.edu
94 (S)M	CSEE&T	Esteban Parra Rodriguez and Sophia Willingham	Lessons from a Summer School Integrating AI and Software Development (poster 94) esteban.parrarodriguez@belmont.edu
95 (S)M	CSEE&T	Edward Sabinus,	Automatic Assessment of Structural Induction Proofs for Undergraduate Computer Science Courses (poster 95) edward.sabinus@informatik.uni-halle.de
96 (S)M	CSEE&T	Christopher Schankula	A Software Engineering Capstone Infrastructure that Encourages Spreading Work Over Time and Team (poster 96) schankuc@mcmaster.ca
97 (S)M	CSEE&T	Christopher Schankula	An Experiential Introduction to Software Design: Design Thinking Meets Event-Driven Programming (poster 97) schankuc@mcmaster.ca
98 M	CSEE&T	Elena Tiukhova	Mirror, Mirror on the Wall, Who Is the Smartest of Them All: A Student-Facing Dashboard for Conceptual Modeling Education (poster 98) elena.tiukhova@kuleuven.be
98 S	TechDebt	Magnus Drewsen Jørgensen , Nina Wiborg Mølgaard, Morten Jokumsen, Jens Bæk Jørgensen and Henrik Bærbak Christensen	Experiences with Technical Debt and its Root Causes in a Merged Industrial Company
99 S-M	TechDebt	Adam Tornhill and Markus Borg	ACE: Automated Technical Debt Remediation with Validated Large Language Model Refactorings

Posters to be put up Tuesday (then moved to Canada Hall 3 for Wednesday)

Poster and days	Conference	Authors	Title
81 TuM + 47 W-F	Doctoral Symposium	Aman Sharma	Build and Runtime Integrity for Java
82 TuM + 48 W-F	Doctoral Symposium	Charlotte Brandebusemeyer	Interactions with Generative AI: Wearables to Measure Developer Experience and Productivity Objectively
83 TuM + 49 W-F	Doctoral Symposium	Trevor Stalnaker	Understanding and Supporting the ML Supply Chain through ML Bill of Materials
84 TuM + 50 W-F	Doctoral Symposium	Alejandra Selva-Mora	A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development
85 TuM + 51 W-F	Doctoral Symposium	Benedetta Donato	Rethinking Software Development Considering Collaboration with AI Assistants
86 TuM + 52 W-F	Doctoral Symposium	Xiang Chen	Exploring GenAI-Driven Innovation in Game Development
87 TuM + 53 W-F	Doctoral Symposium	Christopher Schankula	Towards Fully-Traceable Human-Centred Design
88 TuM + 54 W-F	Doctoral Symposium	Tom Humbert	User perceptions of ethical issues in software
89 TuM + 55 W-F	Doctoral Symposium	Faith Culas	Advancing Cognitive Inclusivity in Software Engineering Tools and Practices
90 TuM + 56 W-F	Doctoral Symposium	Yuqing Xiao	Human-centric Requirements Engineering for Digital Health Software for Aging People
91 TuM + 57 W-F	Doctoral Symposium	April Clarke	Improving Software Engineering Team Communication Through Stronger Social Networks
92 TuM + 58 W-F	Doctoral Symposium	Paloma Guenes	Decoding the Impostor Phenomenon: Unveiling Factors and Mitigation Strategies for Software Professionals
93 TuM + 59 W-F	Doctoral Symposium	David Molamphy	Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software Development
89 TuA + 60 W-F	Doctoral Symposium	Jake Zappin	Addressing Recurring Bugs and Workflow Challenges in Quantum Software Engineering
90 TuA + 61 W-F	Doctoral Symposium	Thi Dinh Tran	Distilling Reference Architectures from Open Source Repositories
91 TuA + 62 W-F	Doctoral Symposium	Renyi Zhong	Towards Quality Assurance of Natural Language in Code
92 TuA + 63 W-F	Doctoral Symposium	Leon Freudenthaler	Semantic-aware Replicated Data Types for Improved Conflict Resolution in Near-synchronous Code Collaboration
93 TuA + 64 W-F	Doctoral Symposium	Henrique MEDEIROS	Energy efficiency through architectural tactics for self-adaptive Cloud systems
94 TuA + 65 W-F	Doctoral Symposium	Fabian C. Peña	Augmenting the Generality and Performance of Large Language Models for Software Engineering
95 TuA + 66 W-F	Doctoral Symposium	Pablo Valle	Automated Repair of Cyber-Physical Systems
96 TuA + 67 W-F	Doctoral Symposium	Geraldine Galindo-Gutierrez	Automatically Generating Single-Responsibility Unit Tests
97 TuA + 68 W-F	Doctoral Symposium	Aditya Shankar Narayanan	Structured State Space Exploration of Dash+ Models
98 TuA + 69 W-F	Doctoral Symposium	Gengyi Sun	Intelligent Automation for Accelerating the Repair of Software Build Failures
99 TuA + 70 W-F	Doctoral Symposium	Dipin Khati	Trustworthiness of Large Language Models for Code

Program

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

10:30 - 11:00	TechDebt PostersTechDebt Technical Papers at 209 Poster Area

10:30 30m Paper		ACE: Automated Technical Debt Remediation with Validated Large Language Model Refactorings TechDebt Technical Papers Adam Tornhill Empear AB, Markus Borg CodeScene
10:30 30m Paper		Experiences with Technical Debt and its Root Causes in a Merged Industrial Company TechDebt 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 File Attached

	12:30 - 14:00	CHASE PosterCHASE Research Track at 209 Poster Area

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

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:00 60m Poster		Energy-Efficiency in WordPress Development: A Teaching Approach Using Code Proxies CSEE&T Nilma Abbas Zealand Academy of Technologies and Business, Maja H. Kirkeby Roskilde University
13:00 60m Poster		Can We Leverage Replication Studies to Instil Ethical Practices in Future Software Engineers? CSEE&T Gouri Ginde (Deshpande) University of Calgary, Emily Marasco University of Calgary
13:00 60m Poster		Navigating Academic Careers in Software Engineering: An Empirical Study of Faculty and Postdoctoral Roles CSEE&T Mohamad Kassab Boston University, USA
13:00 60m Poster		Lessons from a Summer School Integrating AI and Software Development CSEE&T 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:00 60m Poster		Mirror, Mirror on the Wall, Who Is the Smartest of Them All: A Student-Facing Dashboard for Conceptual Modeling Education CSEE&T Elena Tiukhova KU Leuven, Charlotte Verbruggen KU Leuven, Tinne De Laet KU Leuven, Bart Baesens KU Leuven, Monique Snoeck Katholieke Universiteit Leuven
13:00 60m Poster		Automatic Assessment of Structural Induction Proofs for Undergraduate Computer Science Courses CSEE&T Edward Sabinus Martin-Luther-University Halle-Wittenberg, Thomas Kühn Martin-Luther-University Halle-Wittenberg, Wolf Zimmermann Martin-Luther-University Halle-Wittenberg
13:00 60m Poster		A Software Engineering Capstone Infrastructure that Encourages Spreading Work Over Time and Team CSEE&T Spencer Smith McMaster University, Computing and Software Department, Christopher Schankula McMaster University, Lucas Dutton McMaster University, Christopher Anand McMaster University
13:00 60m Poster		An Experiential Introduction to Software Design: Design Thinking Meets Event-Driven Programming CSEE&T Christopher W. Schankula McMaster University, Habib Ghaffari McMaster University, Spencer Smith McMaster University, Computing and Software Department, Christopher Anand McMaster University
13:00 60m Poster		Level Up Peer Review in Education: Investigating genAI-driven Gamification system and its influence on Peer Feedback Effectiveness CSEE&T Rafal Wlodarski Carnegie Mellon Silicon Valley, Leonardo Da Silva Sousa Carnegie Mellon University, USA, Allison Connell Pensky Carnegie Mellon University

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

10:05 - 10:30	Session 1: Security & Miscellaneous (posters)ICSE Doctoral Symposium at 209 Poster Area

10:05 25m Talk		Build and Runtime Integrity for Java ICSE Doctoral Symposium Aman Sharma KTH Royal Institute of Technology Pre-print
10:05 25m Talk		Interactions with Generative AI: Wearables to Measure Developer Experience and Productivity Objectively ICSE Doctoral Symposium Charlotte Brandebusemeyer Hasso Plattner Institute, University of Potsdam
10:05 25m Talk		Understanding and Supporting the ML Supply Chain through ML Bill of Materials ICSE Doctoral Symposium Trevor Stalnaker William & Mary
10:05 25m Talk		A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development ICSE Doctoral Symposium Alejandra Selva-Mora Universidad de Costa Rica
10:05 25m Talk		Rethinking Software Development Considering Collaboration with AI Assistants ICSE Doctoral Symposium Benedetta Donato University of Milano - Bicocca
10:05 25m Talk		Exploring GenAI-Driven Innovation in Game Development ICSE Doctoral Symposium Xiang Chen University of Waterloo

12:00 - 12:30	Session 2: Human aspects (posters)ICSE Doctoral Symposium at 209 Poster Area

12:00 30m Talk		Towards Fully-Traceable Human-Centred Design ICSE Doctoral Symposium Christopher Schankula McMaster University
12:00 30m Talk		User perceptions of ethical issues in software ICSE Doctoral Symposium Tom P Humbert Vrije Universiteit Amsterdam
12:00 30m Talk		Advancing Cognitive Inclusivity in Software Engineering Tools and Practices ICSE Doctoral Symposium Faith Culas University of Auckland
12:00 30m Talk		Human-centric Requirements Engineering for Digital Health Software for Aging People ICSE Doctoral Symposium Yuqing Xiao Monash University
12:00 30m Talk		Improving Software Engineering Team Communication Through Stronger Social Networks ICSE Doctoral Symposium April Clarke University of Canterbury
12:00 30m Talk		Decoding the Impostor Phenomenon: Unveiling Factors and Mitigation Strategies for Software Professionals ICSE Doctoral Symposium Paloma Guenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
12:00 30m Talk		Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software Development ICSE Doctoral Symposium David Molamphy University of Limerick

15:00 - 15:30	Session 3: Maintenance (posters)ICSE Doctoral Symposium at 209 Poster Area

15:00 30m Talk		Addressing Recurring Bugs and Workflow Challenges in Quantum Software EngineeringQuantum ICSE Doctoral Symposium Jake Zappin William and Mary
15:00 30m Talk		Distilling Reference Architectures from Open Source Repositories ICSE Doctoral Symposium Thi Dinh Tran Gran Sasso Science Institute
15:00 30m Talk		Towards Quality Assurance of Natural Language in Code ICSE Doctoral Symposium Renyi Zhong The Chinese University of Hong Kong
15:00 30m Talk		Semantic-aware Replicated Data Types for Improved Conflict Resolution in Near-synchronous Code Collaboration ICSE Doctoral Symposium Leon Freudenthaler FH Campus Wien
15:00 30m Talk		Energy efficiency through architectural tactics for self-adaptive Cloud systems ICSE Doctoral Symposium Henrique David de Medeiros Télécom SudParis, Institut Polytechnique de Paris
15:00 30m Talk		Augmenting the Generality and Performance of Large Language Models for Software Engineering ICSE Doctoral Symposium Fabian C. Peña University of Passau

17:00 - 17:30	Session 4: Testing (posters)ICSE Doctoral Symposium at 209 Poster Area

17:00 30m Talk		Automated Repair of Cyber-Physical Systems ICSE Doctoral Symposium Pablo Valle Mondragon University Pre-print
17:00 30m Talk		Automatically Generating Single-Responsibility Unit Tests ICSE Doctoral Symposium Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e Ingenierías, Universidad Católica Boliviana
17:00 30m Talk		Structured State Space Exploration of Dash+ Models ICSE Doctoral Symposium Aditya Shankar Narayanan University of Waterloo
17:00 30m Talk		Intelligent Automation for Accelerating the Repair of Software Build Failures ICSE Doctoral Symposium Gengyi Sun University of Waterloo Pre-print
17:00 30m Talk		Trustworthiness of Large Language Models for Code ICSE Doctoral Symposium Dipin Khati William & Mary

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


Room	10:00						30						11:00						30						12:00						30						13:00						30
209 Poster Area							TechDebt Technical Papers TechDebt Posters																								CHASE Research Track CHASE Poster

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


Room	12:00						30						13:00						30
209 Poster Area							CSEE&T CSEE&T Poster

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
209 Poster Area		ICSE Doctoral Symposium Session 1: Security & Miscellaneous (posters)																							ICSE Doctoral Symposium Session 2: Human aspects (posters)																																				ICSE Doctoral Symposium Session 3: Maintenance (posters)																								ICSE Doctoral Symposium Session 4: Testing (posters)

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


Room	10:00			15			30			45
209 Poster Area							TechDebt Technical Papers ACE: Automated Technical Debt Remediation with Validated Large Language ... 10:30 - 11:00 Experiences with Technical Debt and its Root Causes in a Merged Industr ... 10:30 - 11:00

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


Room	13:00			15			30			45
209 Poster Area	CSEE&T Energy-Efficiency in WordPress Development: A Teaching Approach Using C ... 13:00 - 14:00 Can We Leverage Replication Studies to Instil Ethical Practices in Futu ... 13:00 - 14:00 Navigating Academic Careers in Software Engineering: An Empirical Study ... 13:00 - 14:00 Lessons from a Summer School Integrating AI and Software Development 13:00 - 14:00 Mirror, Mirror on the Wall, Who Is the Smartest of Them All: A Student- ... 13:00 - 14:00 Automatic Assessment of Structural Induction Proofs for Undergraduate C ... 13:00 - 14:00 A Software Engineering Capstone Infrastructure that Encourages Spreadin ... 13:00 - 14:00 An Experiential Introduction to Software Design: Design Thinking Meets ... 13:00 - 14:00 Level Up Peer Review in Education: Investigating genAI-driven Gamificat ... 13:00 - 14:00

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


Room	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
209 Poster Area		ICSE Doctoral Symposium Build and Runtime Integrity for Java 10:05 - 10:30 Interactions with Generative AI: Wearables to Measure Developer Experie ... 10:05 - 10:30 Understanding and Supporting the ML Supply Chain through ML Bill of Mat ... 10:05 - 10:30 A BizDevOps-Aligned Framework for Integrating Security Practices in Agi ... 10:05 - 10:30 Rethinking Software Development Considering Collaboration with AI Assis ... 10:05 - 10:30 Exploring GenAI-Driven Innovation in Game Development 10:05 - 10:30																							ICSE Doctoral Symposium Towards Fully-Traceable Human-Centred Design 12:00 - 12:30 User perceptions of ethical issues in software 12:00 - 12:30 Advancing Cognitive Inclusivity in Software Engineering Tools and Practices 12:00 - 12:30 Human-centric Requirements Engineering for Digital Health Software for ... 12:00 - 12:30 Improving Software Engineering Team Communication Through Stronger Soci ... 12:00 - 12:30 Decoding the Impostor Phenomenon: Unveiling Factors and Mitigation Stra ... 12:00 - 12:30 Customer Validation, Feedback and Collaboration in Large-Scale Continuo ... 12:00 - 12:30																																				ICSE Doctoral SymposiumQuantum Addressing Recurring Bugs and Workflow Challenges in Quantum Software E ... 15:00 - 15:30 Distilling Reference Architectures from Open Source Repositories 15:00 - 15:30 Towards Quality Assurance of Natural Language in Code 15:00 - 15:30 Semantic-aware Replicated Data Types for Improved Conflict Resolution i ... 15:00 - 15:30 Energy efficiency through architectural tactics for self-adaptive Cloud ... 15:00 - 15:30 Augmenting the Generality and Performance of Large Language Models for ... 15:00 - 15:30																								ICSE Doctoral Symposium Automated Repair of Cyber-Physical Systems 17:00 - 17:30 Automatically Generating Single-Responsibility Unit Tests 17:00 - 17:30 Structured State Space Exploration of Dash+ Models 17:00 - 17:30 Intelligent Automation for Accelerating the Repair of Software Build Fa ... 17:00 - 17:30 Trustworthiness of Large Language Models for Code 17:00 - 17:30

Room information: 209 Poster Area

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

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

TechDebt Technical Papers

CHASE Research Track

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

CSEE&T

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

ICSE Doctoral Symposium

ICSE Doctoral Symposium

ICSE Doctoral Symposium

ICSE Doctoral Symposium

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

Tracks

Room information: 209 Poster Area

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

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

TechDebt Technical Papers

CHASE Research Track

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

CSEE&T

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

ICSE Doctoral Symposium

ICSE Doctoral Symposium

ICSE Doctoral Symposium

ICSE Doctoral Symposium

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

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

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

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