research
∙
04/26/2023
Automatic Amortized Resource Analysis with Regular Recursive Types
The goal of automatic resource bound analysis is to statically infer sym...
share
research
∙
06/26/2021
Automatic Amortized Resource Analysis with the Quantum Physicist's Method
We present a novel method for working with the physicist's method of amo...
research
∙
06/24/2020
Raising Expectations: Automating Expected Cost Analysis with Types
This article presents a type-based analysis for deriving upper bounds on...
research
∙
02/21/2020
Exponential Automatic Amortized Resource Analysis
Automatic amortized resource analysis (AARA) is a type-based technique f...
research
∙
02/21/2020
Exponential Amortized Resource Analysis
Automatic amortized resource analysis (AARA) is a type-based technique f...
research
∙
04/17/2019