2025-01-312025-01-312025-01-31https://infoscience.epfl.ch/handle/20.500.14299/24617632nd European Symposium on Programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS)