Gurvan Cabon

According to our database, Gurvan Cabon authored at least 3 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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

Gurvan Cabon

PhD thesis, 2018

2017

Annotated Multisemantics To Prove Non-Interference Analyses.

Gurvan Cabon, Alan Schmitt

Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, 2017

2016

An Extended Buffered Memory Model With Full Reorderings.

Gurvan Cabon, David Cachera, David Pichardie

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016