Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy
Efficient synthesis of probabilistic programs
PLDI, 2015.
@inproceedings{PLDI-2015-NoriORV,
author = "Aditya V. Nori and Sherjil Ozair and Sriram K. Rajamani and Deepak Vijaykeerthy",
booktitle = "{Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation}",
doi = "10.1145/2737924.2737982",
isbn = "978-1-4503-3468-6",
pages = "208--217",
publisher = "{ACM}",
title = "{Efficient synthesis of probabilistic programs}",
year = 2015,
}