• Sign in
  • Sign up
conf.researchr.org / Leo Stefanesco
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2023 profile
  • POPL 2018 profile
  • POPL 2022 profile
  • POPL 2024 profile
  • POPL 2026 profile
  • SPLASH 2020 profile
No Photo

Registered user since Fri 3 Nov 2017

Name:Leo Stefanesco
Country:United Kingdom
Affiliation:University of Cambridge
Personal website: https://stefanesco.com
GitHub: https://github.com/ineol
Research interests:Software verification, program logics

Contributions

2026

POPL

  • Committee Member in Program Committee within the POPL-track

2024

POPL

  • Author of Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement within the POPL-track

2023

ICFP

  • Committee Member in Program Committee within the Student Research Competition-track

2022

POPL

  • Author of Layered and Object-Based Game Semantics within the POPL-track

2020

SPLASH

  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

ICFP

  • 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

2019

ICFP

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2018

POPL

  • 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 23 May 13:11
using conf.researchr.org (v1.69.0)
Support page
Sign Up