{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T09:02:11Z","timestamp":1770282131203,"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:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"a gift from Rajiv and Ritu Batra"},{"name":"DARPA under AA contract","award":["FA8750-18-C0092"],"award-info":[{"award-number":["FA8750-18-C0092"]}]},{"name":"NSF under SaTC","award":["1801369"],"award-info":[{"award-number":["1801369"]}]},{"name":"NSF under CAREER","award":["1845514"],"award-info":[{"award-number":["1845514"]}]},{"name":"ONR","award":["N00014-17-1-2889,N00014-19-1-2318"],"award-info":[{"award-number":["N00014-17-1-2889,N00014-19-1-2318"]}]},{"name":"NSF under SHF","award":["1812876,2007784"],"award-info":[{"award-number":["1812876,2007784"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454077","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T13:51:32Z","timestamp":1624024292000},"page":"788-803","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Sound probabilistic inference via guide types"],"prefix":"10.1145","author":[{"given":"Di","family":"Wang","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, USA"}]},{"given":"Jan","family":"Hoffmann","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}]},{"given":"Thomas","family":"Reps","sequence":"additional","affiliation":[{"name":"University of Wisconsin, USA"}]}],"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\/3315508.3329974"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17164-2_6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22941-1_2"},{"key":"e_1_3_2_1_4_1","unstructured":"Eric Atkinson Cambridge Yang and Michael Carbin. 2018. Verifying Handcoded Probabilistic Inference Procedures. arxiv:1805.01863  Eric Atkinson Cambridge Yang and Michael Carbin. 2018. Verifying Handcoded Probabilistic Inference Procedures. arxiv:1805.01863"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103721"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_35"},{"key":"e_1_3_2_1_7_1","article-title":"Pyro: Deep Universal Probabilistic Programming","volume":"20","author":"Bingham Eli","year":"2018","unstructured":"Eli Bingham , Jonathan P. Chen , Martin Jankowiak , Fritz Obermeyer , Neeraj Pradhan , Theofanis Karaletsos , Rishabh Singh , Paul Szerlip , Paul Horsfall , and Noah D. Goodman . 2018 . Pyro: Deep Universal Probabilistic Programming . J. Machine Learning Research , 20 , 1 (2018), January , https:\/\/dl.acm.org\/doi\/10.5555\/3322706.3322734 Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rishabh Singh, Paul Szerlip, Paul Horsfall, and Noah D. Goodman. 2018. Pyro: Deep Universal Probabilistic Programming. J. Machine Learning Research, 20, 1 (2018), January, https:\/\/dl.acm.org\/doi\/10.5555\/3322706.3322734","journal-title":"J. Machine Learning Research"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951942"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15375-4_16"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129514000218"},{"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-030-17184-1_12"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1111\/1467-9574.00056"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-18941-3_4"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314642"},{"key":"e_1_3_2_1_17_1","unstructured":"Ankush Das Henry DeYoung Andreia Mordido and Frank Pfenning. 2020. Nested Session Types. arxiv:2010.06482  Ankush Das Henry DeYoung Andreia Mordido and Frank Pfenning. 2020. Nested Session Types. arxiv:2010.06482"},{"key":"e_1_3_2_1_18_1","volume-title":"Tom Rainforth, and Noah D. Goodman.","author":"Foster Adam","year":"2019","unstructured":"Adam Foster , Martin Jankowiak , Eli Bingham , Paul Horsfall , Yee Whye Teh , Tom Rainforth, and Noah D. Goodman. 2019 . Variational Bayesian Optimal Experimental Design: Efficient Automation of Adaptive Experiments. In Neural Info. Processing Syst. (NIPS\u2019 19). arxiv:1903.05480 Adam Foster, Martin Jankowiak, Eli Bingham, Paul Horsfall, Yee Whye Teh, Tom Rainforth, and Noah D. Goodman. 2019. Variational Bayesian Optimal Experimental Design: Efficient Automation of Adaptive Experiments. In Neural Info. Processing Syst. (NIPS\u201919). arxiv:1903.05480"},{"key":"e_1_3_2_1_19_1","volume-title":"Turing: A Language for Flexible Probabilistic Inference. In Artificial Intelligence and Statistics (AISTATS\u201918).","author":"Ge Rong","year":"2018","unstructured":"Rong Ge , Kai Xu , and Zoubin Ghahramani . 2018 . Turing: A Language for Flexible Probabilistic Inference. In Artificial Intelligence and Statistics (AISTATS\u201918). Rong Ge, Kai Xu, and Zoubin Ghahramani. 2018. Turing: A Language for Flexible Probabilistic Inference. In Artificial Intelligence and Statistics (AISTATS\u201918)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1201\/b16018"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature14541"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.2307\/2348941"},{"key":"e_1_3_2_1_23_1","volume-title":"Tenenbaum","author":"Goodman Noah D.","year":"2008","unstructured":"Noah D. Goodman , Vikash K. Mansinghka , Daniel Roy , Keith A. Bonawitz , and Joshua B . Tenenbaum . 2008 . Church : A language for generative models. In Uncertainty in Artificial Intelligence (UAI\u2019 08). https:\/\/dl.acm.org\/doi\/10.5555\/3023476.3023503 Noah D. Goodman, Vikash K. Mansinghka, Daniel Roy, Keith A. Bonawitz, and Joshua B. Tenenbaum. 2008. Church: A language for generative models. In Uncertainty in Artificial Intelligence (UAI\u201908). https:\/\/dl.acm.org\/doi\/10.5555\/3023476.3023503"},{"key":"e_1_3_2_1_24_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 . Available on. http:\/\/dippl.org Noah D. Goodman and Andreas Stuhlm\u00fcller. 2014. The Design and Implementation of Probabilistic Programming Languages. Available on. http:\/\/dippl.org"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511816772.006"},{"key":"e_1_3_2_1_26_1","volume-title":"Practical Foundations for Programming Languages","author":"Harper Robert","unstructured":"Robert Harper . 2016. Practical Foundations for Programming Languages . Cambridge University Press . https:\/\/dl.acm.org\/doi\/book\/10.5555\/3002812 Robert Harper. 2016. Practical Foundations for Programming Languages. Cambridge University Press. https:\/\/dl.acm.org\/doi\/book\/10.5555\/3002812"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57208-2_35"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053567"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328472"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062375"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.FSTTCS.2015.475"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-76626-8_35"},{"key":"e_1_3_2_1_34_1","volume-title":"The Art of Computer Programming","author":"Knuth Donald E.","unstructured":"Donald E. Knuth . 1997. The Art of Computer Programming , Volume 2 ( 3 rd Ed.): Seminumerical Algorithms. Addison-Wesley . https:\/\/dl.acm.org\/doi\/book\/10.5555\/270146 Donald E. Knuth. 1997. The Art of Computer Programming, Volume 2 (3rd Ed.): Seminumerical Algorithms. Addison-Wesley. https:\/\/dl.acm.org\/doi\/book\/10.5555\/270146","edition":"3"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371084"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371087"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3296979.3192409"},{"key":"e_1_3_2_1_39_1","volume-title":"Communication and Concurrency","author":"Milner Robin","unstructured":"Robin Milner . 1989. Communication and Concurrency . Prentice-Hall, Inc. . https:\/\/dl.acm.org\/doi\/book\/10.5555\/534666 Robin Milner. 1989. Communication and Concurrency. Prentice-Hall, Inc.. https:\/\/dl.acm.org\/doi\/book\/10.5555\/534666"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1989.39155"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v067.i10"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29604-3_5"},{"key":"e_1_3_2_1_45_1","volume-title":"Int. Workshop on Distributed Statistical Comp. (DSC\u201903)","author":"Plummer Martyn","year":"2003","unstructured":"Martyn Plummer . 2003 . JAGS: A Program for Analysis of Bayesian Graphical Models using Gibbs Sampling . In Int. Workshop on Distributed Statistical Comp. (DSC\u201903) . Martyn Plummer. 2003. JAGS: A Program for Analysis of Bayesian Graphical Models using Gibbs Sampling. In Int. Workshop on Distributed Statistical Comp. (DSC\u201903)."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290350"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290343"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2887747.2804317"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158148"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009852"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951926"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371135"},{"key":"e_1_3_2_1_53_1","volume-title":"Deep Probabilistic Programming. In Int. Conf. on Learning Representations (ICLR\u201917)","author":"Tran Dustin","unstructured":"Dustin Tran , Matthew D. Hoffman , Rif A. Saurous , Eugene Brevdo , Kevin Murphy , and David M. Blei . 2017 . Deep Probabilistic Programming. In Int. Conf. on Learning Representations (ICLR\u201917) . Dustin Tran, Matthew D. Hoffman, Rif A. Saurous, Eugene Brevdo, Kevin Murphy, and David M. Blei. 2017. Deep Probabilistic Programming. In Int. Conf. on Learning Representations (ICLR\u201917)."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364568"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"crossref","unstructured":"Di Wang Jan Hoffmann and Thomas Reps. 2021. Sound Probabilistic Inference via Guide Types. arxiv:2104.03598  Di Wang Jan Hoffmann and Thomas Reps. 2021. Sound Probabilistic Inference via Guide Types. arxiv:2104.03598","DOI":"10.1145\/3410300"},{"key":"e_1_3_2_1_56_1","volume-title":"Yee Whye Teh, and Frank Wood","author":"Webb Stefan","year":"2018","unstructured":"Stefan Webb , Adam Golinski , Robert Zinkov , N. Siddharth , Tom Rainforth , Yee Whye Teh, and Frank Wood . 2018 . Faithful Inversion of Generative Models for Effective Amortized Inference. In Neural Info. Processing Syst. (NIPS\u2019 18). https:\/\/dl.acm.org\/doi\/10.5555\/3327144.3327229 Stefan Webb, Adam Golinski, Robert Zinkov, N. Siddharth, Tom Rainforth, Yee Whye Teh, and Frank Wood. 2018. Faithful Inversion of Generative Models for Effective Amortized Inference. In Neural Info. Processing Syst. (NIPS\u201918). https:\/\/dl.acm.org\/doi\/10.5555\/3327144.3327229"},{"key":"e_1_3_2_1_57_1","unstructured":"Website. 2020. greenlet: Lightweight concurrent programming. Available on. https:\/\/greenlet.readthedocs.io  Website. 2020. greenlet: Lightweight concurrent programming. Available on. https:\/\/greenlet.readthedocs.io"},{"key":"e_1_3_2_1_58_1","volume-title":"Jan Willem van de Meent, and Vikash K. Mansinghka","author":"Wood Frank","year":"2014","unstructured":"Frank Wood , Jan Willem van de Meent, and Vikash K. Mansinghka . 2014 . A New Approach to Probabilistic Programming Inference. In Artificial Intelligence and Statistics (AISTATS\u2019 14). Frank Wood, Jan Willem van de Meent, and Vikash K. Mansinghka. 2014. A New Approach to Probabilistic Programming Inference. In Artificial Intelligence and Statistics (AISTATS\u201914)."},{"key":"e_1_3_2_1_59_1","unstructured":"Robert Zinkov and Chung-chieh Shan. 2017. Composing Inference Algorithms as Program Transformations. In Uncertainty in Artificial Intelligence (UAI\u201917). arxiv:1603.01882  Robert Zinkov and Chung-chieh Shan. 2017. Composing Inference Algorithms as Program Transformations. In Uncertainty in Artificial Intelligence (UAI\u201917). arxiv:1603.01882"}],"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.3454077","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3453483.3454077","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454077","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:47Z","timestamp":1750193267000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454077"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":58,"alternative-id":["10.1145\/3453483.3454077","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454077","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"}}]}}