From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models. - Thibault Suzanne; Antoine Miné (SAS, 2016)

Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models. - Thibault Suzanne; Antoine Miné (APLAS, 2018)

Vérification par interprétation abstraite en mémoire faiblement cohérente. (Verification by abstract interpretation under weakly consistent memory). - Thibault Suzanne (2019)

InfERL: scalable and extensible Erlang static analysis. - Ákos Hajdu; Matteo Marescotti; Thibault Suzanne; Ke Mao; Radu Grigore; Per Gustafsson; Dino Distefano (Erlang Workshop, 2022)

PrivacyCAT: Privacy-Aware Code Analysis at Scale. - Ke Mao; Cons Åhs; Sopot Cela; Dino Distefano; Nick Gardner; Radu Grigore; Per Gustafsson; Ákos Hajdu; Timotej Kapus; Matteo Marescotti; Gabriela Cunha Sampaio; Thibault Suzanne (ICSE-SEIP, 2024)

Enhancing Compositional Static Analysis with Dynamic Analysis. - Dino Distefano; Matteo Marescotti; Cons Åhs; Sopot Cela; Gabriela Cunha Sampaio; Radu Grigore; Ákos Hajdu; Timotej Kapus; Ke Mao; Thibault Suzanne (ASE, 2024)