Paul He - RankMe

11 papers A 1B 1Journal 8Unranked 1

Year	Rank	Type	Title / 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

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski