Rajamani, Sriram K.

3 publications

AAAI 2014 R2: An Efficient MCMC Sampler for Probabilistic Programs Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, Selva Samuel

AISTATS 2013 Efficiently Sampling Probabilistic Programs via Program Analysis Arun Tejasvi Chaganty, Aditya V. Nori, Sriram K. Rajamani

AAAI 2012 Automatically Generating Algebra Problems Rohit Singh, Sumit Gulwani, Sriram K. Rajamani