Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel. Slicing probabilistic programs. In Michael F. P. O'Boyle, Keshav Pingali, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014. pages 16, ACM, 2014. [doi]
Abstract is missing.