Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Sato, T., Aguirre, A., Barthe, G., Gaboardi, M., Garg, D., & Hsu, J. (2019). Formal Verification of Higher-order Probabilistic Programs: Reasoning about Approximation, Convergence, Bayesian Inference, and Optimization. Proceedings of the ACM on Programming Languages, 3, POPL: 38. doi:10.1145/3290351.