Harrison Grodin

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Higher Order Logic

Automatic Analysis

Logical Framework

Top Venues

Proc. ACM Program. Lang.

Publications

Harrison Grodin, Yue Niu, Jonathan Sterling, Robert Harper
Decalf: A Directed, Effectful Cost-Aware Logical Framework. Proc. ACM Program. Lang. 8 (POPL) (2024)
Harrison Grodin, Robert Harper
Amortized Analysis via Coalgebra. CoRR (2024)
Harrison Grodin, Robert Harper
Amortized Analysis via Coinduction. CoRR (2023)
Harrison Grodin, Robert Harper
Amortized Analysis via Coinduction (Early Ideas). CALCO (2023)
Harrison Grodin, Robert Harper, Yue Niu, Jonathan Sterling
Decalf: A Directed, Effectful Cost-Aware Logical Framework. CoRR (2023)
Runming Li, Harrison Grodin, Robert Harper
A Verified Cost Analysis of Joinable Red-Black Trees. CoRR (2023)
Yue Niu, Jonathan Sterling, Harrison Grodin, Robert Harper
A cost-aware logical framework. Proc. ACM Program. Lang. 6 (POPL) (2022)
Yue Niu, Jonathan Sterling, Harrison Grodin, Robert Harper
A cost-aware logical framework. CoRR (2021)