conf.researchr.org / Paul He
Paul He

Registered user since Wed 23 Aug 2017

Name:Paul He
Bio:

I am a PhD student at the University of Pennsylvania.

Country:United States
Affiliation:University of Pennsylvania
Personal website:https://paulhe.com/
Research interests:Programming languages

Contributions

POPL 2023 Author of Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq within the POPL-track
POPL 2022 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2021 Author of A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs within the OOPSLA-track
SPLASH 2020 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
CPP 2020 Author of An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction within the CPP 2020-track
POPL 2020 Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track
SPLASH 2017 Author of A Simple Soundness Proof for Dependent Object Types within the OOPSLA-track