Leo Stefanesco -

Registered user since Fri 3 Nov 2017

Name:Leo Stefanesco

Country:France

Affiliation:IRIF, University Paris Diderot & CNRS

Personal website:https://stefanesco.com

Contributions

POPL 2022	Author of Layered and Object-Based Game Semantics within the POPL-track
SPLASH 2020	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ICFP 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track Author of Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris within the ICFP Program-track
ICFP 2019	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2018	Author of A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST within the Research Papers-track Author of A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST within the Artifact Evaluation-track