Thibault Suzanne

Orcid: 0009-0003-2517-0057

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
PrivacyCAT: Privacy-Aware Code Analysis at Scale.
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

2022
InfERL: scalable and extensible Erlang static analysis.
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).
PhD thesis, 2019

2018
Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models.
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2016
From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models.
Proceedings of the Static Analysis - 23rd International Symposium, 2016


  Loading...