R2: An Efficient MCMC Sampler for Probabilistic Programs.

Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, Selva Samuel

Browse the full AAAI paper archive.