Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper). - Eva Darulova; Anastasiia Izycheva; Fariha Nasir; Fabian Ritter 002; Heiko Becker; Robert Bastian (TACAS (1), 2018)

PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization. - Fabian Ritter 002; Sebastian Hack (PLDI, 2020)

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)

AnICA: analyzing inconsistencies in microarchitectural code analyzers. - Fabian Ritter 002; Sebastian Hack (Proc. ACM Program. Lang., 2022)

Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures. - Fabian Ritter 002; Sebastian Hack (ASPLOS (3), 2024)

Inferring and analyzing microarchitectural performance models. - Fabian Ritter 002 (2024)

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