Continuously reasoning about programs using differential Bayesian inference.

Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik

Browse the full PLDI paper archive.