Thibault Suzanne
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | PrivacyCAT: Privacy-Aware Code Analysis at Scale. | Ke Mao, Cons T. hs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, kos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne |
| 2018 | APLAS | Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models. | Thibault Suzanne, Antoine Min |
| 2016 | SAS | From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models. | Thibault Suzanne, Antoine Min |