• Sign in
  • Sign up
conf.researchr.org / Leo Stefanesco
  • ICFP 2019 profile
  • ICFP 2020 profile
  • POPL 2018 profile
  • POPL 2022 profile
  • SPLASH 2020 profile

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

Share
xFri 24 Mar 17:48
using conf.researchr.org (v1.59.1)
Support page
Sign Up