research
∙
09/20/2023
A Verified Cost Analysis of Joinable Red-Black Trees
Ordered sequences of data, specified with a join operation to combine se...
share
research
∙
07/12/2023
Decalf: A Directed, Effectful Cost-Aware Logical Framework
We present decalf, a directed, effectful cost-aware logical framework fo...
research
∙
03/28/2023
Amortized Analysis via Coinduction
Amortized analysis is a program cost analysis technique for data structu...
research
∙
07/09/2021