Paul He

According to our database, Paul He authored at least 11 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Likelihood as a Performance Gauge for Retrieval-Augmented Generation.

Tianyu Liu, Jirui Qi, Paul He, Arianna Bisazza, Mrinmaya Sachan, Ryan Cotterell

CoRR, 2024

2023

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

Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic

Proc. ACM Program. Lang., January, 2023

Semantics for Noninterference with Interaction Trees (Artifact).

Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic

Dagstuhl Artifacts Ser., 2023

Semantics for Noninterference with Interaction Trees.

Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2021

A type system for extracting functional specifications from memory-safe imperative programs.

Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Stefanescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic

Proc. ACM Program. Lang., 2021

2020

Interaction trees: representing recursive and impure programs in Coq.

Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic

Proc. ACM Program. Lang., 2020

An equational theory for weak bisimulation via generalized parameterized coinduction.

Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress).

Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic

CoRR, 2019

2018

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

Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka

CoRR, 2018

The Satisfiability of Word Equations: Decidable and Undecidable Theories.

Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka

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

2017

A simple soundness proof for dependent object types.

Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták

Proc. ACM Program. Lang., 2017