Concepedia

Paul He

PH

2

Publications

143

Citations

2

H-Index

2019

Active since

Affiliations

California University of Pennsylvania(Current)

Paul He is an author at California University of Pennsylvania specializing in program analysis, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationCompilersReasoningVerificationSoftware Analysis

Publications per year

2019–2023

2

Publications

2

Interaction trees: representing recursive and impure programs in Coq

Li-yao Xia, Yannick Zakowski, Paul He et al. · Proceedings of the ACM on Programming Languages · 2019 · 123 citations · Full text

Engineering, Verification, Software Analysis +16

Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq

Nicolas Chappe, Paul He, Ludovic Henrio et al. · Proceedings of the ACM on Programming Languages · 2023 · 20 citations · Full text

Engineering, Computational Model Theory, Computational Complexity +16

Rows per page

1–2 of 2