PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations. - Tina Jung; Fabian Ritter 002; Sebastian Hack (ACM Trans. Archit. Code Optim., 2021)

Memory Safety Instrumentations in Practice: Usability, Performance, and Security Guarantees. - Tina Jung; Fabian Ritter 002; Sebastian Hack (CGO, 2025)