{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:24:43Z","timestamp":1759332283571,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:00:00Z","timestamp":1559952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ARC","award":["DP170103956,DP180104069"],"award-info":[{"award-number":["DP170103956,DP180104069"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314623","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"237-252","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Incremental precision-preserving symbolic inference for probabilistic programs"],"prefix":"10.1145","author":[{"given":"Jieyuan","family":"Zhang","sequence":"first","affiliation":[{"name":"UNSW, Australia"}]},{"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[{"name":"UNSW, Australia"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Proceedings of the 20th International Conference on Neural Information Processing Systems . Curran Associates Inc., 1441\u20131448","author":"Acar Umut A","year":"2007","unstructured":"Umut A Acar , Alexander T Ihler , Ramgopal R Mettu , and \u00d6zg\u00fcr S\u00fcmer . 2007 . Adaptive bayesian inference . In Proceedings of the 20th International Conference on Neural Information Processing Systems . Curran Associates Inc., 1441\u20131448 . Umut A Acar, Alexander T Ihler, Ramgopal R Mettu, and \u00d6zg\u00fcr S\u00fcmer. 2007. Adaptive bayesian inference. In Proceedings of the 20th International Conference on Neural Information Processing Systems . Curran Associates Inc., 1441\u20131448."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568243"},{"volume-title":"Observing interaction: An introduction to sequential analysis","author":"Bakeman Roger","key":"e_1_3_2_2_3_1","unstructured":"Roger Bakeman and John M Gottman . 1997. Observing interaction: An introduction to sequential analysis . Cambridge university press . Roger Bakeman and John M Gottman. 1997. Observing interaction: An introduction to sequential analysis . Cambridge university press."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158145"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_35"},{"key":"e_1_3_2_2_6_1","volume-title":"Fine-grained Semantics for Probabilistic Programs. In European Symposium on Programming . Springer, 145\u2013185","author":"Bichsel Benjamin","year":"2018","unstructured":"Benjamin Bichsel , Timon Gehr , and Martin Vechev . 2018 . Fine-grained Semantics for Probabilistic Programs. In European Symposium on Programming . Springer, 145\u2013185 . Benjamin Bichsel, Timon Gehr, and Martin Vechev. 2018. Fine-grained Semantics for Probabilistic Programs. In European Symposium on Programming . Springer, 145\u2013185."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951942"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"key":"e_1_3_2_2_9_1","unstructured":"Gert Cauwenberghs and Tomaso Poggio. 2001. Incremental and decremental support vector machine learning. In Advances in neural information processing systems . 409\u2013415. Gert Cauwenberghs and Tomaso Poggio. 2001. Incremental and decremental support vector machine learning. In Advances in neural information processing systems . 409\u2013415."},{"key":"e_1_3_2_2_10_1","unstructured":"Arun Tejasvi Chaganty Aditya V Nori and Sriram K Rajamani. 2013. Efficiently Sampling Probabilistic Programs via Program Analysis. In Artificial Intelligence and Statistics . 153\u2013160. Arun Tejasvi Chaganty Aditya V Nori and Sriram K Rajamani. 2013. Efficiently Sampling Probabilistic Programs via Program Analysis. In Artificial Intelligence and Statistics . 153\u2013160."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1080\/00031305.1995.10476177","article-title":"Understanding the metropolis-hastings algorithm","volume":"49","author":"Chib Siddhartha","year":"1995","unstructured":"Siddhartha Chib and Edward Greenberg . 1995 . Understanding the metropolis-hastings algorithm . The American Statistician 49 , 4 (1995), 327 \u2013 335 . Siddhartha Chib and Edward Greenberg. 1995. Understanding the metropolis-hastings algorithm. The American Statistician 49, 4 (1995), 327\u2013335.","journal-title":"The American Statistician"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491423"},{"volume-title":"Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation . ACM, 571\u2013585","author":"Cusumano-Towner Marco","key":"e_1_3_2_2_13_1","unstructured":"Marco Cusumano-Towner , Benjamin Bichsel , Timon Gehr , Martin Vechev , and Vikash K. Mansinghka . 2018. Incremental Inference for Probabilistic Programs . In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation . ACM, 571\u2013585 . Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, and Vikash K. Mansinghka. 2018. Incremental Inference for Probabilistic Programs. In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation . ACM, 571\u2013585."},{"volume-title":"Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages . ACM, 25\u201335","author":"Cytron R.","key":"e_1_3_2_2_14_1","unstructured":"R. Cytron , J. Ferrante , B. K. Rosen , M. N. Wegman , and F. K. Zadeck . 1989. An Efficient Method of Computing Static Single Assignment Form . In Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages . ACM, 25\u201335 . R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. 1989. An Efficient Method of Computing Static Single Assignment Form. In Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages . ACM, 25\u201335."},{"volume-title":"Methods of numerical integration","author":"Davis Philip J","key":"e_1_3_2_2_15_1","unstructured":"Philip J Davis and Philip Rabinowitz . 2007. Methods of numerical integration . Courier Corporation . Philip J Davis and Philip Rabinowitz. 2007. Methods of numerical integration . Courier Corporation."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/645890.671269"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2009.2024147"},{"key":"e_1_3_2_2_18_1","volume-title":"Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence . Morgan Kaufmann Publishers Inc., 233\u2013240","author":"Flores M Julia","year":"2002","unstructured":"M Julia Flores , Jos\u00e9 A G\u00e1mez , and Kristian G Olesen . 2002 . Incremental compilation of Bayesian networks . In Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence . Morgan Kaufmann Publishers Inc., 233\u2013240 . M Julia Flores, Jos\u00e9 A G\u00e1mez, and Kristian G Olesen. 2002. Incremental compilation of Bayesian networks. In Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence . Morgan Kaufmann Publishers Inc., 233\u2013240."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_4"},{"key":"e_1_3_2_2_20_1","volume-title":"Church: a language for generative models. arXiv preprint arXiv:1206.3255","author":"Goodman Noah","year":"2012","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 ( 2012 ). 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 (2012)."},{"key":"e_1_3_2_2_21_1","unstructured":"Noah D Goodman and Andreas Stuhlm\u00fcller. 2014. The design and implementation of probabilistic programming languages. http:\/\/dippl. org Noah D Goodman and Andreas Stuhlm\u00fcller. 2014. The design and implementation of probabilistic programming languages. http:\/\/dippl. org"},{"key":"e_1_3_2_2_22_1","volume-title":"PSense: Automatic Sensitivity Analysis for Probabilistic Programs. In 16th International Symposium on Automated Technology for Verification and Analysis . Springer, 387\u2013403","author":"Huang Zixin","year":"2018","unstructured":"Zixin Huang , Zhenbang Wang , and Sasa Misailovic . 2018 . PSense: Automatic Sensitivity Analysis for Probabilistic Programs. In 16th International Symposium on Automated Technology for Verification and Analysis . Springer, 387\u2013403 . Zixin Huang, Zhenbang Wang, and Sasa Misailovic. 2018. PSense: Automatic Sensitivity Analysis for Probabilistic Programs. In 16th International Symposium on Automated Technology for Verification and Analysis . Springer, 387\u2013403."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594303"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_3_2_2_25_1","volume-title":"Proceedings of the National Conference on Artificial Intelligence . AAAI Press, 1173","author":"Li Wei","year":"2006","unstructured":"Wei Li , Peter Van Beek , and Pascal Poupart . 2006 . Performing incremental Bayesian inference by dynamic model counting . In Proceedings of the National Conference on Artificial Intelligence . AAAI Press, 1173 . Wei Li, Peter Van Beek, and Pascal Poupart. 2006. Performing incremental Bayesian inference by dynamic model counting. In Proceedings of the National Conference on Artificial Intelligence . AAAI Press, 1173."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37051-9_4"},{"key":"e_1_3_2_2_27_1","volume-title":"Venture: a higher-order probabilistic programming platform with programmable inference. arXiv preprint arXiv:1404.0099","author":"Mansinghka Vikash","year":"2014","unstructured":"Vikash Mansinghka , Daniel Selsam , and Yura Perov . 2014. Venture: a higher-order probabilistic programming platform with programmable inference. arXiv preprint arXiv:1404.0099 ( 2014 ). Vikash Mansinghka, Daniel Selsam, and Yura Perov. 2014. Venture: a higher-order probabilistic programming platform with programmable inference. arXiv preprint arXiv:1404.0099 (2014)."},{"key":"e_1_3_2_2_28_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. 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."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/646564.695921"},{"key":"e_1_3_2_2_30_1","volume-title":"Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence . Morgan Kaufmann Publishers Inc., 467\u2013475","author":"Murphy Kevin P","year":"1999","unstructured":"Kevin P Murphy , Yair Weiss , and Michael I Jordan . 1999 . Loopy belief propagation for approximate inference: An empirical study . In Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence . Morgan Kaufmann Publishers Inc., 467\u2013475 . Kevin P Murphy, Yair Weiss, and Michael I Jordan. 1999. Loopy belief propagation for approximate inference: An empirical study. In Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence . Morgan Kaufmann Publishers Inc., 467\u2013475."},{"key":"e_1_3_2_2_31_1","volume-title":"Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs. arXiv preprint arXiv:1708.07787","author":"Murray Lawrence M","year":"2017","unstructured":"Lawrence M Murray , Daniel Lund\u00e9n , Jan Kudlicka , David Broman , and Thomas B Sch\u00f6n . 2017. Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs. arXiv preprint arXiv:1708.07787 ( 2017 ). Lawrence M Murray, Daniel Lund\u00e9n, Jan Kudlicka, David Broman, and Thomas B Sch\u00f6n. 2017. Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs. arXiv preprint arXiv:1708.07787 (2017)."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29604-3_5"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110255"},{"key":"e_1_3_2_2_34_1","volume-title":"Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence . AAAI Press, 2476\u20132482","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 . AAAI Press, 2476\u20132482 . 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 . AAAI Press, 2476\u20132482."},{"key":"e_1_3_2_2_35_1","volume-title":"A compilation target for probabilistic programming languages. arXiv preprint arXiv:1403.0504","author":"Paige Brooks","year":"2014","unstructured":"Brooks Paige and Frank Wood . 2014. A compilation target for probabilistic programming languages. arXiv preprint arXiv:1403.0504 ( 2014 ). Brooks Paige and Frank Wood. 2014. A compilation target for probabilistic programming languages. arXiv preprint arXiv:1403.0504 (2014)."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993558"},{"volume-title":"Proceedings of the 3rd international workshop on distributed statistical computing","author":"Martyn","key":"e_1_3_2_2_37_1","unstructured":"Martyn Plummer et al. 2003. JAGS: A program for analysis of Bayesian graphical models using Gibbs sampling . In Proceedings of the 3rd international workshop on distributed statistical computing . Vienna, Austria, 125. Martyn Plummer et al. 2003. JAGS: A program for analysis of Bayesian graphical models using Gibbs sampling. In Proceedings of the 3rd international workshop on distributed statistical computing . Vienna, Austria, 125."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/5326.983933"},{"key":"e_1_3_2_2_39_1","first-page":"3","article-title":"Data cleaning: Problems and current approaches","volume":"23","author":"Rahm Erhard","year":"2000","unstructured":"Erhard Rahm and Hong Hai Do . 2000 . Data cleaning: Problems and current approaches . IEEE Data Eng. Bull. 23 , 4 (2000), 3 \u2013 13 . Erhard Rahm and Hong Hai Do. 2000. Data cleaning: Problems and current approaches. IEEE Data Eng. Bull. 23, 4 (2000), 3\u201313.","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_3_2_2_40_1","volume-title":"Proceedings of the 27th International Conference on Very Large Data Bases . Morgan Kaufmann Publishers Inc., 381\u2013390","author":"Raman Vijayshankar","year":"2001","unstructured":"Vijayshankar Raman and Joseph M Hellerstein . 2001 . Potter\u2019s wheel: An interactive data cleaning system . In Proceedings of the 27th International Conference on Very Large Data Bases . Morgan Kaufmann Publishers Inc., 381\u2013390 . Vijayshankar Raman and Joseph M Hellerstein. 2001. Potter\u2019s wheel: An interactive data cleaning system. In Proceedings of the 27th International Conference on Very Large Data Bases . Morgan Kaufmann Publishers Inc., 381\u2013390."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462179"},{"key":"e_1_3_2_2_43_1","volume-title":"Proceedings of the 26th AAAI Conference on Artificial Intelligence . AAAI Press","author":"Sanner Scott","year":"2012","unstructured":"Scott Sanner and Ehsan Abbasnejad . 2012 . Symbolic Variable Elimination for Discrete and Continuous Graphical Models . In Proceedings of the 26th AAAI Conference on Artificial Intelligence . AAAI Press , 1954\u2013 1960. Scott Sanner and Ehsan Abbasnejad. 2012. Symbolic Variable Elimination for Discrete and Continuous Graphical Models. In Proceedings of the 26th AAAI Conference on Artificial Intelligence . AAAI Press, 1954\u2013 1960."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/2887770.2887853"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009852"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351720"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2010.09.003"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009843"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54434-1_32"},{"key":"e_1_3_2_2_50_1","unstructured":"Nadeem Ahmed Syed Syed Huan Liu Kah and Kay Sung. 1999. Incremental learning with support vector machines. (1999). Nadeem Ahmed Syed Syed Huan Liu Kah and Kay Sung. 1999. Incremental learning with support vector machines. (1999)."},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192408"},{"key":"e_1_3_2_2_52_1","volume-title":"Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics . 770\u2013778","author":"Wingate David","year":"2011","unstructured":"David Wingate , Andreas Stuhlm\u00fcller , and Noah Goodman . 2011 . Lightweight implementations of probabilistic programming languages via transformational compilation . In Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics . 770\u2013778 . David Wingate, Andreas Stuhlm\u00fcller, and Noah Goodman. 2011. Lightweight implementations of probabilistic programming languages via transformational compilation. In Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics . 770\u2013778."},{"key":"e_1_3_2_2_53_1","volume-title":"Jan Willem Meent, and Vikash Mansinghka","author":"Wood Frank","year":"2014","unstructured":"Frank Wood , Jan Willem Meent, and Vikash Mansinghka . 2014 . A new approach to probabilistic programming inference. In Artificial Intelligence and Statistics . 1024\u20131032. Frank Wood, Jan Willem Meent, and Vikash Mansinghka. 2014. A new approach to probabilistic programming inference. In Artificial Intelligence and Statistics . 1024\u20131032."},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950332"},{"key":"e_1_3_2_2_55_1","volume-title":"Incremental Analysis for Probabilistic Programs. In International Static Analysis Symposium. Springer, 450\u2013472","author":"Zhang Jieyuan","year":"2017","unstructured":"Jieyuan Zhang , Yulei Sui , and Jingling Xue . 2017 . Incremental Analysis for Probabilistic Programs. In International Static Analysis Symposium. Springer, 450\u2013472 . Jieyuan Zhang, Yulei Sui, and Jingling Xue. 2017. Incremental Analysis for Probabilistic Programs. In International Static Analysis Symposium. Springer, 450\u2013472."}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Phoenix AZ USA","acronym":"PLDI '19"},"container-title":["Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314623","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314623","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:22Z","timestamp":1750204402000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314623"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":55,"alternative-id":["10.1145\/3314221.3314623","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314623","relation":{},"subject":[],"published":{"date-parts":[[2019,6,8]]},"assertion":[{"value":"2019-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}