Thibault Suzanne

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 4

Top Topics

Abstract Interpretation

Test Generation

Top Venues

Erlang Workshop

Publications

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
PrivacyCAT: Privacy-Aware Code Analysis at Scale. ICSE-SEIP (2024)
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano
InfERL: scalable and extensible Erlang static analysis. Erlang Workshop (2022)
Thibault Suzanne, Antoine Miné
Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models. APLAS (2018)
Thibault Suzanne, Antoine Miné
From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models. SAS (2016)