@inproceedings{HuNoRaSa-PLDI-2014,
author = {Chung-Kil Hur and Aditya Nori and Sriram Rajamani and Selva Samuel},
title = {Slicing Probabilistic Programs},
booktitle = {The 35th ACM Conference on Programming Language Design and Implementation (PLDI'14)},
year = {2014},
}