SUZANNE Thibault
2016-2019 Publications
-
2019
- Th. Suzanne : “Vérification par interprétation abstraite en mémoire faiblement cohérente”, thesis, defence 02/26/2019, supervision Miné, Antoine (2019)
-
2018
- Th. Suzanne, A. Miné : “Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models”, Programming Languages and Systems, vol. 11275, Lecture Notes in Computer Science, Wellington, New Zealand, pp. 109-128 (2018)
-
2016
- Th. Suzanne, A. Miné : “From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models”, Static Analysis, 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings, vol. 9837, Lecture Notes in Computer Science, Edinburgh, United Kingdom, pp. 469-488, (Springer) (2016)