SUZANNE Thibault

Team : APR
Invited by : Antoine MINÉ
Arrival date : 01/01/2019
Departure date : 03/31/2019

2016-2019 Publications

All Conference papers Thesis

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, 23^rd 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)