Léo Stefanesco

According to our database, Léo Stefanesco authored at least 13 papers between 2015 and 2024.

Collaborative distances:

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

2024

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement.

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal

Proc. ACM Program. Lang., January, 2024

Specifying and Verifying Persistent Libraries.

Léo Stefanesco, Azalea Raad, Viktor Vafeiadis

Proceedings of the Programming Languages and Systems, 2024

2022

Layered and object-based game semantics.

Arthur Oliveira Vale, Paul-André Melliès, Zhong Shao, Jérémie Koenig, Léo Stefanesco

Proc. ACM Program. Lang., 2022

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

PhD thesis, 2021

Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic.

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Léon Gondelman, Abel Nieto, Lars Birkedal

CoRR, 2021

2020

Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris.

Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, Robbert Krebbers

Proc. ACM Program. Lang., 2020

Game Semantics: Easy as Pi.

Nobuko Yoshida, Simon Castellan, Léo Stefanesco

CoRR, 2020

Concurrent Separation Logic Meets Template Games.

Paul-André Melliès, Léo Stefanesco

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2018

A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST.

Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen, Lars Birkedal

Proc. ACM Program. Lang., 2018

A Game Semantics of Concurrent Separation Logic.

Paul-André Melliès, Léo Stefanesco

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

An Asynchronous Soundness Theorem for Concurrent Separation Logic.

Paul-André Melliès, Léo Stefanesco

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2015

Relational Reasoning via Probabilistic Coupling.

Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Verifying Fast and Sparse SSA-Based Optimizations in Coq.

Delphine Demange, David Pichardie, Léo Stefanesco

Proceedings of the Compiler Construction - 24th International Conference, 2015