Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik. Continuously reasoning about programs using differential Bayesian inference. In Kathryn S. McKinley, Kathleen Fisher, editors, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. pages 561-575, ACM, 2019. [doi]
Abstract is missing.