Safe Coding. - Kern, Christoph (ACM Queue, 2025)