Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy. Efficient synthesis of probabilistic programs. In David Grove, Steve Blackburn, editors, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015. pages 208-217, ACM, 2015. [doi]
@inproceedings{NoriORV15,
title = {Efficient synthesis of probabilistic programs},
author = {Aditya V. Nori and Sherjil Ozair and Sriram K. Rajamani and Deepak Vijaykeerthy},
year = {2015},
doi = {10.1145/2737924.2737982},
url = {http://doi.acm.org/10.1145/2737924.2737982},
researchr = {https://researchr.org/publication/NoriORV15},
cites = {0},
citedby = {0},
pages = {208-217},
booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015},
editor = {David Grove and Steve Blackburn},
publisher = {ACM},
isbn = {978-1-4503-3468-6},
}