Thibault Suzanne

According to our database, Thibault Suzanne authored at least 5 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

2022

InfERL: scalable and extensible Erlang static analysis.

Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano

Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022

2019

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

Thibault Suzanne

PhD thesis, 2019

2018

Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models.

Thibault Suzanne, Antoine Miné

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2016

From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models.

Thibault Suzanne, Antoine Miné

Proceedings of the Static Analysis - 23rd International Symposium, 2016