Gurvan Cabon

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Information Retrieval

Computational Models

Top Venues

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Gurvan Cabon, Alan Schmitt
Annotated Multisemantics To Prove Non-Interference Analyses. PLAS@CCS (2017)
Gurvan Cabon, David Cachera, David Pichardie
An Extended Buffered Memory Model With Full Reorderings. FTfJP@ECOOP (2016)