Bounded expectations: resource analysis for probabilistic programs.

Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann

Browse the full PLDI paper archive.