{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:02:10Z","timestamp":1750309330385,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"funder":[{"name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","award":["886385"],"award-info":[{"award-number":["886385"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3691620.3695031","type":"proceedings-article","created":{"date-parts":[[2024,10,18]],"date-time":"2024-10-18T15:39:19Z","timestamp":1729265959000},"page":"78-90","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Language-Agnostic Static Analysis of Probabilistic Programs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-6704-5903","authenticated-orcid":false,"given":"Markus","family":"B\u00f6ck","sequence":"first","affiliation":[{"name":"TU Wien, Vienna, Vienna, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1496-0531","authenticated-orcid":false,"given":"Michael","family":"Schr\u00f6der","sequence":"additional","affiliation":[{"name":"TU Wien, Vienna, Vienna, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8619-1271","authenticated-orcid":false,"given":"J\u00fcrgen","family":"Cito","sequence":"additional","affiliation":[{"name":"TU Wien, Vienna, Vienna, Austria"}]}],"member":"320","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-0427(00)00342-3"},{"volume-title":"Foundations of Probabilistic Programming","author":"Barthe Gilles","key":"e_1_3_2_1_2_1","unstructured":"Gilles Barthe, Joost-Pieter Katoen, and Alexandra Silva. 2020. Foundations of Probabilistic Programming. Cambridge University Press."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454058"},{"key":"e_1_3_2_1_4_1","volume-title":"Static analysis for probabilistic programs. arXiv preprint arXiv:1909.05076","author":"Bernstein Ryan","year":"2019","unstructured":"Ryan Bernstein. 2019. Static analysis for probabilistic programs. arXiv preprint arXiv:1909.05076 (2019)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3412815.3416896"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v098.i16"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/3322706.3322734"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.13756900"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491423"},{"volume-title":"Engineering a compiler","author":"Cooper Keith D","key":"e_1_3_2_1_11_1","unstructured":"Keith D Cooper and Linda Torczon. 2011. Engineering a compiler. Elsevier."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_13_1","volume-title":"Using probabilistic programs as proposals. arXiv preprint arXiv:1801.03612","author":"Cusumano-Towner Marco F","year":"2018","unstructured":"Marco F Cusumano-Towner and Vikash K Mansinghka. 2018. Using probabilistic programs as proposals. arXiv preprint arXiv:1801.03612 (2018)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314642"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923410"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606588"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2803171"},{"key":"e_1_3_2_1_20_1","unstructured":"EvoArt. [n. d.]. HMC issue in the Julia Turing Forum. https:\/\/discourse.julialang.org\/t\/turing-inexacterror-for-discreteuniform-distribution-with-nuts-sampler\/52820. Accessed: 2023-07-24."},{"key":"e_1_3_2_1_21_1","volume-title":"International conference on artificial intelligence and statistics. PMLR, 1682--1690","author":"Ge Hong","year":"2018","unstructured":"Hong Ge, Kai Xu, and Zoubin Ghahramani. 2018. Turing: a language for flexible probabilistic inference. In International conference on artificial intelligence and statistics. PMLR, 1682--1690."},{"volume-title":"Bayesian data analysis","author":"Gelman Andrew","key":"e_1_3_2_1_22_1","unstructured":"Andrew Gelman, John B Carlin, Hal S Stern, and Donald B Rubin. 1995. Bayesian data analysis. Chapman and Hall\/CRC."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593900"},{"key":"e_1_3_2_1_24_1","volume-title":"Workshop on Probabilistic Programming Languages, Semantics, and Systems (PPS). https:\/\/pps2018","author":"Gorinova Maria I","year":"2018","unstructured":"Maria I Gorinova, Andrew D Gordon, and Charles Sutton. 2018. SlicStan: Improving Probabilistic Programming using Information Flow Analysis. In Workshop on Probabilistic Programming Languages, Semantics, and Systems (PPS). https:\/\/pps2018.soic.indiana.edu\/files\/2017\/12\/SlicStanPPS.pdf."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858036.2858221"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-81-322-2268-2_59"},{"volume-title":"Computer architecture: a quantitative approach","author":"Hennessy John L","key":"e_1_3_2_1_27_1","unstructured":"John L Hennessy and David A Patterson. 2011. Computer architecture: a quantitative approach. Elsevier."},{"key":"e_1_3_2_1_28_1","first-page":"1593","article-title":"The No-U-Turn sampler: adaptively setting path lengths in Hamiltonian Monte Carlo","volume":"15","author":"Hoffman Matthew D","year":"2014","unstructured":"Matthew D Hoffman, Andrew Gelman, et al. 2014. The No-U-Turn sampler: adaptively setting path lengths in Hamiltonian Monte Carlo. J. Mach. Learn. Res. 15, 1 (2014), 1593--1623.","journal-title":"J. Mach. Learn. Res."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-016-0282-x"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594303"},{"key":"e_1_3_2_1_31_1","unstructured":"jianlin. [n. d.]. HMC issue in the Pyro Forum. https:\/\/forum.pyro.ai\/t\/mcmc-discrete-rv-parallelization-is-there-anyway-to-stop-pyro-automatically-vectorizing-tensors\/4160. Accessed: 2023-07-24."},{"volume-title":"Bayes rules!: An introduction to applied Bayesian modeling","author":"Johnson Alicia A","key":"e_1_3_2_1_32_1","unstructured":"Alicia A Johnson, Miles Q Ott, and Mine Dogucu. 2022. Bayes rules!: An introduction to applied Bayesian modeling. Chapman and Hall\/CRC."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"volume-title":"Probabilistic graphical models: principles and techniques","author":"Koller Daphne","key":"e_1_3_2_1_34_1","unstructured":"Daphne Koller and Nir Friedman. 2009. Probabilistic graphical models: principles and techniques. MIT press."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"volume-title":"Bayesian cognitive modeling: A practical course","author":"Lee Michael D","key":"e_1_3_2_1_36_1","unstructured":"Michael D Lee and Eric-Jan Wagenmakers. 2014. Bayesian cognitive modeling: A practical course. Cambridge university press."},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the ACM on Programming Languages 4, POPL","author":"Lee Wonyeol","year":"2019","unstructured":"Wonyeol Lee, Hangyeol Yu, Xavier Rival, and Hongseok Yang. 2019. Towards verified stochastic variational inference for probabilistic programs. Proceedings of the ACM on Programming Languages 4, POPL (2019), 1--33."},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the ACM on Programming Languages 4, POPL","author":"Lew Alexander K","year":"2019","unstructured":"Alexander K Lew, Marco F Cusumano-Towner, Benjamin Sherman, Michael Carbin, and Vikash K Mansinghka. 2019. Trace types and denotational semantics for sound programmable inference in probabilistic languages. Proceedings of the ACM on Programming Languages 4, POPL (2019), 1--32."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571243"},{"key":"e_1_3_2_1_40_1","volume-title":"Hugo Paquet, and Dominik Wagner.","author":"Mak Carol","year":"2021","unstructured":"Carol Mak, C-H Luke Ong, Hugo Paquet, and Dominik Wagner. 2021. Densities of almost surely terminating probabilistic programs are differentiable almost everywhere. In Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings 30. Springer International Publishing, 432--461."},{"key":"e_1_3_2_1_41_1","volume-title":"Nonparametric Hamiltonian Monte Carlo. In International Conference on Machine Learning. PMLR, 7336--7347","author":"Mak Carol","year":"2021","unstructured":"Carol Mak, Fabian Zaiser, and Luke Ong. 2021. Nonparametric Hamiltonian Monte Carlo. In International Conference on Machine Learning. PMLR, 7336--7347."},{"volume-title":"Statistical rethinking: A Bayesian course with examples in R and Stan","author":"McElreath Richard","key":"e_1_3_2_1_42_1","unstructured":"Richard McElreath. 2018. Statistical rethinking: A Bayesian course with examples in R and Stan. Chapman and Hall\/CRC."},{"key":"e_1_3_2_1_43_1","volume-title":"refraction, and hamiltonian monte carlo. Advances in neural information processing systems 28","author":"Afshar Hadi Mohasel","year":"2015","unstructured":"Hadi Mohasel Afshar and Justin Domke. 2015. Reflection, refraction, and hamiltonian monte carlo. Advances in neural information processing systems 28 (2015)."},{"volume-title":"Interval analysis","author":"Moore Ramon E","key":"e_1_3_2_1_44_1","unstructured":"Ramon E Moore. 1966. Interval analysis. Vol. 4. Prentice-Hall Englewood Cliffs."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3088525.3088564"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/asz083"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v28i1.9060"},{"key":"e_1_3_2_1_48_1","volume-title":"PyTorch: An Imperative Style","author":"Paszke Adam","year":"1912","unstructured":"Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, Alban Desmaison, Andreas K\u00f6pf, Edward Yang, Zach DeVito, Martin Raison, Alykhan Tejani, Sasank Chilamkurthy, Benoit Steiner, Lu Fang, Junjie Bai, and Soumith Chintala. 2019. PyTorch: An Imperative Style, High-Performance Deep Learning Library. arXiv:1912.01703 [cs.LG]"},{"key":"e_1_3_2_1_49_1","unstructured":"pymc devs. 2024. pymc-resources. https:\/\/github.com\/pymc-devs\/pymc-resources\/tree\/a5f993653e467da11e9fc4ec682e96d59b880102."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818828"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.55"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594294"},{"key":"e_1_3_2_1_53_1","unstructured":"StatisticalRethinkingJulia. 2024. SR2TuringPluto. https:\/\/github.com\/StatisticalRethinkingJulia\/SR2TuringPluto.jl\/tree\/75072280947a45f030bd45a62710c558d60a2a80."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935313"},{"key":"e_1_3_2_1_55_1","volume-title":"International Conference on Probabilistic Graphical Models. PMLR, 485--496","author":"Tehrani Nazanin","year":"2020","unstructured":"Nazanin Tehrani, Nimar S Arora, Yucen Lily Li, Kinjal Divesh Shah, David Noursi, Michael Tingley, Narjes Torabi, Eric Lippert, Erik Meijer, et al. 2020. Bean machine: A declarative probabilistic programming language for efficient programmable inference. In International Conference on Probabilistic Graphical Models. PMLR, 485--496."},{"key":"e_1_3_2_1_56_1","unstructured":"TuringLang. 2024. TuringTutorials. https:\/\/github.com\/TuringLang\/TuringTutorials\/tree\/8515a567321adf1531974dd14eb29c00eea05648."},{"key":"e_1_3_2_1_57_1","volume-title":"An introduction to probabilistic programming. arXiv preprint arXiv: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. arXiv preprint arXiv:1809.10756 (2018)."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454077"},{"key":"e_1_3_2_1_59_1","volume-title":"The 22nd International Conference on Artificial Intelligence and Statistics. PMLR, 148--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. PMLR, 148--157."},{"key":"e_1_3_2_1_60_1","volume-title":"International Conference on Machine Learning. PMLR, 11534--11545","author":"Zhou Yuan","year":"2020","unstructured":"Yuan Zhou, Hongseok Yang, Yee Whye Teh, and Tom Rainforth. 2020. Divide, conquer, and combine: a new inference strategy for probabilistic programs with stochastic support. In International Conference on Machine Learning. PMLR, 11534--11545."},{"key":"e_1_3_2_1_61_1","volume-title":"Language-agnostic representation learning of source code from structure and context. arXiv preprint arXiv:2103.11318","author":"Z\u00fcgner Daniel","year":"2021","unstructured":"Daniel Z\u00fcgner, Tobias Kirschstein, Michele Catasta, Jure Leskovec, and Stephan G\u00fcnnemann. 2021. Language-agnostic representation learning of source code from structure and context. arXiv preprint arXiv:2103.11318 (2021)."}],"event":{"name":"ASE '24: 39th IEEE\/ACM International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Sacramento CA USA","acronym":"ASE '24"},"container-title":["Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695031","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3691620.3695031","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:07Z","timestamp":1750291447000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695031"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":60,"alternative-id":["10.1145\/3691620.3695031","10.1145\/3691620"],"URL":"https:\/\/doi.org\/10.1145\/3691620.3695031","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2024-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}