Slicing probabilistic programs.

Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel

Browse the full PLDI paper archive.