Efficient synthesis of probabilistic programs

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]

Authors

Aditya V. Nori

This author has not been identified. Look up 'Aditya V. Nori' in Google

Sherjil Ozair

This author has not been identified. Look up 'Sherjil Ozair' in Google

Sriram K. Rajamani

This author has not been identified. Look up 'Sriram K. Rajamani' in Google

Deepak Vijaykeerthy

This author has not been identified. Look up 'Deepak Vijaykeerthy' in Google