Lo Stefanesco
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESOP | Constructive characterisations of the MUST-preorder for asynchrony. | Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Lo Stefanesco |
| 2024 | ESOP | Specifying and Verifying Persistent Libraries. | Lo Stefanesco, Azalea Raad, Viktor Vafeiadis |
| 2020 | LICS | Concurrent Separation Logic Meets Template Games. | Paul-Andr Mellis, Lo Stefanesco |
| 2018 | LICS | An Asynchronous Soundness Theorem for Concurrent Separation Logic. | Paul-Andr Mellis, Lo Stefanesco |
| 2015 | CC | Verifying Fast and Sparse SSA-Based Optimizations in Coq. | Delphine Demange, David Pichardie, Lo Stefanesco |
| 2015 | LPAR | Relational Reasoning via Probabilistic Coupling. | Gilles Barthe, Thomas Espitau, Benjamin Grgoire, Justin Hsu, Lo Stefanesco, Pierre-Yves Strub |