Static analysis for probabilistic programs: inferring whole program properties from finitely many paths.

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani

Browse the full PLDI paper archive.