Follow
Thibault Suzanne
Thibault Suzanne
Meta
Verified email at meta.com - Homepage
Title
Cited by
Cited by
Year
Relational thread-modular abstract interpretation under relaxed memory models
T Suzanne, A Miné
Asian Symposium on Programming Languages and Systems, 109-128, 2018
132018
From array domains to abstract interpretation under store-buffer-based memory models
T Suzanne, A Miné
International Static Analysis Symposium, 469-488, 2016
92016
InfERL: scalable and extensible Erlang static analysis
Á Hajdu, M Marescotti, T Suzanne, K Mao, R Grigore, P Gustafsson, ...
Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang, 33-39, 2022
22022
Vérification par interprétation abstraite en mémoire faiblement cohérente
T Suzanne
Université Paris sciences et lettres, 2019
22019
Analyse statique par interprétation abstraite de programmes concurrents dans le modèle de mémoire faible TSO
T Suzanne
2014
The system can't perform the operation now. Try again later.
Articles 1–5