Thibault Suzanne

According to our database, Thibault Suzanne authored at least 4 papers between 2016 and 2022.

Collaborative distances:

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

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