{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:13:35Z","timestamp":1760044415956,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T00:00:00Z","timestamp":1676592000000},"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":[[2023,2,17]]},"DOI":"10.1145\/3578360.3580258","type":"proceedings-article","created":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T20:20:06Z","timestamp":1676665206000},"page":"13-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Compiling Discrete Probabilistic Programs for Vectorized Exact Inference"],"prefix":"10.1145","author":[{"given":"Jingwen","family":"Pan","sequence":"first","affiliation":[{"name":"University of Edinburgh, Edinburgh, UK"}]},{"given":"Amir","family":"Shaikhha","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, UK"}]}],"member":"320","published-online":{"date-parts":[[2023,2,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.25080\/Majora-7b98e3ed-001"},{"key":"e_1_3_2_1_2_1","first-page":"1","article-title":"Automatic differentiation in machine learning: a survey","volume":"18","author":"Baydin Atilim Gunes","year":"2018","unstructured":"Atilim Gunes Baydin , Barak A Pearlmutter , Alexey Andreyevich Radul , and Jeffrey Mark Siskind . 2018 . Automatic differentiation in machine learning: a survey . Journal of Marchine Learning Research , 18 (2018), 1 \u2013 43 . Atilim Gunes Baydin, Barak A Pearlmutter, Alexey Andreyevich Radul, and Jeffrey Mark Siskind. 2018. Automatic differentiation in machine learning: a survey. Journal of Marchine Learning Research, 18 (2018), 1\u201343.","journal-title":"Journal of Marchine Learning Research"},{"key":"e_1_3_2_1_3_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_4_1","first-page":"1","article-title":"Stan : A Probabilistic Programming Language","volume":"76","author":"Carpenter Bob","year":"2017","unstructured":"Bob Carpenter , Andrew Gelman , Matthew D. Hoffman , Daniel Lee , Ben Goodrich , Michael Betancourt , Marcus Brubaker , Jiqiang Guo , Peter Li , and Allen Riddell . 2017 . Stan : A Probabilistic Programming Language . Grantee Submission , 76 , 1 (2017), 1 \u2013 32 . issn:1548-7660 Bob Carpenter, Andrew Gelman, Matthew D. Hoffman, Daniel Lee, Ben Goodrich, Michael Betancourt, Marcus Brubaker, Jiqiang Guo, Peter Li, and Allen Riddell. 2017. Stan : A Probabilistic Programming Language. Grantee Submission, 76, 1 (2017), 1\u201332. issn:1548-7660","journal-title":"Grantee Submission"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"key":"e_1_3_2_1_6_1","unstructured":"Arun T. Chaganty Aditya Nori and Sriram Rajamani. 2013. Efficiently Sampling Probabilistic Programs via Program Analysis. In Artificial Intelligence and Statistics (AISTATS) (artificial intelligence and statistics (aistats) ed.). https:\/\/www.microsoft.com\/en-us\/research\/publication\/efficiently-sampling-probabilistic-programs-via-program-analysis\/ \t\t\t\t  Arun T. Chaganty Aditya Nori and Sriram Rajamani. 2013. Efficiently Sampling Probabilistic Programs via Program Analysis. In Artificial Intelligence and Statistics (AISTATS) (artificial intelligence and statistics (aistats) ed.). https:\/\/www.microsoft.com\/en-us\/research\/publication\/efficiently-sampling-probabilistic-programs-via-program-analysis\/"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.11.002"},{"key":"e_1_3_2_1_8_1","unstructured":"Adnan Darwiche. 2020. An advance on variable elimination with applications to tensor-based computation. arXiv preprint arXiv:2002.09320. \t\t\t\t  Adnan Darwiche. 2020. An advance on variable elimination with applications to tensor-based computation. arXiv preprint arXiv:2002.09320."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 20th International Joint Conference on Artifical Intelligence (IJCAI\u201907)","author":"Raedt Luc De","year":"2007","unstructured":"Luc De Raedt , Angelika Kimmig , and Hannu Toivonen . 2007 . ProbLog: A Probabilistic Prolog and Its Application in Link Discovery . In Proceedings of the 20th International Joint Conference on Artifical Intelligence (IJCAI\u201907) . Morgan Kaufmann Publishers Inc., San Francisco, CA, USA. 2468\u20132473. Luc De Raedt, Angelika Kimmig, and Hannu Toivonen. 2007. ProbLog: A Probabilistic Prolog and Its Application in Link Discovery. In Proceedings of the 20th International Joint Conference on Artifical Intelligence (IJCAI\u201907). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA. 2468\u20132473."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/375663.375727"},{"key":"e_1_3_2_1_13_1","unstructured":"Noah Goodman Vikash Mansinghka Daniel M Roy Keith Bonawitz and Joshua B Tenenbaum. 2012. Church: a language for generative models. arXiv preprint arXiv:1206.3255. \t\t\t\t  Noah Goodman Vikash Mansinghka Daniel M Roy Keith Bonawitz and Joshua B Tenenbaum. 2012. Church: a language for generative models. arXiv preprint arXiv:1206.3255."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593900"},{"key":"e_1_3_2_1_15_1","unstructured":"Li Haoyi. [n.d.]. Writing Fast Parsers Fast in Scala.  https:\/\/github.com\/com-lihaoyi\/fastparse \t\t\t\t  Li Haoyi. [n.d.]. Writing Fast Parsers Fast in Scala.  https:\/\/github.com\/com-lihaoyi\/fastparse"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the ACM on Programming Languages, 4, OOPSLA","author":"Holtzen Steven","year":"2020","unstructured":"Steven Holtzen , Guy Van den Broeck , and Todd Millstein . 2020 . Scaling exact inference for discrete probabilistic programs . Proceedings of the ACM on Programming Languages, 4, OOPSLA (2020), 1\u201331. Steven Holtzen, Guy Van den Broeck, and Todd Millstein. 2020. Scaling exact inference for discrete probabilistic programs. Proceedings of the ACM on Programming Languages, 4, OOPSLA (2020), 1\u201331."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Oleg Kiselyov and Chung-Chieh Shan. 2009. Embedded probabilistic programming. In Domain-Specific Languages. 360\u2013384. \t\t\t\t  Oleg Kiselyov and Chung-Chieh Shan. 2009. Embedded probabilistic programming. In Domain-Specific Languages. 360\u2013384.","DOI":"10.1007\/978-3-642-03034-5_17"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133901"},{"key":"e_1_3_2_1_19_1","volume-title":"Probable networks and plausible predictions-a review of practical Bayesian methods for supervised neural networks. Network: computation in neural systems, 6, 3","author":"MacKay David JC","year":"1995","unstructured":"David JC MacKay . 1995. Probable networks and plausible predictions-a review of practical Bayesian methods for supervised neural networks. Network: computation in neural systems, 6, 3 ( 1995 ), 469. David JC MacKay. 1995. Probable networks and plausible predictions-a review of practical Bayesian methods for supervised neural networks. Network: computation in neural systems, 6, 3 (1995), 469."},{"key":"e_1_3_2_1_20_1","unstructured":"T. Minka J.M. Winn J.P. Guiver Y. Zaykov D. Fabian and J. Bronskill. 2018. \/Infer.NET 0.3. Microsoft Research Cambridge. http:\/\/dotnet.github.io\/infer. \t\t\t\t  T. Minka J.M. Winn J.P. Guiver Y. Zaykov D. Fabian and J. Bronskill. 2018. \/Infer.NET 0.3. Microsoft Research Cambridge. http:\/\/dotnet.github.io\/infer."},{"volume-title":"Bayesian learning for neural networks. 118","author":"Neal Radford M","key":"e_1_3_2_1_21_1","unstructured":"Radford M Neal . 2012. Bayesian learning for neural networks. 118 , Springer Science & Business Media . Radford M Neal. 2012. Bayesian learning for neural networks. 118, Springer Science & Business Media."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31","author":"Nori Aditya V.","year":"2014","unstructured":"Aditya V. Nori , Chung-Kil Hur , Sriram K. Rajamani , and Selva Samuel . 2014 . R2: An Efficient MCMC Sampler for Probabilistic Programs . In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31 , 2014, Qu\u00e9bec City, Qu\u00e9bec, Canada, Carla E. Brodley and Peter Stone (Eds.). AAAI Press, 2476\u20132482. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI14\/paper\/view\/8192 Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, and Selva Samuel. 2014. R2: An Efficient MCMC Sampler for Probabilistic Programs. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Qu\u00e9bec City, Qu\u00e9bec, Canada, Carla E. Brodley and Peter Stone (Eds.). AAAI Press, 2476\u20132482. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI14\/paper\/view\/8192"},{"key":"e_1_3_2_1_23_1","volume-title":"International Conference on Machine Learning. 4871\u20134880","author":"Obermeyer Fritz","year":"2019","unstructured":"Fritz Obermeyer , Eli Bingham , Martin Jankowiak , Neeraj Pradhan , Justin Chiu , Alexander Rush , and Noah Goodman . 2019 . Tensor variable elimination for plated factor graphs . In International Conference on Machine Learning. 4871\u20134880 . Fritz Obermeyer, Eli Bingham, Martin Jankowiak, Neeraj Pradhan, Justin Chiu, Alexander Rush, and Noah Goodman. 2019. Tensor variable elimination for plated factor graphs. In International Conference on Machine Learning. 4871\u20134880."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3156018"},{"key":"e_1_3_2_1_25_1","volume-title":"International Conference on Machine Learning. 7563\u20137574","author":"Peharz Robert","year":"2020","unstructured":"Robert Peharz , Steven Lang , Antonio Vergari , Karl Stelzner , Alejandro Molina , Martin Trapp , Guy Van den Broeck , Kristian Kersting , and Zoubin Ghahramani . 2020 . Einsum networks: Fast and scalable learning of tractable probabilistic circuits . In International Conference on Machine Learning. 7563\u20137574 . Robert Peharz, Steven Lang, Antonio Vergari, Karl Stelzner, Alejandro Molina, Martin Trapp, Guy Van den Broeck, Kristian Kersting, and Zoubin Ghahramani. 2020. Einsum networks: Fast and scalable learning of tractable probabilistic circuits. In International Conference on Machine Learning. 7563\u20137574."},{"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\/3341701"},{"key":"e_1_3_2_1_28_1","volume-title":"Proc. of the ACM on Prog. Lang., 6, OOPSLA1","author":"Shaikhha Amir","year":"2022","unstructured":"Amir Shaikhha , Mathieu Huot , Jaclyn Smith , and Dan Olteanu . 2022 . Functional collection programming with semi-ring dictionaries . Proc. of the ACM on Prog. Lang., 6, OOPSLA1 (2022), 1\u201333. Amir Shaikhha, Mathieu Huot, Jaclyn Smith, and Dan Olteanu. 2022. Functional collection programming with semi-ring dictionaries. Proc. of the ACM on Prog. Lang., 6, OOPSLA1 (2022), 1\u201333."},{"key":"e_1_3_2_1_29_1","volume-title":"How to Architect a Query Compiler. SIGMOD\u201916","author":"Shaikhha Amir","year":"1907","unstructured":"Amir Shaikhha , Yannis Klonatos , Lionel Parreaux , Lewis Brown , Mohammad Dashti , and Christoph Koch . 2016. How to Architect a Query Compiler. SIGMOD\u201916 . ACM , New York, NY, USA . 1907 \u20131922. isbn:978-1-4503-3531-7 Amir Shaikhha, Yannis Klonatos, Lionel Parreaux, Lewis Brown, Mohammad Dashti, and Christoph Koch. 2016. How to Architect a Query Compiler. SIGMOD\u201916. ACM, New York, NY, USA. 1907\u20131922. isbn:978-1-4503-3531-7"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP\u201919)","author":"Shaikhha Amir","year":"2019","unstructured":"Amir Shaikhha and Lionel Parreaux . 2019 . Finally, a Polymorphic Linear Algebra Language . In Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP\u201919) . Amir Shaikhha and Lionel Parreaux. 2019. Finally, a Polymorphic Linear Algebra Language. In Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP\u201919)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.21105\/joss.00753"},{"key":"e_1_3_2_1_32_1","unstructured":"Jan-Willem van de Meent Brooks Paige Hongseok Yang and Frank Wood. 2018. An introduction to probabilistic programming. arXiv preprint arXiv:1809.10756. \t\t\t\t  Jan-Willem van de Meent Brooks Paige Hongseok Yang and Frank Wood. 2018. An introduction to probabilistic programming. arXiv preprint arXiv:1809.10756."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3486606.3488075"},{"key":"e_1_3_2_1_34_1","unstructured":"David Wingate and Theophane Weber. 2013. Automated Variational Inference in Probabilistic Programming. arXiv e-prints Article arXiv:1301.1299 Jan. arXiv:1301.1299 pages. arxiv:1301.1299. \t\t\t\t  David Wingate and Theophane Weber. 2013. Automated Variational Inference in Probabilistic Programming. arXiv e-prints Article arXiv:1301.1299 Jan. arXiv:1301.1299 pages. arxiv:1301.1299."},{"key":"e_1_3_2_1_35_1","volume-title":"Bayescard: Revitilizing bayesian frameworks for cardinality estimation. arXiv preprint arXiv:2012.14743.","author":"Wu Ziniu","year":"2020","unstructured":"Ziniu Wu , Amir Shaikhha , Rong Zhu , Kai Zeng , Yuxing Han , and Jingren Zhou . 2020 . Bayescard: Revitilizing bayesian frameworks for cardinality estimation. arXiv preprint arXiv:2012.14743. Ziniu Wu, Amir Shaikhha, Rong Zhu, Kai Zeng, Yuxing Han, and Jingren Zhou. 2020. Bayescard: Revitilizing bayesian frameworks for cardinality estimation. arXiv preprint arXiv:2012.14743."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.14778\/3368289.3368294"}],"event":{"name":"CC '23: 32nd ACM SIGPLAN International Conference on Compiler Construction","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Montr\u00e9al QC Canada","acronym":"CC '23"},"container-title":["Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578360.3580258","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3578360.3580258","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:52Z","timestamp":1750178812000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578360.3580258"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,17]]},"references-count":36,"alternative-id":["10.1145\/3578360.3580258","10.1145\/3578360"],"URL":"https:\/\/doi.org\/10.1145\/3578360.3580258","relation":{},"subject":[],"published":{"date-parts":[[2023,2,17]]},"assertion":[{"value":"2023-02-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}