Paul He

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2026

Foundations of Global Consistency Checking with Noisy LLM Oracles.

[DOI]

CoRR, January, 2026

2018

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

[DOI]

CoRR, 2018

The Satisfiability of Word Equations: Decidable and Undecidable Theories.

[DOI]

Proceedings of the Reachability Problems - 12th International Conference, 2018

2017

A simple soundness proof for dependent object types.

[DOI]

Proc. ACM Program. Lang., 2017