outing • conference • publication • presentation • defense CritLab at ETAPS 2025 3 min read · May 08, 2025 2025 · conference, presentation < 1 2 >