activity
20172021
most citedExpected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems

2 citations · 5 across the 6 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

cs.PL2017

Bounded Expectations: Resource Analysis for Probabilistic Programs

Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann

This paper presents a new static analysis for deriving upper bounds on the expected resource consumption of probabilistic programs. The analysis is fully automatic and derives symb…