2 papers
cs.PL2025
Efficient Cost Bounds with Linear Maps
David M Kahn, Jan Hoffmann, Thomas Reps +1
The Automatic Amortized Resource Analysis (AARA) derives program-execution cost bounds using types. To do so, AARA often makes use of cost-free types, which are critical for the co…
cs.PL2023
Automatic Amortized Resource Analysis with Regular Recursive Types
Jessie Grosen, David M. Kahn, Jan Hoffmann
The goal of automatic resource bound analysis is to statically infer symbolic bounds on the resource consumption of the evaluation of a program. A longstanding challenge for automa…