Paul He

An equational theory for weak bisimulation via generalized parameterized coinduction

Chung-Kil Hur, Steve Zdancewic, Yannick Zakowski, 2020, CPP.

Library presented in the paper

Chung-Kil Hur, Benjamin C. Pierce, Gregory Malecha, 2019 .

The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability pdf

Florin Manea, Dirk Nowotka, Joel D. Day, 2018, ArXiv.

The Satisfiability of Word Equations: Decidable and Undecidable Theories

Florin Manea, Dirk Nowotka, Joel D. Day, 2018, RP.

Interaction trees: representing recursive and impure programs in Coq

Chung-Kil Hur, Benjamin C. Pierce, Gregory Malecha, 2020, Proc. ACM Program. Lang..

A simple soundness proof for dependent object types

Ondrej Lhoták, Ifaz Kabir, Paul He, 2017, Proc. ACM Program. Lang..