We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 1509.08566 can endorse.

Probabilistic Output Analysis by Program Manipulation

Mads Rosendahl and Maja H. Kirkeby are not registered as owners of this paper. (why?)