Concepedia

Léo Stefanesco

LS

4

Publications

88

Citations

4

H-Index

2017

Active since

Affiliations

Aarhus University(Current)

Université Paris Cité

Centre National de la Recherche Scientifique

KU Leuven

Léo Stefanesco is an author at Aarhus University specializing in formal verification, automated reasoning, and engineering.

ORCID

Top concepts

Publications per year

2017–2024

4

Publications

4

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

Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen et al. · Proceedings of the ACM on Programming Languages · 2017 · 50 citations · Full text

, , +19

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

Paolo G. Giarrusso, Léo Stefanesco, Amin Timany et al. · Proceedings of the ACM on Programming Languages · 2020 · 15 citations · Full text

, , +21

A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST

Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen et al. · Symposium on Principles of Programming Languages · 2018 · 13 citations

, , +19

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

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco et al. · Proceedings of the ACM on Programming Languages · 2024 · 10 citations · Full text

Rows per page

1–4 of 4