2 citations · 5 across the 6 of their papers we have counts for
6 papers · 1 filter
Probabilistic Resource-Aware Session Types
Ankush Das, Di Wang, Jan Hoffmann
Session types guarantee that message-passing processes adhere to predefined communication protocols. Prior work on session types has focused on deterministic languages but many mes…
Typable Fragments of Polynomial Automatic Amortized Resource Analysis
Long Pham, Jan Hoffmann
Being a fully automated technique for resource analysis, automatic amortized resource analysis (AARA) can fail in returning worst-case cost bounds of programs, fundamentally due to…
Liquid Resource Types
Tristan Knoth, Di Wang, Adam Reynolds +2
This article presents liquid resource types, a technique for automatically verifying the resource consumption of functional programs. Existing resource analysis techniques trade au…
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…
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…
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
Di Wang, Jan Hoffmann, Thomas Reps
For probabilistic programs, it is usually not possible to automatically derive exact information about their properties, such as the distribution of states at a given program point…