Static Analysis of mixed-granularity Locking Schemes using Abstract Interpretation
04.02.2026 Video Game Programming in Rust: 1.5 years of important Lessons
01.09.2025 On Pitfalls in Software Development Culture and Project Management
04.03.2025 Solving Parity Games: The McNaughton-Zielonka Algorithm
01.12.2024