{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T10:19:50Z","timestamp":1770977990420,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:00:00Z","timestamp":1654732800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,9]]},"DOI":"10.1145\/3519939.3523721","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"536-551","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Guaranteed bounds for posterior inference in universal probabilistic programming"],"prefix":"10.1145","author":[{"given":"Raven","family":"Beutner","sequence":"first","affiliation":[{"name":"CISPA, Germany"}]},{"given":"C.-H. Luke","family":"Ong","sequence":"additional","affiliation":[{"name":"University of Oxford, UK"}]},{"given":"Fabian","family":"Zaiser","sequence":"additional","affiliation":[{"name":"University of Oxford, UK"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133904"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-2010-02378-6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3295500.3356180"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454111"},{"key":"e_1_3_2_1_5_1","volume-title":"Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programmings. CoRR, abs\/2204.02948","author":"Beutner Raven","year":"2022","unstructured":"Raven Beutner , Luke Ong , and Fabian Zaiser . 2022. Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programmings. CoRR, abs\/2204.02948 ( 2022 ), https:\/\/doi.org\/10.48550\/arXiv.2204.02948 10.48550\/arXiv.2204.02948 Raven Beutner, Luke Ong, and Fabian Zaiser. 2022. Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programmings. CoRR, abs\/2204.02948 (2022), https:\/\/doi.org\/10.48550\/arXiv.2204.02948"},{"key":"e_1_3_2_1_6_1","volume-title":"Goodman","author":"Bingham Eli","year":"2019","unstructured":"Eli Bingham , Jonathan P. Chen , Martin Jankowiak , Fritz Obermeyer , Neeraj Pradhan , Theofanis Karaletsos , Rohit Singh , Paul A. Szerlip , Paul Horsfall , and Noah D . Goodman . 2019 . Pyro : Deep Universal Probabilistic Programming. Journal of Machine Learning Research , 20 (2019), http:\/\/jmlr.org\/papers\/v20\/18-403.html Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul A. Szerlip, Paul Horsfall, and Noah D. Goodman. 2019. Pyro: Deep Universal Probabilistic Programming. Journal of Machine Learning Research, 20 (2019), http:\/\/jmlr.org\/papers\/v20\/18-403.html"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_27"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951942"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8438-9_6"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455518.1455522"},{"key":"e_1_3_2_1_11_1","volume-title":"International Conference on Artificial Intelligence and Statistics, AISTATS 2013 (JMLR","author":"Chaganty Arun Tejasvi","unstructured":"Arun Tejasvi Chaganty , Aditya V. Nori , and Sriram K. Rajamani . 2013. Efficiently Sampling Probabilistic Programs via Program Analysis . In International Conference on Artificial Intelligence and Statistics, AISTATS 2013 (JMLR , Vol. 31). http:\/\/proceedings.mlr.press\/v31\/chaganty13a.html Arun Tejasvi Chaganty, Aditya V. Nori, and Sriram K. Rajamani. 2013. Efficiently Sampling Probabilistic Programs via Program Analysis. In International Conference on Artificial Intelligence and Statistics, AISTATS 2013 (JMLR, Vol. 31). http:\/\/proceedings.mlr.press\/v31\/chaganty13a.html"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-020-09571-y"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1198\/106186006X136976"},{"key":"e_1_3_2_1_14_1","volume-title":"International Symposium on Programming.","author":"Cousot Patrick","year":"1976","unstructured":"Patrick Cousot and Radhia Cousot . 1976 . Static determination of dynamic properties of programs . In International Symposium on Programming. Patrick Cousot and Radhia Cousot. 1976. Static determination of dynamic properties of programs. In International Symposium on Programming."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54434-1_14"},{"key":"e_1_3_2_1_17_1","volume-title":"Annual Conference on Neural Information Processing Systems, NIPS 2017","author":"Marco","year":"2017","unstructured":"Marco F. Cusumano-Towner and Vikash K. Mansinghka. 2017. AIDE: An algorithm for measuring the accuracy of probabilistic inference algorithms . In Annual Conference on Neural Information Processing Systems, NIPS 2017 . https:\/\/proceedings.neurips.cc\/paper\/ 2017 \/hash\/acab0116c354964a558e65bdd07ff047-Abstract.html Marco F. Cusumano-Towner and Vikash K. Mansinghka. 2017. AIDE: An algorithm for measuring the accuracy of probabilistic inference algorithms. In Annual Conference on Neural Information Processing Systems, NIPS 2017. https:\/\/proceedings.neurips.cc\/paper\/2017\/hash\/acab0116c354964a558e65bdd07ff047-Abstract.html"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314642"},{"key":"e_1_3_2_1_19_1","volume-title":"Theories of Interval Arithmetic: Mathematical Foundations and Applications","author":"Dawood Hend","unstructured":"Hend Dawood . 2011. Theories of Interval Arithmetic: Mathematical Foundations and Applications . LAP Lambert Academic Publishing . Hend Dawood. 2011. Theories of Interval Arithmetic: Mathematical Foundations and Applications. LAP Lambert Academic Publishing."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comgeo.2012.09.001"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0370-2693(87)91197-X"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1137\/0217060"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113468"},{"key":"e_1_3_2_1_24_1","volume-title":"Turing: A Language for Flexible Probabilistic Inference. In International Conference on Artificial Intelligence and Statistics, AISTATS 2018 (PMLR","author":"Ge Hong","year":"2018","unstructured":"Hong Ge , Kai Xu , and Zoubin Ghahramani . 2018 . Turing: A Language for Flexible Probabilistic Inference. In International Conference on Artificial Intelligence and Statistics, AISTATS 2018 (PMLR , Vol. 84). https:\/\/proceedings.mlr.press\/v84\/ge18b.html Hong Ge, Kai Xu, and Zoubin Ghahramani. 2018. Turing: A Language for Flexible Probabilistic Inference. In International Conference on Artificial Intelligence and Statistics, AISTATS 2018 (PMLR, Vol. 84). https:\/\/proceedings.mlr.press\/v84\/ge18b.html"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_4"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386006"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336773"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2011.0553"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"e_1_3_2_1_30_1","volume-title":"Conference on Uncertainty in Artificial Intelligence, UAI","author":"Goodman Noah D.","year":"2008","unstructured":"Noah D. Goodman , Vikash K. Mansinghka , Daniel M. Roy , Keith Bonawitz , and Joshua B. Tenenbaum . 2008. Church: a language for generative models . In Conference on Uncertainty in Artificial Intelligence, UAI 2008 . AUAI Press. Noah D. Goodman, Vikash K. Mansinghka, Daniel M. Roy, Keith Bonawitz, and Joshua B. Tenenbaum. 2008. Church: a language for generative models. In Conference on Uncertainty in Artificial Intelligence, UAI 2008. AUAI Press."},{"key":"e_1_3_2_1_31_1","volume-title":"Goodman and Andreas Stuhlm\u00fcller","author":"Noah","year":"2014","unstructured":"Noah D. Goodman and Andreas Stuhlm\u00fcller . 2014 . The Design and Implementation of Probabilistic Programming Languages . Noah D. Goodman and Andreas Stuhlm\u00fcller. 2014. The Design and Implementation of Probabilistic Programming Languages."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593900"},{"key":"e_1_3_2_1_33_1","volume-title":"Automatic Reparameterisation of Probabilistic Programs. In International Conference on Machine Learning, ICML 2020 (PMLR","author":"Gorinova Maria I.","unstructured":"Maria I. Gorinova , Dave Moore , and Matthew D. Hoffman . 2020 . Automatic Reparameterisation of Probabilistic Programs. In International Conference on Machine Learning, ICML 2020 (PMLR , Vol. 119). http:\/\/proceedings.mlr.press\/v119\/gorinova20a.html Maria I. Gorinova, Dave Moore, and Matthew D. Hoffman. 2020. Automatic Reparameterisation of Probabilistic Programs. In International Conference on Machine Learning, ICML 2020 (PMLR, Vol. 119). http:\/\/proceedings.mlr.press\/v119\/gorinova20a.html"},{"key":"e_1_3_2_1_34_1","volume-title":"Annual Conference on Neural Information Processing Systems, NIPS 2016","author":"Grosse Roger B.","year":"2016","unstructured":"Roger B. Grosse , Siddharth Ancha , and Daniel M. Roy . 2016. Measuring the reliability of MCMC inference with bidirectional Monte Carlo . In Annual Conference on Neural Information Processing Systems, NIPS 2016 . https:\/\/proceedings.neurips.cc\/paper\/ 2016 \/hash\/0e9fa1f3e9e66792401a6972d477dcc3-Abstract.html Roger B. Grosse, Siddharth Ancha, and Daniel M. Roy. 2016. Measuring the reliability of MCMC inference with bidirectional Monte Carlo. In Annual Conference on Neural Information Processing Systems, NIPS 2016. https:\/\/proceedings.neurips.cc\/paper\/2016\/hash\/0e9fa1f3e9e66792401a6972d477dcc3-Abstract.html"},{"key":"e_1_3_2_1_35_1","volume-title":"Adams","author":"Grosse Roger B.","year":"2015","unstructured":"Roger B. Grosse , Zoubin Ghahramani , and Ryan P . Adams . 2015 . Sandwiching the marginal likelihood using bidirectional Monte Carlo. CoRR , abs\/1511.02543 (2015), https:\/\/doi.org\/10.48550\/arXiv.1511.02543 10.48550\/arXiv.1511.02543 Roger B. Grosse, Zoubin Ghahramani, and Ryan P. Adams. 2015. Sandwiching the marginal likelihood using bidirectional Monte Carlo. CoRR, abs\/1511.02543 (2015), https:\/\/doi.org\/10.48550\/arXiv.1511.02543"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511802478"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428208"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88885-5_16"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72019-3_16"},{"key":"e_1_3_2_1_40_1","volume-title":"Nonparametric Hamiltonian Monte Carlo. In International Conference on Machine Learning, ICML 2021 (PMLR","author":"Mak Carol","year":"2021","unstructured":"Carol Mak , Fabian Zaiser , and Luke Ong . 2021 . Nonparametric Hamiltonian Monte Carlo. In International Conference on Machine Learning, ICML 2021 (PMLR , Vol. 139). http:\/\/proceedings.mlr.press\/v139\/mak21a.html Carol Mak, Fabian Zaiser, and Luke Ong. 2021. Nonparametric Hamiltonian Monte Carlo. In International Conference on Machine Learning, ICML 2021 (PMLR, Vol. 139). http:\/\/proceedings.mlr.press\/v139\/mak21a.html"},{"key":"e_1_3_2_1_41_1","volume-title":"Foundations of Statistical Natural Language Processing","author":"Manning Chris","unstructured":"Chris Manning and Hinrich Sch\u00fctze . 1999. Foundations of Statistical Natural Language Processing . MIT Press . Cambridge, MA. Chris Manning and Hinrich Sch\u00fctze. 1999. Foundations of Statistical Natural Language Processing. MIT Press. Cambridge, MA."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45099-3_17"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360211"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964029"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29604-3_5"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1214\/aos\/1056562461"},{"key":"e_1_3_2_1_47_1","unstructured":"Art B. Owen. 2013. Monte Carlo theory methods and examples.  Art B. Owen. 2013. Monte Carlo theory methods and examples."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_8"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811555"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1038\/s42003-021-01753-7"},{"key":"e_1_3_2_1_51_1","volume-title":"Convergence Diagnostics for Markov Chain Monte Carlo. Annual Review of Statistics and Its Application, 7","author":"Roy Vivekananda","year":"2020","unstructured":"Vivekananda Roy . 2020. Convergence Diagnostics for Markov Chain Monte Carlo. Annual Review of Statistics and Its Application, 7 ( 2020 ), https:\/\/doi.org\/10.1146\/annurev-statistics-031219-041300 10.1146\/annurev-statistics-031219-041300 Vivekananda Roy. 2020. Convergence Diagnostics for Markov Chain Monte Carlo. Annual Review of Statistics and Its Application, 7 (2020), https:\/\/doi.org\/10.1146\/annurev-statistics-031219-041300"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1002\/9781118631980"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454078"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462179"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009852"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.11.018"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54434-1_32"},{"key":"e_1_3_2_1_58_1","volume-title":"Validating Bayesian Inference Algorithms with Simulation-Based Calibration. arXiv","author":"Talts Sean","year":"1804","unstructured":"Sean Talts , Michael Betancourta , Daniel Simpson , Aki Vehtari , and Andrew Gelman . 2018. Validating Bayesian Inference Algorithms with Simulation-Based Calibration. arXiv , 1804 .06788 (2018), https:\/\/doi.org\/10.48550\/arXiv.1804.06788 10.48550\/arXiv.1804.06788 Sean Talts, Michael Betancourta, Daniel Simpson, Aki Vehtari, and Andrew Gelman. 2018. Validating Bayesian Inference Algorithms with Simulation-Based Calibration. arXiv, 1804.06788 (2018), https:\/\/doi.org\/10.48550\/arXiv.1804.06788"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23461-8_36"},{"key":"e_1_3_2_1_60_1","volume-title":"An Introduction to Probabilistic Programming. CoRR, abs\/1809.10756","author":"van de Meent Jan-Willem","year":"2018","unstructured":"Jan-Willem van de Meent , Brooks Paige , Hongseok Yang , and Frank Wood . 2018. An Introduction to Probabilistic Programming. CoRR, abs\/1809.10756 ( 2018 ), https:\/\/doi.org\/10.48550\/arXiv.1809.10756 10.48550\/arXiv.1809.10756 Jan-Willem van de Meent, Brooks Paige, Hongseok Yang, and Frank Wood. 2018. An Introduction to Probabilistic Programming. CoRR, abs\/1809.10756 (2018), https:\/\/doi.org\/10.48550\/arXiv.1809.10756"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192408"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2018.2889774"},{"key":"e_1_3_2_1_63_1","volume-title":"LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models. In International Conference on Artificial Intelligence and Statistics, AISTATS 2019 (PMLR","author":"Zhou Yuan","year":"2019","unstructured":"Yuan Zhou , Bradley J. Gram-Hansen , Tobias Kohn , Tom Rainforth , Hongseok Yang , and Frank Wood . 2019 . LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models. In International Conference on Artificial Intelligence and Statistics, AISTATS 2019 (PMLR , Vol. 89). http:\/\/proceedings.mlr.press\/v89\/zhou19b.html Yuan Zhou, Bradley J. Gram-Hansen, Tobias Kohn, Tom Rainforth, Hongseok Yang, and Frank Wood. 2019. LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models. In International Conference on Artificial Intelligence and Statistics, AISTATS 2019 (PMLR, Vol. 89). http:\/\/proceedings.mlr.press\/v89\/zhou19b.html"}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"San Diego CA USA","acronym":"PLDI '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523721","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523721","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:30Z","timestamp":1750183830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523721"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":63,"alternative-id":["10.1145\/3519939.3523721","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523721","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}