{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:22:08Z","timestamp":1750220528075,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T00:00:00Z","timestamp":1629244800000},"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":[[2021,8,20]]},"DOI":"10.1145\/3468264.3468593","type":"proceedings-article","created":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T01:44:18Z","timestamp":1629337458000},"page":"1166-1177","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Symbolic parallel adaptive importance sampling for probabilistic program analysis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0547-411X","authenticated-orcid":false,"given":"Yicheng","family":"Luo","sequence":"first","affiliation":[{"name":"University College London, UK \/ Imperial College London, UK"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9646-646X","authenticated-orcid":false,"given":"Antonio","family":"Filieri","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3103-5535","authenticated-orcid":false,"given":"Yuan","family":"Zhou","sequence":"additional","affiliation":[{"name":"DII, China"}]}],"member":"320","published-online":{"date-parts":[[2021,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29828-8_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236064"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786832"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594329"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213867"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8438-9_6"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908)","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908) . USENIX Association, 209\u2013224. Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908). USENIX Association, 209\u2013224."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics, Carlos M. Carvalho and Pradeep Ravikumar (Eds.) (Proceedings of Machine Learning Research","volume":"160","author":"Chaganty Arun","year":"2013","unstructured":"Arun Chaganty , Aditya Nori , and Sriram Rajamani . 2013 . Efficiently Sampling Probabilistic Programs via Program Analysis . In Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics, Carlos M. Carvalho and Pradeep Ravikumar (Eds.) (Proceedings of Machine Learning Research , Vol. 31). PMLR, 153\u2013 160 . Arun Chaganty, Aditya Nori, and Sriram Rajamani. 2013. Efficiently Sampling Probabilistic Programs via Program Analysis. In Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics, Carlos M. Carvalho and Pradeep Ravikumar (Eds.) (Proceedings of Machine Learning Research, Vol. 31). PMLR, 153\u2013160."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884794"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE5003.2020.00023"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-60074-1_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23404-5_15"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606608"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635899"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336773"},{"key":"e_1_3_2_1_18_1","unstructured":"Alexandre Goldsztejn and Gilles Chabert. 2021. ibex-lib. http:\/\/www.ibex-lib.org  Alexandre Goldsztejn and Gilles Chabert. 2021. ibex-lib. http:\/\/www.ibex-lib.org"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132973.1132980"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2016.7778091"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"volume-title":"2nd International Conference on Learning Representations, ICLR 2014, Banff, AB, Canada, April 14-16, 2014, Conference Track Proceedings.","author":"Diederik","key":"e_1_3_2_1_23_1","unstructured":"Diederik P. Kingma and Max Welling. 2014. Auto-Encoding Variational Bayes .. In 2nd International Conference on Learning Representations, ICLR 2014, Banff, AB, Canada, April 14-16, 2014, Conference Track Proceedings. Diederik P. Kingma and Max Welling. 2014. Auto-Encoding Variational Bayes.. In 2nd International Conference on Learning Representations, ICLR 2014, Banff, AB, Canada, April 14-16, 2014, Conference Track Proceedings."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2643011"},{"key":"e_1_3_2_1_25_1","unstructured":"Yicheng Luo and Antonio Filieri. 2021. SYMPAIS Implementation. https:\/\/github.com\/ethanluoyc\/sympais  Yicheng Luo and Antonio Filieri. 2021. SYMPAIS Implementation. https:\/\/github.com\/ethanluoyc\/sympais"},{"key":"e_1_3_2_1_26_1","unstructured":"Yicheng Luo Antonio Filieri and Yuan Zhou. 2021. Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis. arxiv:2010.05050.  Yicheng Luo Antonio Filieri and Yuan Zhou. 2021. Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis. arxiv:2010.05050."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00030"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11222-016-9642-5"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1699114"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1201\/b10905-6"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2892753.2892895"},{"key":"e_1_3_2_1_32_1","unstructured":"Art B. Owen. 2013. Monte Carlo Theory Methods and Examples. https:\/\/statweb.stanford.edu\/~owen\/mc\/  Art B. Owen. 2013. Monte Carlo Theory Methods and Examples. https:\/\/statweb.stanford.edu\/~owen\/mc\/"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2017.8"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/b98885"},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the 32nd International Conference on Machine Learning, Francis Bach and David Blei (Eds.) (Proceedings of Machine Learning Research","volume":"1538","author":"Rezende Danilo","year":"2015","unstructured":"Danilo Rezende and Shakir Mohamed . 2015 . Variational Inference with Normalizing Flows . In Proceedings of the 32nd International Conference on Machine Learning, Francis Bach and David Blei (Eds.) (Proceedings of Machine Learning Research , Vol. 37). PMLR, 1530\u2013 1538 . Danilo Rezende and Shakir Mohamed. 2015. Variational Inference with Normalizing Flows. In Proceedings of the 32nd International Conference on Machine Learning, Francis Bach and David Blei (Eds.) (Proceedings of Machine Learning Research, Vol. 37). PMLR, 1530\u20131538."},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the 31st International Conference on Machine Learning, Eric P. Xing and Tony Jebara (Eds.) (Proceedings of Machine Learning Research","volume":"1286","author":"Rezende Danilo Jimenez","year":"2014","unstructured":"Danilo Jimenez Rezende , Shakir Mohamed , and Daan Wierstra . 2014 . Stochastic Backpropagation and Approximate Inference in Deep Generative Models . In Proceedings of the 31st International Conference on Machine Learning, Eric P. Xing and Tony Jebara (Eds.) (Proceedings of Machine Learning Research , Vol. 32). PMLR, 1278\u2013 1286 . Danilo Jimenez Rezende, Shakir Mohamed, and Daan Wierstra. 2014. Stochastic Backpropagation and Approximate Inference in Deep Generative Models. In Proceedings of the 31st International Conference on Machine Learning, Eric P. Xing and Tony Jebara (Eds.) (Proceedings of Machine Learning Research, Vol. 32). PMLR, 1278\u20131286."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462179"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1080\/00031305.1984.10483182"},{"key":"e_1_3_2_1_40_1","unstructured":"Jun Shao S Fienberg and I Olkin. 2008. Mathematical Statistics.. isbn:978-0-387-21718-5  Jun Shao S Fienberg and I Olkin. 2008. Mathematical Statistics.. isbn:978-0-387-21718-5"},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the 37th International Conference on Machine Learning, Hal Daum\u00e9 III and Aarti Singh (Eds.) (Proceedings of Machine Learning Research","volume":"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 Proceedings of the 37th International Conference on Machine Learning, Hal Daum\u00e9 III and Aarti Singh (Eds.) (Proceedings of Machine Learning Research , Vol. 119). PMLR, 11534\u2013 11545 . 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 Proceedings of the 37th International Conference on Machine Learning, Hal Daum\u00e9 III and Aarti Singh (Eds.) (Proceedings of Machine Learning Research, Vol. 119). PMLR, 11534\u201311545."}],"event":{"name":"ESEC\/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Athens Greece","acronym":"ESEC\/FSE '21"},"container-title":["Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3468593","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3468264.3468593","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:51Z","timestamp":1750195491000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3468593"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,18]]},"references-count":41,"alternative-id":["10.1145\/3468264.3468593","10.1145\/3468264"],"URL":"https:\/\/doi.org\/10.1145\/3468264.3468593","relation":{},"subject":[],"published":{"date-parts":[[2021,8,18]]},"assertion":[{"value":"2021-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}