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…