Paul He

11 papers A 1B 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 — conf
Alternative Grading at Scale: Insights from Implementing Weekly Checkpoint Quizzes in a Large Introductory CS Course.
Koli Calling
Sadia Sharmin, Paul He
2025 J jnl
Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq.
J. Funct. Program.
Nicolas Chappe, Paul He, Ludovic Henrio, Eleftherios Ioannidis, Yannick Zakowski, Steve Zdancewic
2023 J jnl
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq.
Proc. ACM Program. Lang.
Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic
2023 J jnl
Semantics for Noninterference with Interaction Trees (Artifact).
Dagstuhl Artifacts Ser.
Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic
2023 A conf
Semantics for Noninterference with Interaction Trees.
ECOOP
Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic
2022 J jnl
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq.
CoRR
Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic
2021 J jnl
A type system for extracting functional specifications from memory-safe imperative programs.
Proc. ACM Program. Lang.
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Stefanescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic
2020 J jnl
An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction.
CoRR
Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic
2020 B conf
An equational theory for weak bisimulation via generalized parameterized coinduction.
CPP
Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic
2020 J jnl
Interaction trees: representing recursive and impure programs in Coq.
Proc. ACM Program. Lang.
Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic
2019 J jnl
Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress).
CoRR
Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic