Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Paul He
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
POPL 2020 profile
POPL 2022 profile
POPL 2023 profile
SPLASH 2017 profile
SPLASH 2020 profile
SPLASH 2021 profile
Registered user since Wed 23 Aug 2017
Name:
Paul He
Country:
Canada
Affiliation:
University of Toronto
Personal website:
https://paulhe.com/
Contributions
2023
ECOOP
Author of Semantics for Noninterference with Interaction Trees within the Research Papers-track
POPL
Author of Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq within the POPL-track
2022
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2021
SPLASH
Author of A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs within the OOPSLA-track
2020
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
CPP
Author of An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction within the CPP 2020-track
POPL
Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track
2017
SPLASH
Author of A Simple Soundness Proof for Dependent Object Types within the OOPSLA-track
Share
x
Sun 22 Dec 04:26
