The paper “Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops” by Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Kaminski (Saarland Univ.), Joost-Pieter Katoen, Lutz Klinkenberg and Tobias Winkler received the Distinguished Artefact Award at ETAPS 2026 in Turin.