Léo Stefanesco

22 papers A* 2B 3Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Certified Decision Procedures for Width-Independent Bitvector Predicates.
Proc. ACM Program. Lang.
Siddharth Bhat, Léo Stefanesco, Chris Hughes, Tobias Grosser
2025 — conf
Constructive characterisations of the MUST-preorder for asynchrony.
ESOP (1)
Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Léo Stefanesco
2025 J jnl
Constructive characterisations of the must-preorder for asynchrony.
CoRR
Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Léo Stefanesco
2025 J jnl
Interactive Bitvector Reasoning using Verified Bit-Blasting.
Proc. ACM Program. Lang.
Henrik Böving, Siddharth Bhat, Luisa Cicolini, Alex C. Keizer, Léon Frénot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark W. Barrett, Tobias Grosser
2024 — conf
Specifying and Verifying Persistent Libraries.
ESOP (2)
Léo Stefanesco, Azalea Raad, Viktor Vafeiadis
2024 J jnl
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement.
Proc. ACM Program. Lang.
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal
2023 J jnl
Specifying and Verifying Persistent Libraries.
CoRR
Léo Stefanesco, Azalea Raad, Viktor Vafeiadis
2022 J jnl
Layered and object-based game semantics.
Proc. ACM Program. Lang.
Arthur Oliveira Vale, Paul-André Melliès, Zhong Shao, Jérémie Koenig, Léo Stefanesco
2021 — —
Asynchronous and Relational Soundness Theorems for Concurrent Separation Logic. (Théorèmes de correction asynchrone et relationnelle de la logique de séparation concurrente).
Léo Stefanesco
2021 J jnl
Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic.
CoRR
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Léon Gondelman, Abel Nieto, Lars Birkedal
2020 A* conf
Concurrent Separation Logic Meets Template Games.
LICS
Paul-André Melliès, Léo Stefanesco
2020 J jnl
Concurrent Separation Logic Meets Template Games.
CoRR
Paul-André Melliès, Léo Stefanesco
2020 J jnl
Game Semantics: Easy as Pi.
CoRR
Nobuko Yoshida, Simon Castellan, Léo Stefanesco
2020 J jnl
Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris.
Proc. ACM Program. Lang.
Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, Robbert Krebbers
2018 B conf
A Game Semantics of Concurrent Separation Logic.
MFPS
Paul-André Melliès, Léo Stefanesco
2018 J jnl
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST.
Proc. ACM Program. Lang.
Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen, Lars Birkedal
2018 A* conf
An Asynchronous Soundness Theorem for Concurrent Separation Logic.
LICS
Paul-André Melliès, Léo Stefanesco
2018 J jnl
An Asynchronous soundness theorem for concurrent separation logic.
CoRR
Paul-André Melliès, Léo Stefanesco
2017 J jnl
A Game Semantics of Concurrent Separation Logic.
CoRR
Paul-André Melliès, Léo Stefanesco
2015 B conf
Relational Reasoning via Probabilistic Coupling.
LPAR
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub
2015 J jnl
Relational reasoning via probabilistic coupling.
CoRR
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub
2015 B conf
Verifying Fast and Sparse SSA-Based Optimizations in Coq.
CC
Delphine Demange, David Pichardie, Léo Stefanesco