L\'eo Stefanesco

Identifiers

• name variant L\'eo Stefanesco 0.60 · backfill

Papers (3)

1. An Asynchronous soundness theorem for concurrent separation logic cs.PL · 2018 · author #2
2. A Game Semantics of Concurrent Separation Logic cs.LO · 2017 · author #2
3. Relational reasoning via probabilistic coupling cs.LO · 2015 · author #5

Mentions

• 1509.03476 #5 · backfill · confidence 0.70 L\'eo Stefanesco

Frequent Coauthors

• Paul-Andr\'e Melli\`es 2 shared papers
• Benjamin Gr\'egoire 1 shared papers
• Gilles Barthe 1 shared papers
• Justin Hsu 1 shared papers
• Pierre-Yves Strub 1 shared papers
• Thomas Espitau 1 shared papers