11 citations · 13 across the 5 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.PL2023
A Verified Cost Analysis of Joinable Red-Black Trees
Runming Li, Harrison Grodin, Robert Harper
Ordered sequences of data, specified with a join operation to combine sequences, serve as a foundation for the implementation of parallel functional algorithms. This abstract data…
cs.PL2023★ 11 cited
Decalf: A Directed, Effectful Cost-Aware Logical Framework
Harrison Grodin, Yue Niu, Jonathan Sterling +1
We present Decalf, a directed, effectful cost-aware logical framework for studying quantitative aspects of functional programs with effects. Like Calf, the language is based on an…
cs.PL2023
Amortized Analysis via Coinduction
Harrison Grodin, Robert Harper
Amortized analysis is a program cost analysis technique for data structures in which the cost of operations is specified in aggregate, under the assumption of continued sequential…