An Extended Buffered Memory Model With Full Reorderings. - Gurvan Cabon; David Cachera; David Pichardie (FTfJP@ECOOP, 2016)

Annotated Multisemantics To Prove Non-Interference Analyses. - Gurvan Cabon; Alan Schmitt (PLAS@CCS, 2017)

Non Local Analyses Certification With an Annotated Semantics. (Certification d'Analyses Non Locales avec une Sémantique Annotée). - Gurvan Cabon (2018)