conf.researchr.org / Leo Stefanesco
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
2020
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