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]
Abstract is missing.