Magma: A Ground-Truth Fuzzing Benchmark. - Ahmad Hazimeh; Adrian Herrera; Mathias Payer (Proc. ACM Meas. Anal. Comput. Syst., 2020)

Igor: Crash Deduplication Through Root-Cause Clustering. - Zhiyuan Jiang; Xiyue Jiang; Ahmad Hazimeh; Chaojing Tang; Chao Zhang 008; Mathias Payer (CCS, 2021)

Tango: Extracting Higher-Order Feedback through State Inference. - Ahmad Hazimeh; Duo Xu; Qiang Liu 034; Yan Wang; Mathias Payer (RAID, 2024)