{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T13:54:20Z","timestamp":1761746060481,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T00:00:00Z","timestamp":1729123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Wallenberg Al, Autonomous Systems and Software Program","award":[""],"award-info":[{"award-number":[""]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,17]]},"DOI":"10.1145\/3687997.3695634","type":"proceedings-article","created":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T10:57:44Z","timestamp":1729162664000},"page":"157-170","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9703-6912","authenticated-orcid":false,"given":"Gizem","family":"Caylak","sequence":"first","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3127-5640","authenticated-orcid":false,"given":"Daniel","family":"Lund\u00e9n","sequence":"additional","affiliation":[{"name":"Oracle, Stockholm, Sweden"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3340-5963","authenticated-orcid":false,"given":"Viktor","family":"Senderov","sequence":"additional","affiliation":[{"name":"\u00c9cole Normale Sup\u00e9rieure, Paris, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8457-4105","authenticated-orcid":false,"given":"David","family":"Broman","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2024,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485492"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563347"},{"key":"e_1_3_2_1_3_1","unstructured":"Wa\u00efss Azizian Guillaume Baudart and Marc Lelarge. 2023. Automatic Rao-Blackwellization for Sequential Monte Carlo with Belief Propagation. In ICML 2023 Workshop on Structured Probabilistic Inference & Generative Modeling. https:\/\/openreview.net\/forum?id=YNf2XCQqM1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386009"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1214\/aoms"},{"key":"e_1_3_2_1_6_1","first-page":"993","article-title":"Latent dirichlet allocation","author":"Blei David M","year":"2003","unstructured":"David M Blei, Andrew Y Ng, and Michael I Jordan. 2003. Latent dirichlet allocation. Journal of machine Learning research, 3, Jan (2003), 993\u20131022.","journal-title":"Journal of machine Learning research, 3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357766.3359531"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pntd.0005173"},{"key":"e_1_3_2_1_10_1","volume-title":"Autoconj: Recognizing and Exploiting Conjugacy Without a Domain-Specific Language. In Advances in Neural Information Processing Systems","author":"Hoffman Matthew D.","year":"2018","unstructured":"Matthew D. Hoffman, Matthew J Johnson, and Dustin Tran. 2018. Autoconj: Recognizing and Exploiting Conjugacy Without a Domain-Specific Language. In Advances in Neural Information Processing Systems, S. Bengio, H. Wallach, H. Larochelle, K. Grauman, N. Cesa-Bianchi, and R. Garnett (Eds.). 31, Curran Associates, Inc.."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428208"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062375"},{"key":"e_1_3_2_1_13_1","volume-title":"Automatically Marginalized MCMC in Probabilistic Programming. In Fifth Symposium on Advances in Approximate Bayesian Inference. https:\/\/openreview.net\/forum?id=lmLRNZU0MY","author":"Lai Jinlin","year":"2023","unstructured":"Jinlin Lai, Javier Burroni, Hui Guan, and Daniel Sheldon. 2023. Automatically Marginalized MCMC in Probabilistic Programming. In Fifth Symposium on Advances in Approximate Bayesian Inference. https:\/\/openreview.net\/forum?id=lmLRNZU0MY"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of The 24th International Conference on Artificial Intelligence and Statistics, Arindam Banerjee and Kenji Fukumizu (Eds.) (Proceedings of Machine Learning Research","volume":"1935","author":"Lew Alexander","year":"2021","unstructured":"Alexander Lew, Monica Agrawal, David Sontag, and Vikash Mansinghka. 2021. PClean: Bayesian Data Cleaning at Scale with Domain-Specific Probabilistic Programming. In Proceedings of The 24th International Conference on Artificial Intelligence and Statistics, Arindam Banerjee and Kenji Fukumizu (Eds.) (Proceedings of Machine Learning Research, Vol. 130). PMLR, 1927\u20131935. https:\/\/proceedings.mlr.press\/v130\/lew21a.html"},{"volume-title":"Statistical machine learning","author":"Liu Han","key":"e_1_3_2_1_15_1","unstructured":"Han Liu and Larry Wasserman. 2014. Statistical machine learning. Pittsburgh, PE: CMU University."},{"key":"e_1_3_2_1_16_1","unstructured":"Lajanugen Logeswaran Honglak Lee and Dragomir Radev. 2018. Sentence ordering and coherence modeling using recurrent neural networks. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence and Thirtieth Innovative Applications of Artificial Intelligence Conference and Eighth AAAI Symposium on Educational Advances in Artificial Intelligence (AAAI\u201918\/IAAI\u201918\/EAAI\u201918). AAAI Press Article 648 3308 pages. isbn:978-1-57735-800-8"},{"key":"e_1_3_2_1_17_1","unstructured":"Daniel Lund\u00e9n. 2017. Delayed sampling in the probabilistic programming language Anglican."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1007\/978-3-031-30044-8_20","article-title":"Automatic alignment in higher-order probabilistic programming languages","volume":"13990","author":"Lund\u00e9n Daniel","year":"2023","unstructured":"Daniel Lund\u00e9n, Gizem \u00c7aylak, Fredrik Ronquist, and David Broman. 2023. Automatic alignment in higher-order probabilistic programming languages. Programming Languages and Systems LNCS 13990, 535.","journal-title":"Programming Languages and Systems LNCS"},{"volume-title":"Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference","author":"Lund\u00e9n Daniel","key":"e_1_3_2_1_19_1","unstructured":"Daniel Lund\u00e9n, Joey \u00d6hman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, and David Broman. 2022. Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference. In Programming Languages and Systems, Ilya Sergey (Ed.). Springer International Publishing, Cham. 29\u201356. isbn:978-3-030-99336-8"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS),\u00a0Lanzarote, Spain","author":"Murray Lawrence","year":"2018","unstructured":"Lawrence Murray, Daniel Lund\u00e9n, Jan Kudlicka, David Broman, and Thomas B. Sch\u00f6n. 2018. Delayed sampling and automatic Rao-Blackwellization of probabilistic programs. In Proceedings of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS),\u00a0Lanzarote, Spain, April, 2018 : (Proceedings of Machine Learning Research, Vol. 84). http:\/\/proceedings.mlr.press\/v84\/murray18a\/murray18a.pdf"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.10.013"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2892753.2892895"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-7152(96)00140-X"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1953048.2078195"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the 19th International Conference on Artificial Intelligence and Statistics. 51","author":"Ritchie Daniel","year":"2016","unstructured":"Daniel Ritchie, Andreas Stuhlm\u00fcller, and Noah Goodman. 2016. C3: Lightweight Incrementalized MCMC for Probabilistic Programs using Continuations and Callsite Caching. In Proceedings of the 19th International Conference on Artificial Intelligence and Statistics. 51, PMLR, Cadiz, Spain. 28\u201337."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454078"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009852"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 14th International Conference on Artificial Intelligence and Statistics. 15","author":"Wingate David","year":"2011","unstructured":"David Wingate, Andreas Stuhlmueller, and Noah Goodman. 2011. Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation. In Proceedings of the 14th International Conference on Artificial Intelligence and Statistics. 15, PMLR, 770\u2013778."}],"event":{"name":"SLE '24: 17th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN SIGPLAN"],"location":"Pasadena CA USA","acronym":"SLE '24"},"container-title":["Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3687997.3695634","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3687997.3695634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:58Z","timestamp":1750295398000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3687997.3695634"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,17]]},"references-count":28,"alternative-id":["10.1145\/3687997.3695634","10.1145\/3687997"],"URL":"https:\/\/doi.org\/10.1145\/3687997.3695634","relation":{},"subject":[],"published":{"date-parts":[[2024,10,17]]},"assertion":[{"value":"2024-10-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}