FSE 2025
Mon 23 - Fri 27 June 2025 Trondheim, Norway
Wed 25 Jun 2025 14:00 - 15:30 at Andromeda - Lightning Talks and Poster Session Chair(s): Jie M. Zhang

Cyber-Physical systems (CPS) are tools used by humans enhancing the way they perform task. CPS make tasks more efficient, more precise and safer. Those systems are omnipresent in human lives, would it be in cars with Advanced Driver Assistance Systems (ADAS), in Unmanned Aerial Vehicles (UAV) for self balancing, in smart cities for traffic optimisation or even in medical devices. CPS have the ability to read information from the real world, process it and also affect the real world back, taking into account constraints such as real-time processing. Furthermore, the safety and security of the software controlling the CPS are directly linked with the safety and the security of human bystanders. To ensure such requirements, the European Union (EU) has a process to assess the conformity of specific products exchanged within the EU. Recently, Regulations and Directives such as the Cyber Resilience Act (CRA) puts stress on European actors to provide compliant software products. Such requirements on software started with the Medical Device Regulation (MDR) in 2017. However, technical requirements are not easy to understand from legal texts and certification processes rely solely on documentation from manufacturers. Thus, the EU has difficulty in monitoring and opening the European market to products deemed compliant and manufacturers have difficulties understanding what is technically required of them when introducing products. This thesis aims at providing a way for common understanding between both parties.

Wed 25 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Lightning Talks and Poster SessionDoctoral Symposium at Andromeda
Chair(s): Jie M. Zhang King's College London
14:00
90m
Doctoral symposium paper
Towards Privacy-Preserving Code Generation: Understanding and Mitigating Memorization in Code Large Language Models
Doctoral Symposium
Melih Catal University of Zurich
14:00
90m
Doctoral symposium paper
Reversing Programs for Error Reachability Analysis
Doctoral Symposium
Adéla Štěpková Masaryk University
14:00
90m
Doctoral symposium paper
Automated Vulnerability-Focused Code Reviews
Doctoral Symposium
Leonardo Centellas Computer Science Department, Pontificia Universidad Catolica de Chile
14:00
90m
Doctoral symposium paper
On the Brittleness of Legacy Web UI Testing: A Pragmatic Perspective
Doctoral Symposium
Haonan Zhang University of Waterloo
14:00
90m
Doctoral symposium paper
Co-Intelligence in Software Engineering: Understanding and Optimizing GenAI Integration in Software Engineering for Skill Development in Time-Constrained Programming
Doctoral Symposium
Omkar Joshi Indian Institute of Technology Bombay
14:00
90m
Doctoral symposium paper
Investigating the Role of Formal Verification in Software Development: From Automatic Specification Generation to Usability of Verification Languages
Doctoral Symposium
Tina Masoudi PhD student
14:00
90m
Doctoral symposium paper
Enhancing Large Language Model Integration in Integrated Development Environments
Doctoral Symposium
Daniele Cipollone Delft University of Technology, Netherlands
14:00
90m
Doctoral symposium paper
Towards More Interpretable Large Language Models for Code
Doctoral Symposium
14:00
90m
Doctoral symposium paper
Formal Liability Apportionment in Autonomous Systems
Doctoral Symposium
Kaveh Aryan King's College London
14:00
90m
Doctoral symposium paper
Fine-Grained Developer Reification
Doctoral Symposium
Stefano Campanella REVEAL @ Software Institute - USI, Lugano, Switzerland
14:00
90m
Doctoral symposium paper
End-to-End Testing Gamification: A Novel Approach to the Verification and Validation of Web and Mobile Applications
Doctoral Symposium
Lorenzo Laudadio Politecnico di Torino
14:00
90m
Doctoral symposium paper
Research Open-Source Software: supporting small communities with technical and social aspects
Doctoral Symposium
Lavinia Francesca Paganini Eindhoven University of Technology
14:00
90m
Doctoral symposium paper
Generating Code Tours Using Locally-Runnable LLMs
Doctoral Symposium
Martin Balfroid University of Namur
14:00
90m
Doctoral symposium paper
When Performance Failure Occurs in Low-Latency Storage Systems: Observation, Prediction, and Solutions
Doctoral Symposium
Linxiao Bai National University of Defense Technology
14:00
90m
Doctoral symposium paper
Mediating between Human Programmers and Integrated Development Environments using LLM-based Agents
Doctoral Symposium
Ziyou Li Delft University of Technology
14:00
90m
Doctoral symposium paper
Automating the conformity assessment of Cyber-Physical Systems software
Doctoral Symposium
Guillaume Nguyen University of Namur
14:00
90m
Doctoral symposium paper
Securing Language Models Against Vulnerability Encoding
Doctoral Symposium
Rui Melo University of Porto
Link to publication

Information for Participants
Wed 25 Jun 2025 14:00 - 15:30 at Andromeda - Lightning Talks and Poster Session Chair(s): Jie M. Zhang
Info for room Andromeda:

Andromeda is located close to the restaurant and the bar, at the end of the corridor on the side of the bar.

From the registration desk, go towards the restaurant, turn left towards the bar, walk until the end of the corridor.