Program
- 08:30 – 09:00 – Registration
- 09:00 – 09:30 – Townhall meeting
- 09:30 – 10:30 – Keynote: Assuring Product Lines of Complex Systems – Marsha Chechik
- 10:30 – 11:00 – Coffee break
- 11:00 – 12:30 – SPLC Session 4 – Sampling and Formal Techniques. (Chair: Francisca Perez)
- Investigating the Effects of T-Wise Interaction Sampling for Vulnerability Discovery in Highly-Configurable Software Systems. Tim Bächle, Erik Hofmayer, Christoph König, Tobias Pett and Ina Schaefer. Research Track – Regular
- Improving Deterministic BDD Compilation with Counting-Free Computation of Atomic Sets. Tobias Heß and Aaron Molt. Challenge Solutions Track – Short
- Exploring the Computational Complexity of Uniform Random Sampling and SAT Counting with Phase Transitions. Olivier Zeyen, Maxime Cordy, Gilles Perrouin and Mathieu Acher. Research Track – Regular
- Speed Things Up: Leveraging GPU Processing Capabilities for Faster Sampling of Software Product Lines. Lennard Hettich, Johannes Stümpfle, Nasser Jazdi and Michael Weyrich. Research Track – Regular
- Pick Me: Judging Sample Quality with Binary Decision Diagrams. Tobias Heß, Aaron Molt, Sabrina Böhm, Sebastian Krieter and Thomas Thüm. Research Track – Regular
- 12:30 – 14:00 – Lunch Break
- 14:00 – 15:30 – SPLC Session 5 – Machine Learning and LLMs. (Chair: Sophie Fortz)
- Automated Learning of Software Configuration Spaces is not Easy. Mathis Weiß, Robert Müller, Lukas Güthing, Tobias Vente, Lukas Wegmeth, Ina Schaefer and Malte Lochau. Research Track – Regular
- Configuration bugs classification using LLMs and encoders. Noelia Lopez-Duran, David Romero Organvídez, Fermín Cruz and David Benavides. Research Track – Regular
- LLM-based Co-Evolution of Configurable Software Systems. Nada Zine, Clément Quinton and Romain Rouvoy. Research Track – Regular
- Performance Prediction of Cyber-Physical Systems Product Lines in Dynamic Environments. Marco Wijaya, Sami Lazreg, Tagir Fabarisov, Andreas Hein and Maxime Cordy. Research Track – Short”
- Understanding Product Line Runtime Performance with Behaviour Models and Regression Model Trees. Birte Friesel and Olaf Spinczyk. Research Track – Short
- 15:30 – 16:00 – Coffee break – Includes demonstrations of tools
- 16:00 – 16:30 – Hall of fame
- 17:30 – 21:30 – Guided tour around the city of Santiago de Compostela
- 21:30 – 23:30 – Gala dinner at Pazo de Vilaboa
Logistics
- The afternoon coffee break will feature demonstrations of some of the tools as well as one of the challenge solutions. Don’t miss it!
- Registration: will take place on the third floor of the Faculty of Computer Science [Google Maps], next to room 3.4. Registration will open at 8:30 AM. Please note that the building will remain closed before this time, as it does not open earlier.
- Conference sessions: will be held in room 3.3, which is equipped with electricity for the participants and Internet connectivity (eduroam). A dedicated Wi-Fi network for the event is also available for those who do not have eduroam.
- SSID: ConferenciaSPLC2025
- Proceedings:
- Both volumes of the proceedings have been published:
- Coworking space: Room 3.0 will be available as a coworking space during the conference.
- Coffee breaks: They will take place in the third floor close to the registry and the session room.
- Lunch break: It will take place in the Cafeteria (first floor) with table service. Green cards will be provided to participants with special dietary needs to ensure they can be identified easily.
- Bus transportation:
- A bus will depart from the Juan Flórez 10 bus stop [Google Maps] at 8:15 AM, with a stop at the Attica21 Coruña Hotel [Google Maps] around 8:25 AM, before heading to the Faculty. The bus will not stop in front of the AC Hotel because there is usually no space for it, and the bus driver does not want to create traffic chaos. If you are staying at the AC Hotel, you will have to go to the Attica21 Hotel which is just at the back of the AC Hotel.
- A bus will depart from the Faculty of Computer Science at 16:30, stopping at Attica21 Coruña Hotel, and the Juan Flórez 10 bus stop [Google Maps].
- A bus will depart from the Faculty of Computer Science at 17:30, stopping at Attica21 Coruña Hotel, then at the Juan Flórez 10 bus stop [Google Maps], and then it will go to Santiago de Compostela.
- We will take the bus back from Santiago de Compostela at 20:30 and we will go to Pazo de Vilaboa [Google Maps].
- After dinner (approx. 23:30), we will take the bus back to the hotels.
- Social event:
- The Guided tour around the city of Santiago de Compostela will also include some free time to walk around the city or to visit the Cathedral.