Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

6 résultats
Page :
triés par
Image document

Concurrent Game Semantics: Easy as Pi

 Simon Castellan , Léo Stefanesco , Nobuko Yoshida
[Research Report] Inria. 2020
Rapport hal-03128187v1

Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic

 Amin Timany , Simon Oddershede Gregersen , Léo Stefanesco , Léon Gondelman , Abel Nieto , et al.
2022
Pré-publication, Document de travail hal-03526284v1
Image document

An Asynchronous Soundness Theorem for Concurrent Separation Logic

 Paul-André Melliès , Léo Stefanesco
Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), Jul 2018, Oxford, United Kingdom
Communication dans un congrès hal-02436304v1
Image document

Concurrent Separation Logic Meets Template Games

 Paul-André Melliès , Léo Stefanesco
Proceedings of the Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), Jul 2020, Saarland, Germany
Communication dans un congrès hal-03103163v1

Verifying Fast and Sparse SSA-based Optimizations in Coq.

 Delphine Demange , David Pichardie , Léo Stefanesco
24th International Conference on Compiler Construction, CC 2015, 2015, London, United Kingdom
Communication dans un congrès hal-01110779v1
Image document

Relational Reasoning via Probabilistic Coupling

 Gilles Barthe , Thomas Espitau , Benjamin Grégoire , Justin Hsu , Léo Stefanesco , et al.
LPAR, 2015, Suva, France. pp.387 - 401, ⟨10.1007/978-3-662-48899-7_27⟩
Communication dans un congrès hal-01246719v2
Page :