Léo Stefanesco

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 14

Top Topics

Logic Programming

Winning Strategy

Fixed Point Semantics

Probabilistic Relational

Top Venues

Proc. ACM Program. Lang.

Publications

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. Proc. ACM Program. Lang. 8 (POPL) (2024)
Léo Stefanesco, Azalea Raad, Viktor Vafeiadis
Specifying and Verifying Persistent Libraries. ESOP (2) (2024)
Léo Stefanesco, Azalea Raad, Viktor Vafeiadis
Specifying and Verifying Persistent Libraries. CoRR (2023)
Arthur Oliveira Vale, Paul-André Melliès, Zhong Shao, Jérémie Koenig, Léo Stefanesco
Layered and object-based game semantics. Proc. ACM Program. Lang. 6 (POPL) (2022)
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Léon Gondelman, Abel Nieto, Lars Birkedal
Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic. CoRR (2021)
Paul-André Melliès, Léo Stefanesco
Concurrent Separation Logic Meets Template Games. CoRR (2020)
Paul-André Melliès, Léo Stefanesco
Concurrent Separation Logic Meets Template Games. LICS (2020)
Nobuko Yoshida, Simon Castellan, Léo Stefanesco
Game Semantics: Easy as Pi. CoRR (2020)
Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, Robbert Krebbers
Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen, Lars Birkedal
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST. Proc. ACM Program. Lang. 2 (POPL) (2018)
Paul-André Melliès, Léo Stefanesco
An Asynchronous Soundness Theorem for Concurrent Separation Logic. LICS (2018)
Paul-André Melliès, Léo Stefanesco
An Asynchronous soundness theorem for concurrent separation logic. CoRR (2018)
Paul-André Melliès, Léo Stefanesco
A Game Semantics of Concurrent Separation Logic. MFPS (2018)
Paul-André Melliès, Léo Stefanesco
A Game Semantics of Concurrent Separation Logic. CoRR (2017)
Delphine Demange, David Pichardie, Léo Stefanesco
Verifying Fast and Sparse SSA-Based Optimizations in Coq. CC (2015)
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub
Relational Reasoning via Probabilistic Coupling. LPAR (2015)
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub
Relational reasoning via probabilistic coupling. CoRR (2015)