{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:55:46Z","timestamp":1770281746182,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454111","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T13:51:32Z","timestamp":1624024292000},"page":"1312-1326","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["On probabilistic termination of functional programs with continuous distributions"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6234-5651","authenticated-orcid":false,"given":"Raven","family":"Beutner","sequence":"first","affiliation":[{"name":"University of Oxford, UK \/ Saarland University, Germany"}]},{"given":"Luke","family":"Ong","sequence":"additional","affiliation":[{"name":"University of Oxford, UK"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158122"},{"key":"e_1_3_2_1_2_1","volume-title":"Principles of model checking","author":"Baier Christel","unstructured":"Christel Baier and Joost-Pieter Katoen . 2008. Principles of model checking . MIT Press . isbn:978-0-262-02649-9 Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT Press. isbn:978-0-262-02649-9"},{"key":"e_1_3_2_1_3_1","volume-title":"The lambda calculus - its syntax and semantics (Studies in logic and the foundations of mathematics","author":"Barendregt Hendrik Pieter","unstructured":"Hendrik Pieter Barendregt . 1985. The lambda calculus - its syntax and semantics (Studies in logic and the foundations of mathematics , Vol. 103). North-Holland. isbn:978-0-444-86748- 3 Hendrik Pieter Barendregt. 1985. The lambda calculus - its syntax and semantics (Studies in logic and the foundations of mathematics, Vol. 103). North-Holland. isbn:978-0-444-86748-3"},{"key":"e_1_3_2_1_4_1","volume-title":"On Probabilistic Termination of Functional Programs with Continuous Distributions. CoRR, abs\/2104.04990","author":"Beutner Raven","year":"2021","unstructured":"Raven Beutner and Luke Ong . 2021. On Probabilistic Termination of Functional Programs with Continuous Distributions. CoRR, abs\/2104.04990 ( 2021 ), arxiv:2104.04990. arxiv:2104.04990 Raven Beutner and Luke Ong. 2021. On Probabilistic Termination of Functional Programs with Continuous Distributions. CoRR, abs\/2104.04990 (2021), arxiv:2104.04990. arxiv:2104.04990"},{"key":"e_1_3_2_1_5_1","article-title":"Pyro: Deep Universal Probabilistic Programming","volume":"20","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 . J. Mach. Learn. Res. , 20 (2019), 28:1\u201328:6. 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. J. Mach. Learn. Res., 20 (2019), 28:1\u201328:6. http:\/\/jmlr.org\/papers\/v20\/18-403.html","journal-title":"J. Mach. Learn. Res."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951942"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611973075.70"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0166-0"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236950.3236968"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8438-9_6"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78963"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_34"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3174800"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009873"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386002"},{"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","doi-asserted-by":"publisher","DOI":"10.1137\/0217060"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3164540"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535865"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1462153.1462154"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677001"},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the Twenty-First International Conference on Artificial Intelligence and Statistics (Proceedings of Machine Learning Research","volume":"1690","author":"Ge Hong","year":"2018","unstructured":"Hong Ge , Kai Xu , and Zoubin Ghahramani . 2018 . Turing: A Language for Flexible Probabilistic Inference . In Proceedings of the Twenty-First International Conference on Artificial Intelligence and Statistics (Proceedings of Machine Learning Research , Vol. 84). PMLR, 1682\u2013 1690 . http:\/\/proceedings.mlr.press\/v84\/ge18b.html Hong Ge, Kai Xu, and Zoubin Ghahramani. 2018. Turing: A Language for Flexible Probabilistic Inference. In Proceedings of the Twenty-First International Conference on Artificial Intelligence and Statistics (Proceedings of Machine Learning Research, Vol. 84). PMLR, 1682\u20131690. http:\/\/proceedings.mlr.press\/v84\/ge18b.html"},{"key":"e_1_3_2_1_25_1","volume-title":"UAI 2008, Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence","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 UAI 2008, Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence , Helsinki, Finland , July 9-12, 2008 . AUAI Press, 220\u2013229. https:\/\/dslpitt.org\/uai\/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1346&proceeding_id=24 Noah D. Goodman, Vikash K. Mansinghka, Daniel M. Roy, Keith Bonawitz, and Joshua B. Tenenbaum. 2008. Church: a language for generative models. In UAI 2008, Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence, Helsinki, Finland, July 9-12, 2008. AUAI Press, 220\u2013229. https:\/\/dslpitt.org\/uai\/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1346&proceeding_id=24"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593900"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02768-1_11"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360555"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48057-1_24"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208102"},{"key":"e_1_3_2_1_31_1","volume-title":"Ranking Functions and Probabilistic Lambda Calculus. In 36nd Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021","author":"Kenyon-Roberts Andrew","year":"2021","unstructured":"Andrew Kenyon-Roberts and Luke Ong . 2021 . Supermartingales , Ranking Functions and Probabilistic Lambda Calculus. In 36nd Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021 , Rome, Italy, June 29 - July 2, 2021. IEEE Computer Society. Andrew Kenyon-Roberts and Luke Ong. 2021. Supermartingales, Ranking Functions and Probabilistic Lambda Calculus. In 36nd Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. IEEE Computer Society."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1955-09896-3"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785679"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434313"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293605"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1051\/ita\/2012012"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00934543"},{"key":"e_1_3_2_1_39_1","volume-title":"Reparameterization Gradient for Non-differentiable Models. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018","author":"Lee Wonyeol","year":"2018","unstructured":"Wonyeol Lee , Hangyeol Yu , and Hongseok Yang . 2018 . Reparameterization Gradient for Non-differentiable Models. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018 , NeurIPS 2018, December 3-8, 2018, Montr\u00e9al, Canada. 5558\u20135568. https:\/\/proceedings.neurips.cc\/paper\/2018\/hash\/b096577e264d1ebd6b41041f392eec23-Abstract.html Wonyeol Lee, Hangyeol Yu, and Hongseok Yang. 2018. Reparameterization Gradient for Non-differentiable Models. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montr\u00e9al, Canada. 5558\u20135568. https:\/\/proceedings.neurips.cc\/paper\/2018\/hash\/b096577e264d1ebd6b41041f392eec23-Abstract.html"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371087"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72019-3_16"},{"key":"e_1_3_2_1_42_1","volume-title":"Perov","author":"Mansinghka Vikash K.","year":"2014","unstructured":"Vikash K. Mansinghka , Daniel Selsam , and Yura N . Perov . 2014 . Venture: a higher-order probabilistic programming platform with programmable inference. CoRR , abs\/1404.0099 (2014), arxiv:1404.0099. arxiv:1404.0099 Vikash K. Mansinghka, Daniel Selsam, and Yura N. Perov. 2014. Venture: a higher-order probabilistic programming platform with programmable inference. CoRR, abs\/1404.0099 (2014), arxiv:1404.0099. arxiv:1404.0099"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/b138392"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158121"},{"key":"e_1_3_2_1_45_1","volume-title":"Tweedie","author":"Meyn Sean","year":"2009","unstructured":"Sean Meyn and Richard L . Tweedie . 2009 . Markov Chains and Stochastic Stability (2nd ed.). Cambridge University Press . Sean Meyn and Richard L. Tweedie. 2009. Markov Chains and Stochastic Stability (2nd ed.). Cambridge University Press."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813603"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717716"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"R. Motwani and P. Raghavan. 1995. Randomized algorithms. Cambridge University Press.  R. Motwani and P. Raghavan. 1995. Randomized algorithms. Cambridge University Press.","DOI":"10.1017\/CBO9780511814075"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/asz083"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935317"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90044-5"},{"key":"e_1_3_2_1_52_1","volume-title":"Algorithms and complexity: new directions and results","author":"Rabin M. O.","unstructured":"M. O. Rabin . 1976. Probabilistic algorithms . In Algorithms and complexity: new directions and results . Academic Press , New York , 21\u201339. M. O. Rabin. 1976. Probabilistic algorithms. In Algorithms and complexity: new directions and results. Academic Press, New York, 21\u201339."},{"key":"e_1_3_2_1_54_1","volume-title":"Kroese","author":"Rubinstein Reuven Y.","year":"2017","unstructured":"Reuven Y. Rubinstein and Dirk P . Kroese . 2017 . Simulation and the Monte Carlo Method (3rd ed.). Wiley . Reuven Y. Rubinstein and Dirk P. Kroese. 2017. Simulation and the Monte Carlo Method (3rd ed.). Wiley."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1969-0249221-4"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23461-8_36"},{"key":"e_1_3_2_1_57_1","volume-title":"Blei","author":"Tran Dustin","year":"2016","unstructured":"Dustin Tran , Alp Kucukelbir , Adji B. Dieng , Maja R. Rudolph , Dawen Liang , and David M . Blei . 2016 . Edward : A library for probabilistic modeling, inference, and criticism. CoRR , abs\/1610.09787 (2016), arxiv:1610.09787. arxiv:1610.09787 Dustin Tran, Alp Kucukelbir, Adji B. Dieng, Maja R. Rudolph, Dawen Liang, and David M. Blei. 2016. Edward: A library for probabilistic modeling, inference, and criticism. CoRR, abs\/1610.09787 (2016), arxiv:1610.09787. arxiv:1610.09787"},{"key":"e_1_3_2_1_58_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 ), arxiv:1809.10756. 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), arxiv:1809.10756. arxiv:1809.10756"},{"key":"e_1_3_2_1_59_1","volume-title":"LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models. In The 22nd International Conference on Artificial Intelligence and Statistics, AISTATS 2019","volume":"157","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 The 22nd International Conference on Artificial Intelligence and Statistics, AISTATS 2019 , 16-18 April 2019, Naha, Okinawa, Japan (Proceedings of Machine Learning Research , Vol. 89). PMLR, 148\u2013 157 . 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 The 22nd International Conference on Artificial Intelligence and Statistics, AISTATS 2019, 16-18 April 2019, Naha, Okinawa, Japan (Proceedings of Machine Learning Research, Vol. 89). PMLR, 148\u2013157. http:\/\/proceedings.mlr.press\/v89\/zhou19b.html"}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454111","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454111","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:48Z","timestamp":1750193268000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":58,"alternative-id":["10.1145\/3453483.3454111","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454111","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}