23 citations · 24 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
Raising Expectations: Automating Expected Cost Analysis with Types
Di Wang, David M Kahn, Jan Hoffmann
This article presents a type-based analysis for deriving upper bounds on the expected execution cost of probabilistic programs. The analysis is naturally compositional, parametric…
cs.PL2020
Exponential Automatic Amortized Resource Analysis
David M Kahn, Jan Hoffmann
Automatic amortized resource analysis (AARA) is a type-based technique for inferring concrete (non-asymptotic) bounds on a program's resource usage. Existing work on AARA has focus…