{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T21:14:16Z","timestamp":1772313256977,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000850","name":"American Society for Engineering Education","doi-asserted-by":"publisher","award":["NDSEG"],"award-info":[{"award-number":["NDSEG"]}],"id":[{"id":"10.13039\/100000850","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192399","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"571-585","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Incremental inference for probabilistic programs"],"prefix":"10.1145","author":[{"given":"Marco","family":"Cusumano-Towner","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"given":"Benjamin","family":"Bichsel","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Timon","family":"Gehr","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Vikash K.","family":"Mansinghka","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480946"},{"key":"e_1_3_2_2_2_1","volume-title":"Adaptive inference on general graphical models. arXiv preprint arXiv:1206.3234","author":"Acar Umut A","year":"2012","unstructured":"Umut A Acar , Alexander T Ihler , Ramgopal Mettu , and \u00d6zg\u00fcr S\u00fcmer . 2012. Adaptive inference on general graphical models. arXiv preprint arXiv:1206.3234 ( 2012 ). Umut A Acar, Alexander T Ihler, Ramgopal Mettu, and \u00d6zg\u00fcr S\u00fcmer. 2012. Adaptive inference on general graphical models. arXiv preprint arXiv:1206.3234 (2012)."},{"key":"e_1_3_2_2_3_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_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40596-4_28"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02562676"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"key":"e_1_3_2_2_7_1","unstructured":"Arun Chaganty Aditya Nori and Sriram Rajamani. 2013. Efficiently sampling probabilistic programs via program analysis. In Artificial Intelligence and Statistics. 153\u2013160.  Arun Chaganty Aditya Nori and Sriram Rajamani. 2013. Efficiently sampling probabilistic programs via program analysis. In Artificial Intelligence and Statistics. 153\u2013160."},{"key":"e_1_3_2_2_8_1","volume-title":"The sample size required in importance sampling. arXiv preprint arXiv:1511.01437","author":"Chatterjee Sourav","year":"2015","unstructured":"Sourav Chatterjee and Persi Diaconis . 2015. The sample size required in importance sampling. arXiv preprint arXiv:1511.01437 ( 2015 ). Sourav Chatterjee and Persi Diaconis. 2015. The sample size required in importance sampling. arXiv preprint arXiv:1511.01437 (2015)."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/89.3.539"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90060-D"},{"key":"e_1_3_2_2_11_1","volume-title":"Probabilistic programs for inferring the goals of autonomous agents. arXiv preprint arXiv:1704.04977","author":"Cusumano-Towner Marco F","year":"2017","unstructured":"Marco F Cusumano-Towner , Alexey Radul , David Wingate , and Vikash K Mansinghka . 2017. Probabilistic programs for inferring the goals of autonomous agents. arXiv preprint arXiv:1704.04977 ( 2017 ). Marco F Cusumano-Towner, Alexey Radul, David Wingate, and Vikash K Mansinghka. 2017. Probabilistic programs for inferring the goals of autonomous agents. arXiv preprint arXiv:1704.04977 (2017)."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90036-B"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-9868.2006.00553.x"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2100584.2100612"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218488511006952"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49498-1_12"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_4"},{"key":"e_1_3_2_2_18_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_19_1","volume-title":"The Design and Implementation of Probabilistic Programming Languages","author":"Goodman Noah D","unstructured":"Noah D Goodman and Andreas Stuhlm\u00fcller . 2014. The Design and Implementation of Probabilistic Programming Languages . http:\/\/dippl. org . Accessed: 2017-8-26. Noah D Goodman and Andreas Stuhlm\u00fcller. 2014. The Design and Implementation of Probabilistic Programming Languages. http:\/\/dippl. org . Accessed: 2017-8-26."},{"key":"e_1_3_2_2_20_1","volume-title":"Exploiting compositionality to explore a large space of model structures. arXiv preprint arXiv:1210.4856","author":"Grosse Roger","year":"2012","unstructured":"Roger Grosse , Ruslan R Salakhutdinov , William T Freeman , and Joshua B Tenenbaum . 2012. Exploiting compositionality to explore a large space of model structures. arXiv preprint arXiv:1210.4856 ( 2012 ). Roger Grosse, Ruslan R Salakhutdinov, William T Freeman, and Joshua B Tenenbaum. 2012. Exploiting compositionality to explore a large space of model structures. arXiv preprint arXiv:1210.4856 (2012)."},{"key":"e_1_3_2_2_21_1","volume-title":"Convergence of sequential Monte Carlo-based sampling methods. arXiv preprint arXiv:1503.00966","author":"Huggins Jonathan H","year":"2015","unstructured":"Jonathan H Huggins and Daniel M Roy . 2015. Convergence of sequential Monte Carlo-based sampling methods. arXiv preprint arXiv:1503.00966 ( 2015 ). Jonathan H Huggins and Daniel M Roy. 2015. Convergence of sequential Monte Carlo-based sampling methods. arXiv preprint arXiv:1503.00966 (2015)."},{"key":"e_1_3_2_2_22_1","first-page":"190","article-title":"A computational model for causal and diagnostic reasoning in inference systems","volume":"83","author":"Kim Jin H","year":"1983","unstructured":"Jin H Kim and Judea Pearl . 1983 . A computational model for causal and diagnostic reasoning in inference systems .. In IJCAI , Vol. 83. 190 \u2013 193 . Jin H Kim and Judea Pearl. 1983. A computational model for causal and diagnostic reasoning in inference systems.. In IJCAI, Vol. 83. 190\u2013193.","journal-title":"IJCAI"},{"key":"e_1_3_2_2_23_1","volume-title":"C Daniel Gelatt Jr, and Mario P Vecchi","author":"Kirkpatrick Scott","year":"1987","unstructured":"Scott Kirkpatrick , C Daniel Gelatt Jr, and Mario P Vecchi . 1987 . Optimization by simulated annealing. In Spin Glass Theory and Beyond: An Introduction to the Replica Method and Its Applications. World Scientific , 339\u2013348. Scott Kirkpatrick, C Daniel Gelatt Jr, and Mario P Vecchi. 1987. Optimization by simulated annealing. In Spin Glass Theory and Beyond: An Introduction to the Replica Method and Its Applications. World Scientific, 339\u2013348."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47958-3_19"},{"key":"e_1_3_2_2_25_1","first-page":"1","article-title":"Synthesis of Probabilistic Privacy Enforcement","volume":"1","author":"Ku\u010dera Martin","year":"2017","unstructured":"Martin Ku\u010dera , Petar Tsankov , Timon Gehr , Marco Guarnieri , and Martin Vechev . 2017 . Synthesis of Probabilistic Privacy Enforcement . Analysis 1 (2017), 1 . Martin Ku\u010dera, Petar Tsankov, Timon Gehr, Marco Guarnieri, and Martin Vechev. 2017. Synthesis of Probabilistic Privacy Enforcement. Analysis 1 (2017), 1.","journal-title":"Analysis"},{"key":"e_1_3_2_2_26_1","volume-title":"Atilim Gunes Baydin, and Frank Wood","author":"Le Tuan Anh","year":"2016","unstructured":"Tuan Anh Le , Atilim Gunes Baydin, and Frank Wood . 2016 . Inference compilation and universal probabilistic programming. arXiv preprint arXiv:1610.09900 (2016). Tuan Anh Le, Atilim Gunes Baydin, and Frank Wood. 2016. Inference compilation and universal probabilistic programming. arXiv preprint arXiv:1610.09900 (2016)."},{"key":"e_1_3_2_2_27_1","volume-title":"Proceedings of the National Conference on Artificial Intelligence","volume":"21","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 , Vol. 21 . Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999, 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, Vol. 21. Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999, 1173."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1995.10476549"},{"key":"e_1_3_2_2_29_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_30_1","volume-title":"Machine Learning: A Probabilistic Perspective","author":"Murphy Kevin P.","year":"2012","unstructured":"Kevin P. Murphy . 2012 . Machine Learning: A Probabilistic Perspective . The MIT Press . Kevin P. Murphy. 2012. Machine Learning: A Probabilistic Perspective. The MIT Press."},{"key":"e_1_3_2_2_31_1","volume-title":"Bayesian state-space modelling on highperformance hardware using LibBi. arXiv preprint arXiv:1306.3277","author":"Murray Lawrence M","year":"2013","unstructured":"Lawrence M Murray . 2013. Bayesian state-space modelling on highperformance hardware using LibBi. arXiv preprint arXiv:1306.3277 ( 2013 ). Lawrence M Murray. 2013. Bayesian state-space modelling on highperformance hardware using LibBi. arXiv preprint arXiv:1306.3277 (2013)."},{"key":"e_1_3_2_2_32_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_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29604-3_5"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008923215028"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"crossref","unstructured":"Aditya V Nori Chung-Kil Hur Sriram K Rajamani and Selva Samuel. 2014. R2: An Efficient MCMC Sampler for Probabilistic Programs.  Aditya V Nori Chung-Kil Hur Sriram K Rajamani and Selva Samuel. 2014. R2: An Efficient MCMC Sampler for Probabilistic Programs.","DOI":"10.1609\/aaai.v28i1.9060"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737982"},{"key":"e_1_3_2_2_37_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_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2714064.2660245"},{"key":"e_1_3_2_2_39_1","unstructured":"Daniel Ritchie Andreas Stuhlm\u00fcller and Noah Goodman. 2016. C3: Lightweight incrementalized MCMC for probabilistic programs using continuations and callsite caching. In Artificial Intelligence and Statistics. 28\u201337.  Daniel Ritchie Andreas Stuhlm\u00fcller and Noah Goodman. 2016. C3: Lightweight incrementalized MCMC for probabilistic programs using continuations and callsite caching. In Artificial Intelligence and Statistics. 28\u201337."},{"key":"e_1_3_2_2_40_1","first-page":"84","article-title":"Bayesian statistics without tears: a sampling\u2013resampling perspective","volume":"46","author":"Smith Adrian FM","year":"1992","unstructured":"Adrian FM Smith and Alan E Gelfand . 1992 . Bayesian statistics without tears: a sampling\u2013resampling perspective . The American Statistician 46 , 2 (1992), 84 \u2013 88 . Adrian FM Smith and Alan E Gelfand. 1992. Bayesian statistics without tears: a sampling\u2013resampling perspective. The American Statistician 46, 2 (1992), 84\u201388.","journal-title":"The American Statistician"},{"key":"e_1_3_2_2_41_1","volume-title":"N Siddharth, and Noah D Goodman.","author":"Stuhlm\u00fcller Andreas","year":"2015","unstructured":"Andreas Stuhlm\u00fcller , Robert XD Hawkins , N Siddharth, and Noah D Goodman. 2015 . Coarse-to-fine sequential monte carlo for probabilistic programs. arXiv preprint arXiv:1509.02962 (2015). Andreas Stuhlm\u00fcller, Robert XD Hawkins, N Siddharth, and Noah D Goodman. 2015. Coarse-to-fine sequential monte carlo for probabilistic programs. arXiv preprint arXiv:1509.02962 (2015)."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/504729.504754"},{"key":"e_1_3_2_2_43_1","volume-title":"Skinner","author":"Wennberg John E.","year":"2008","unstructured":"John E. Wennberg , Elliott S. Fisher , David C. Goodman , and Jonathan S . Skinner . 2008 . Tracking the Care of Patients with Severe Chronic Illness - The Dartmouth Atlas of Health Care 2008. John E. Wennberg, Elliott S. Fisher, David C. Goodman, and Jonathan S. Skinner. 2008. Tracking the Care of Patients with Severe Chronic Illness - The Dartmouth Atlas of Health Care 2008."},{"key":"e_1_3_2_2_44_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 Stuhlmueller , 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 Stuhlmueller, 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_45_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_46_1","volume-title":"Swift: Compiled inference for probabilistic programming languages. arXiv preprint arXiv:1606.09242","author":"Wu Yi","year":"2016","unstructured":"Yi Wu , Lei Li , Stuart Russell , and Rastislav Bodik . 2016 . Swift: Compiled inference for probabilistic programming languages. arXiv preprint arXiv:1606.09242 (2016). Yi Wu, Lei Li, Stuart Russell, and Rastislav Bodik. 2016. Swift: Compiled inference for probabilistic programming languages. arXiv preprint arXiv:1606.09242 (2016)."},{"key":"e_1_3_2_2_47_1","unstructured":"Lingfeng Yang Patrick Hanrahan and Noah Goodman. 2014. Generating efficient MCMC kernels from probabilistic programs. In Artificial Intelligence and Statistics. 1068\u20131076.  Lingfeng Yang Patrick Hanrahan and Noah Goodman. 2014. Generating efficient MCMC kernels from probabilistic programs. In Artificial Intelligence and Statistics. 1068\u20131076."},{"key":"e_1_3_2_2_48_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 '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192399","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192399","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:53Z","timestamp":1750198073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192399"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":48,"alternative-id":["10.1145\/3192366.3192399","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192399","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192399","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}