{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:14:23Z","timestamp":1775873663254,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T00:00:00Z","timestamp":1591833600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100011199","name":"European Research Council","doi-asserted-by":"publisher","award":["Starting Grant 680358"],"award-info":[{"award-number":["Starting Grant 680358"]}],"id":[{"id":"10.13039\/100011199","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,11]]},"DOI":"10.1145\/3385412.3386006","type":"proceedings-article","created":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T01:40:10Z","timestamp":1591494010000},"page":"883-897","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["\u03bbPSI: exact inference for higher-order probabilistic programs"],"prefix":"10.1145","author":[{"given":"Timon","family":"Gehr","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Steffen","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Reine und angewandte Mathematik.","author":"Abel Niels Henrik","unstructured":"Niels Henrik Abel. 1826. Untersuchungen \u00fcber die Reihe: 1 + (m\/1)x + m\u00b7(m - 1)\/(1\u00b72)\u00b7x2+ m\u00b7(m - 1)\u00b7(m - 2)\/(1\u00b72\u00b73)\u00b7x3+ ... In Reine und angewandte Mathematik. Vol. 1. 311\u2013339."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009896"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.2012.6284021"},{"key":"e_1_3_2_1_4_1","volume-title":"Workshop on Probabilitic Programming Semantics, colocated with ACM POPL\u201917","author":"Cornish Robert","year":"2017","unstructured":"Robert Cornish, Frank Wood, and Hongseok Yang. 2017. Efficient exact inference in discrete Anglican programs. Workshop on Probabilitic Programming Semantics, colocated with ACM POPL\u201917 (2017). http: \/\/www.cs.ox.ac.uk\/people\/hongseok.yang\/paper\/pps17b.pdf"},{"key":"e_1_3_2_1_5_1","first-page":"I","article-title":"AIDE: An algorithm for measuring the accuracy of probabilistic inference algorithms","volume":"30","author":"Cusumano-Towner Marco","year":"2017","unstructured":"Marco Cusumano-Towner and Vikash K Mansinghka. 2017. AIDE: An algorithm for measuring the accuracy of probabilistic inference algorithms. In Advances in Neural Information Processing Systems 30, I. Guyon, U. V. Luxburg, S. Bengio, H. Wallach, R. Fergus, S. Vishwanathan, and R. Garnett (Eds.). Curran Associates, Inc., 3000\u20133010. http:\/\/papers.nips.cc\/paper\/6893-aide-an-algorithm-formeasuring-the-accuracy-of-probabilistic-inference-algorithms.pdf","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_4"},{"key":"e_1_3_2_1_7_1","volume-title":"Tenenbaum","author":"Goodman Noah D.","year":"2008","unstructured":"Noah D. Goodman, Vikash K. Mansinghka, Daniel Roy, Keith Bonawitz, and Joshua B. Tenenbaum. 2008. Church: A Language for Generative Models. In Proceedings of the Twenty-Fourth Conference on Uncertainty in Artificial Intelligence (UAI\u201908). AUAI Press, Arlington, Virginia, USA, 220\u2013229."},{"key":"e_1_3_2_1_8_1","volume-title":"The Design and Implementation of Probabilistic Programming Languages","author":"Goodman Noah D","unstructured":"Noah D Goodman and Andreas Stuhlm\u00fcller. 2014. The Design and Implementation of Probabilistic Programming Languages. http:\/\/dippl. org. Accessed: 2017-5-15."},{"key":"e_1_3_2_1_9_1","volume-title":"Tenenbaum","author":"Goodman Noah D","year":"2016","unstructured":"Noah D Goodman and Joshua B. Tenenbaum. 2016. Probabilistic Models of Cognition. http:\/\/probmods.org. Accessed: 2019-11-18."},{"key":"e_1_3_2_1_10_1","unstructured":"Chris Heunen Ohad Kammar Sean Moss Adam \u015acibior and Hongseok Yang. 2018. The semantic structure of quasi-Borel spaces. In PPS\u201918."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/3329995.3330072"},{"key":"e_1_3_2_1_13_1","unstructured":"V. Mansinghka D. Selsam and Y. Perov. 2014. Venture: a higher-order probabilistic programming platform with programmable inference. ArXiv e-prints (March 2014). arXiv: cs.AI\/1404.0099"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29604-3_5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110255"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1162\/089976603321780272"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","unstructured":"089976603321780272 10.1162\/089976603321780272","DOI":"10.1162\/089976603321780272"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290351"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158148"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017","author":"Norman Ramsey Shan","year":"2017","unstructured":"Chung-chieh Shan and Norman Ramsey. 2017. Exact Bayesian inference by symbolic disintegration. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. 130\u2013144. http:\/\/dl.acm.org\/ citation.cfm?id=3009852"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54434-1_32"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935313"},{"key":"e_1_3_2_1_23_1","volume-title":"Goodman","author":"Stuhlm\u00fcller Andreas","year":"2012","unstructured":"Andreas Stuhlm\u00fcller and Noah D. Goodman. 2012. A Dynamic Programming Algorithm for Inference in Recursive Probabilistic Programs. CoRR abs\/1206.3555 (2012). arXiv: 1206.3555 http:\/\/arxiv.org\/abs\/1206."},{"key":"e_1_3_2_1_24_1","unstructured":"3555"},{"key":"e_1_3_2_1_25_1","unstructured":"Zenna Tavares Xin Zhang Edgar Minaysan Javier Burroni Rajesh Ranganath and Armando Solar Lezama. 2019. The Random Conditional Distribution for Higher-Order Probabilistic Inference. arXiv: cs.PL\/1903.10556"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341702"}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"London UK","acronym":"PLDI '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386006","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3386006","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:49Z","timestamp":1750199929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386006"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,11]]},"references-count":25,"alternative-id":["10.1145\/3385412.3386006","10.1145\/3385412"],"URL":"https:\/\/doi.org\/10.1145\/3385412.3386006","relation":{},"subject":[],"published":{"date-parts":[[2020,6,11]]},"assertion":[{"value":"2020-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}