Efficiently Sampling Probabilistic Programs via Program Analysis

Arun Chaganty, Aditya V. Nori, Sriram K. Rajamani. Efficiently Sampling Probabilistic Programs via Program Analysis. In Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics, AISTATS 2013, Scottsdale, AZ, USA, April 29 - May 1, 2013. Volume 31 of JMLR Proceedings, pages 153-160, JMLR.org, 2013. [doi]

Authors

Arun Chaganty

This author has not been identified. Look up 'Arun Chaganty' in Google

Aditya V. Nori

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

Sriram K. Rajamani

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