{"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":1772313256882,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":69,"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":[{"DOI":"10.13039\/100000850","name":"American Society for Engineering Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000850","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8750-17-C-0239"],"award-info":[{"award-number":["FA8750-17-C-0239"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314642","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"221-236","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":68,"title":["Gen: a general-purpose probabilistic programming system with programmable inference"],"prefix":"10.1145","author":[{"given":"Marco F.","family":"Cusumano-Towner","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"given":"Feras A.","family":"Saad","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"given":"Alexander K.","family":"Lew","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"given":"Vikash K.","family":"Mansinghka","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"265","volume-title":"Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI","author":"Abadi Mart\u00edn","year":"2016","unstructured":"Mart\u00edn Abadi , Paul Barham , Jianmin Chen , Zhifeng Chen , Andy Davis , Jeffrey Dean , Matthieu Devin , Sanjay Ghemawat , Geoffrey Irving , Michael Isard , Manjunath Kudlur , Josh Levenberg , Rajat Monga , Sherry Moore , Derek G. Murray , Benoit Steiner , Paul Tucker , Vijay Vasudevan , Pete Warden , Martin Wicke , Yuan Yu , and Xiaoqiang Zheng . 2016 . TensorFlow: A System for Large-Scale Machine Learning . In Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2016). USENIX Association , 265 - 283 . Mart\u00edn Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. 2016. TensorFlow: A System for Large-Scale Machine Learning. In Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2016). USENIX Association, 265-283."},{"key":"e_1_3_2_2_2_1","first-page":"1","volume-title":"Proceedings of the 13th International Conference on Artificial Intelligence and Statistics (AISTATS","author":"Adams Ryan","year":"2010","unstructured":"Ryan Adams , Hanna Wallach , and Zoubin Ghahramani . 2010 . Learning the structure of deep sparse graphical models . In Proceedings of the 13th International Conference on Artificial Intelligence and Statistics (AISTATS 2010). PMLR, 1 - 8 . Ryan Adams, Hanna Wallach, and Zoubin Ghahramani. 2010. Learning the structure of deep sparse graphical models. In Proceedings of the 13th International Conference on Artificial Intelligence and Statistics (AISTATS 2010). PMLR, 1-8."},{"key":"e_1_3_2_2_3_1","unstructured":"Eric Atkinson Cambridge Yang and Michael Carbin. 2018. Verifying handcoded probabilistic inference procedures. (2018). arXiv:1805.01863 Eric Atkinson Cambridge Yang and Michael Carbin. 2018. Verifying handcoded probabilistic inference procedures. (2018). arXiv:1805.01863"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1137\/141000671"},{"key":"e_1_3_2_2_5_1","volume-title":"Goodman","author":"Bingham Eli","year":"2018","unstructured":"Eli Bingham , Jonathan P. Chen , Martin Jankowiak , Fritz Obermeyer , Neeraj Pradhan , Theofanis Karaletsos , Rohit Singh , Paul Szerlip , Paul Horsfall , and Noah D . Goodman . 2018 . Pyro : Deep universal probabilistic programming. (2018). arXiv:1810.09538 Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul Szerlip, Paul Horsfall, and Noah D. Goodman. 2018. Pyro: Deep universal probabilistic programming. (2018). arXiv:1810.09538"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.2017.1285773"},{"key":"e_1_3_2_2_7_1","article-title":"Latent Dirichlet allocation","author":"Blei David M.","year":"2003","unstructured":"David M. Blei , Andrew Y. Ng , and Michael I. Jordan . 2003 . Latent Dirichlet allocation . Journal of Machine Learning Research 3 ( Jan. 2003), 993-1022. David M. Blei, Andrew Y. Ng, and Michael I. Jordan. 2003. Latent Dirichlet allocation. Journal of Machine Learning Research 3 (Jan. 2003), 993-1022.","journal-title":"Journal of Machine Learning Research 3"},{"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","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2006.05.007"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192399"},{"key":"e_1_3_2_2_11_1","first-page":"3000","article-title":"AIDE: An algorithm for measuring the accuracy of probabilistic inference algorithms. In Advances in Neural Information Processing Systems 30 (NIPS 2017). Curran Associates","author":"Cusumano-Towner Marco","year":"2017","unstructured":"Marco Cusumano-Towner and Vikash K. Mansinghka . 2017 . AIDE: An algorithm for measuring the accuracy of probabilistic inference algorithms. In Advances in Neural Information Processing Systems 30 (NIPS 2017). Curran Associates , Inc. , 3000 - 3010 . Marco Cusumano-Towner and Vikash K. Mansinghka. 2017. AIDE: An algorithm for measuring the accuracy of probabilistic inference algorithms. In Advances in Neural Information Processing Systems 30 (NIPS 2017). Curran Associates, Inc., 3000-3010.","journal-title":"Inc."},{"key":"e_1_3_2_2_12_1","volume-title":"Mansinghka","author":"Cusumano-Towner Marco","year":"2017","unstructured":"Marco Cusumano-Towner , Alexey Radul , David Wingate , and Vikash K . Mansinghka . 2017 . Probabilistic programs for inferring the goals of autonomous agents. (2017). arXiv:1704.04977 Marco Cusumano-Towner, Alexey Radul, David Wingate, and Vikash K. Mansinghka. 2017. Probabilistic programs for inferring the goals of autonomous agents. (2017). arXiv:1704.04977"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2008.4587752"},{"key":"e_1_3_2_2_14_1","first-page":"2719","volume-title":"Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR","author":"Pero Luca Del","year":"2012","unstructured":"Luca Del Pero , Joshua Bowdish , Daniel Fried , Bonnie Kermgard , Emily Hartley , and Kobus Barnard . 2012 . Bayesian geometric modeling of indoor scenes . In Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2012). IEEE, 2719 - 2726 . Luca Del Pero, Joshua Bowdish, Daniel Fried, Bonnie Kermgard, Emily Hartley, and Kobus Barnard. 2012. Bayesian geometric modeling of indoor scenes. In Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2012). IEEE, 2719-2726."},{"key":"e_1_3_2_2_15_1","volume-title":"Nando De Freitas, and Neil Gordon","author":"Doucet Arnaud","year":"2001","unstructured":"Arnaud Doucet , Nando De Freitas, and Neil Gordon . 2001 . An introduction to sequential Monte Carlo methods. In Sequential Monte Carlo Methods in Practice, Arnaud Doucet, Nando de Freitas, and Neil Gordon (Eds.). Springer , 3-14. Arnaud Doucet, Nando De Freitas, and Neil Gordon. 2001. An introduction to sequential Monte Carlo methods. In Sequential Monte Carlo Methods in Practice, Arnaud Doucet, Nando de Freitas, and Neil Gordon (Eds.). Springer, 3-14."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0370-2693(87)91197-X"},{"key":"e_1_3_2_2_17_1","first-page":"1166","volume-title":"Proceedings of the 30th International Conference on Machine Learning (ICML","author":"Duvenaud David","year":"2013","unstructured":"David Duvenaud , James Robert Lloyd , Roger Grosse , Joshua B. Tenenbaum , and Zoubin Ghahramani . 2013 . Structure discovery in nonparametric regression through compositional kernel search . In Proceedings of the 30th International Conference on Machine Learning (ICML 2010). PMLR, 1166 - 1174 . David Duvenaud, James Robert Lloyd, Roger Grosse, Joshua B. Tenenbaum, and Zoubin Ghahramani. 2013. Structure discovery in nonparametric regression through compositional kernel search. In Proceedings of the 30th International Conference on Machine Learning (ICML 2010). PMLR, 1166-1174."},{"key":"e_1_3_2_2_18_1","first-page":"1682","volume-title":"Proceedings of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS","author":"Ge Hong","year":"2018","unstructured":"Hong Ge , Kai Xu , and Zoubin Ghahramani . 2018 . Turing: A language for flexible probabilistic inference . In Proceedings of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018). PMLR, 1682 - 1690 . Hong Ge, Kai Xu, and Zoubin Ghahramani. 2018. Turing: A language for flexible probabilistic inference. In Proceedings of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018). PMLR, 1682-1690."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1990.10476213"},{"key":"e_1_3_2_2_20_1","volume-title":"Rubin","author":"Gelman Andrew","year":"2013","unstructured":"Andrew Gelman , Hal S. Stern , John B. Carlin , David B. Dunson , Aki Vehtari , and Donald B . Rubin . 2013 . Bayesian Data Analysis. CRC Press . Andrew Gelman, Hal S. Stern, John B. Carlin, David B. Dunson, Aki Vehtari, and Donald B. Rubin. 2013. Bayesian Data Analysis. CRC Press."},{"key":"e_1_3_2_2_21_1","volume-title":"Gibbs distributions, and the Bayesian restoration of images. In Readings in Computer Vision: Issues, Problem, Principles, and Paradigms, Martin A","author":"Geman Stuart","unstructured":"Stuart Geman and Donald Geman . 1987. Stochastic relaxation , Gibbs distributions, and the Bayesian restoration of images. In Readings in Computer Vision: Issues, Problem, Principles, and Paradigms, Martin A . Fischler and Oscar Fischler (Eds.). Morgan Kaufmann Publishers Inc ., 564-584. Stuart Geman and Donald Geman. 1987. Stochastic relaxation, Gibbs distributions, and the Bayesian restoration of images. In Readings in Computer Vision: Issues, Problem, Principles, and Paradigms, Martin A. Fischler and Oscar Fischler (Eds.). Morgan Kaufmann Publishers Inc., 564-584."},{"key":"e_1_3_2_2_22_1","first-page":"220","volume-title":"Proceedings of the 24th Annual Conference on Uncertainty in Artificial Intelligence (UAI","author":"Goodman Noah","year":"2008","unstructured":"Noah Goodman , Vikash Mansinghka , Daniel M. Roy , Keith Bonawitz , and Joshua B. Tenenbaum . 2008. Church: a language for generative models . In Proceedings of the 24th Annual Conference on Uncertainty in Artificial Intelligence (UAI 2008 ). AUAI Press , 220 - 229 . Noah Goodman, Vikash Mansinghka, Daniel M. Roy, Keith Bonawitz, and Joshua B. Tenenbaum. 2008. Church: a language for generative models. In Proceedings of the 24th Annual Conference on Uncertainty in Artificial Intelligence (UAI 2008). AUAI Press, 220-229."},{"key":"e_1_3_2_2_23_1","volume-title":"Goodman and Andreas Stuhlm\u00fcller","author":"Noah","year":"2014","unstructured":"Noah D. Goodman and Andreas Stuhlm\u00fcller . 2014 . The Design and Implementation of Probabilistic Programming Languages. http:\/\/dippl.org. Accessed : 2018-11-8. Noah D. Goodman and Andreas Stuhlm\u00fcller. 2014. The Design and Implementation of Probabilistic Programming Languages. http:\/\/dippl.org. Accessed: 2018-11-8."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/82.4.711"},{"key":"e_1_3_2_2_25_1","first-page":"306","volume-title":"Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence (UAI","author":"Grosse Roger B.","year":"2012","unstructured":"Roger B. Grosse , Ruslan Salakhutdinov , William T. Freeman , and Joshua B. Tenenbaum . 2012. Exploiting compositionality to explore a large space of model structures . In Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence (UAI 2012 ). AUAI Press , 306 - 315 . Roger B. Grosse, Ruslan Salakhutdinov, William T. Freeman, and Joshua B. Tenenbaum. 2012. Exploiting compositionality to explore a large space of model structures. In Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence (UAI 2012). AUAI Press, 306-315."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/57.1.97"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1162\/neco.2006.18.7.1527"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759242"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062375"},{"key":"e_1_3_2_2_30_1","volume-title":"Gehler","author":"Jampani Varun","year":"2015","unstructured":"Varun Jampani , Sebastian Nowozin , Matthew Loper , and Peter V . Gehler . 2015 . The informed sampler. Computing Vision and Image Understanding 136, C ( 2015), 32-44. Varun Jampani, Sebastian Nowozin, Matthew Loper, and Peter V. Gehler. 2015. The informed sampler. Computing Vision and Image Understanding 136, C (2015), 32-44."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.823141"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.3662552"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/gkg614"},{"key":"e_1_3_2_2_34_1","volume-title":"Probabilistic Graphical Models: Principles and Techniques","author":"Koller Daphne","unstructured":"Daphne Koller , Nir Friedman , and Francis Bach . 2009. Probabilistic Graphical Models: Principles and Techniques . MIT Press . Daphne Koller, Nir Friedman, and Francis Bach. 2009. Probabilistic Graphical Models: Principles and Techniques. MIT Press."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2015.7299068"},{"key":"e_1_3_2_2_36_1","first-page":"282","volume-title":"Proceedings of the 18th International Conference on Machine Learning (ICML","author":"Lafferty John D.","year":"2001","unstructured":"John D. Lafferty , Andrew McCallum , and Fernando C. N. Pereira . 2001. Conditional random fields: Probabilistic models for segmenting and labeling sequence data . In Proceedings of the 18th International Conference on Machine Learning (ICML 2001 ). Morgan Kaufmann Publishers Inc. , 282 - 289 . John D. Lafferty, Andrew McCallum, and Fernando C. N. Pereira. 2001. Conditional random fields: Probabilistic models for segmenting and labeling sequence data. In Proceedings of the 18th International Conference on Machine Learning (ICML 2001). Morgan Kaufmann Publishers Inc., 282-289."},{"key":"e_1_3_2_2_38_1","first-page":"1","article-title":"CrossCat: A fully Bayesian nonparametric method for analyzing heterogeneous, high dimensional data","volume":"17","author":"Mansinghka Vikash","year":"2016","unstructured":"Vikash Mansinghka , Patrick Shafto , Eric Jonas , Cap Petschulat , Max Gasner , and Joshua B. Tenenbaum . 2016 . CrossCat: A fully Bayesian nonparametric method for analyzing heterogeneous, high dimensional data . Journal of Machine Learning Research 17 , 138 (2016), 1 - 49 . Vikash Mansinghka, Patrick Shafto, Eric Jonas, Cap Petschulat, Max Gasner, and Joshua B. Tenenbaum. 2016. CrossCat: A fully Bayesian nonparametric method for analyzing heterogeneous, high dimensional data. Journal of Machine Learning Research 17, 138 (2016), 1-49.","journal-title":"Journal of Machine Learning Research"},{"key":"e_1_3_2_2_39_1","first-page":"1520","article-title":"Approximate Bayesian image interpretation using generative probabilistic graphics programs. In Advances in Neural Information Processing Systems 26. Curran Associates","author":"Mansinghka Vikash K.","year":"2013","unstructured":"Vikash K. Mansinghka , Tejas D. Kulkarni , Yura N. Perov , and Joshua B. Tenenbaum . 2013 . Approximate Bayesian image interpretation using generative probabilistic graphics programs. In Advances in Neural Information Processing Systems 26. Curran Associates , Inc. , 1520 - 1528 . Vikash K. Mansinghka, Tejas D. Kulkarni, Yura N. Perov, and Joshua B. Tenenbaum. 2013. Approximate Bayesian image interpretation using generative probabilistic graphics programs. In Advances in Neural Information Processing Systems 26. Curran Associates, Inc., 1520-1528.","journal-title":"Inc."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192409"},{"key":"e_1_3_2_2_41_1","first-page":"1249","article-title":"FACTORIE: Probabilistic programming via imperatively defined factor graphs. In Advances in Neural Information Processing Systems 22 (NIPS 2009)","author":"McCallum Andrew","year":"2009","unstructured":"Andrew McCallum , Karl Schultz , and Sameer Singh . 2009 . FACTORIE: Probabilistic programming via imperatively defined factor graphs. In Advances in Neural Information Processing Systems 22 (NIPS 2009) . Curran Associates , 1249 - 1257 . Andrew McCallum, Karl Schultz, and Sameer Singh. 2009. FACTORIE: Probabilistic programming via imperatively defined factor graphs. In Advances in Neural Information Processing Systems 22 (NIPS 2009). Curran Associates, 1249-1257.","journal-title":"Curran Associates"},{"key":"e_1_3_2_2_42_1","first-page":"1352","volume-title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI","author":"Milch Brian","year":"2005","unstructured":"Brian Milch , Bhaskara Marthi , Stuart Russell , David Sontag , Daniel L. Ong , and Andrey Kolobov . 2005 . BLOG: Probabilistic models with unknown objects . In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005). Morgan Kaufmann Publishers Inc. , 1352 - 1359 . Brian Milch, Bhaskara Marthi, Stuart Russell, David Sontag, Daniel L. Ong, and Andrey Kolobov. 2005. BLOG: Probabilistic models with unknown objects. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005). Morgan Kaufmann Publishers Inc., 1352-1359."},{"key":"e_1_3_2_2_43_1","first-page":"1151","volume-title":"Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI","author":"Montemerlo Michael","year":"2003","unstructured":"Michael Montemerlo , Sebastian Thrun , Daphne Roller , and Ben Wegbreit . 2003 . FastSLAM 2.0: An improved particle filtering algorithm for simultaneous localization and mapping that provably converges . In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003). Morgan Kaufmann Publishers Inc. , 1151 - 1156 . Michael Montemerlo, Sebastian Thrun, Daphne Roller, and Ben Wegbreit. 2003. FastSLAM 2.0: An improved particle filtering algorithm for simultaneous localization and mapping that provably converges. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003). Morgan Kaufmann Publishers Inc., 1151-1156."},{"key":"e_1_3_2_2_44_1","volume-title":"Machine Learning: A Probabilistic Perspective","author":"Murphy Kevin P.","year":"2012","unstructured":"Kevin P. Murphy . 2012 . Machine Learning: A Probabilistic Perspective . MIT Press . Kevin P. Murphy. 2012. Machine Learning: A Probabilistic Perspective. MIT Press."},{"key":"e_1_3_2_2_45_1","unstructured":"Lawrence M Murray Daniel Lund\u00e9n Jan Kudlicka David Broman and Thomas B Sch\u00f6n. 2018. Delayed sampling and automatic Rao-Blackwellization of probabilistic programs. (2018) 1037-1046. Lawrence M Murray Daniel Lund\u00e9n Jan Kudlicka David Broman and Thomas B Sch\u00f6n. 2018. Delayed sampling and automatic Rao-Blackwellization of probabilistic programs. (2018) 1037-1046."},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29604-3_5"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1080\/10618600.2000.10474879","article-title":"Markov chain sampling methods for Dirichlet process mixture models","volume":"9","author":"Neal Radford M.","year":"2000","unstructured":"Radford M. Neal . 2000 . Markov chain sampling methods for Dirichlet process mixture models . Journal of Computational and Graphical Statistics 9 , 2 (2000), 249 - 265 . Radford M. Neal. 2000. Markov chain sampling methods for Dirichlet process mixture models. Journal of Computational and Graphical Statistics 9, 2 (2000), 249-265.","journal-title":"Journal of Computational and Graphical Statistics"},{"key":"e_1_3_2_2_48_1","first-page":"733","volume-title":"Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI","volume":"1","author":"Pfeffer Avi","year":"2001","unstructured":"Avi Pfeffer . 2001 . IBAL: A probabilistic rational programming language . In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), Vol. 1 . Morgan Kaufmann Publishers Inc. , 733 - 740 . Avi Pfeffer. 2001. IBAL: A probabilistic rational programming language. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), Vol. 1. Morgan Kaufmann Publishers Inc., 733-740."},{"key":"e_1_3_2_2_49_1","volume-title":"Practical Probabilistic Programming (1 ed.)","author":"Pfeffer Avi","unstructured":"Avi Pfeffer . 2016. Practical Probabilistic Programming (1 ed.) . Manning Publications Co. Avi Pfeffer. 2016. Practical Probabilistic Programming (1 ed.). Manning Publications Co."},{"key":"e_1_3_2_2_50_1","first-page":"814","volume-title":"Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (AISTATS","author":"Ranganath Rajesh","year":"2014","unstructured":"Rajesh Ranganath , Sean Gerrish , and David Blei . 2014 . Black box variational inference . In Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (AISTATS 2014). PMLR, 814 - 822 . Rajesh Ranganath, Sean Gerrish, and David Blei. 2014. Black box variational inference. In Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (AISTATS 2014). PMLR, 814-822."},{"key":"e_1_3_2_2_51_1","first-page":"28","volume-title":"Proceedings of the 19th International Conference on Artificial Intelligence and Statistics (AISTATS","author":"Ritchie Daniel","year":"2016","unstructured":"Daniel Ritchie , Andreas Stuhlm\u00fcller , and Noah Goodman . 2016 . C3: Lightweight incrementalized MCMC for probabilistic programs using continuations and callsite caching . In Proceedings of the 19th International Conference on Artificial Intelligence and Statistics (AISTATS 2016). PMLR, 28 - 37 . Daniel Ritchie, Andreas Stuhlm\u00fcller, and Noah Goodman. 2016. C3: Lightweight incrementalized MCMC for probabilistic programs using continuations and callsite caching. In Proceedings of the 19th International Conference on Artificial Intelligence and Statistics (AISTATS 2016). PMLR, 28-37."},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.2307\/3318418"},{"key":"e_1_3_2_2_53_1","volume-title":"Russell and Peter Norvig","author":"Stuart","year":"2009","unstructured":"Stuart J. Russell and Peter Norvig . 2009 . Artificial Intelligence : A Modern Approach. Pearson . Stuart J. Russell and Peter Norvig. 2009. Artificial Intelligence: A Modern Approach. Pearson."},{"key":"e_1_3_2_2_54_1","volume-title":"Proceedings of the ACM on Programming Languages 3, POPL, Article 37","author":"Saad Feras A.","year":"2019","unstructured":"Feras A. Saad , Marco Cusumano-Towner , Ulrich Schaechtle , Martin C. Rinard , and Vikash K. Mansinghka . 2019. Bayesian synthesis of probabilistic programs for automatic data modeling . Proceedings of the ACM on Programming Languages 3, POPL, Article 37 ( 2019 ), 29 pages. Feras A. Saad, Marco Cusumano-Towner, Ulrich Schaechtle, Martin C. Rinard, and Vikash K. Mansinghka. 2019. Bayesian synthesis of probabilistic programs for automatic data modeling. Proceedings of the ACM on Programming Languages 3, POPL, Article 37 (2019), 29 pages."},{"key":"e_1_3_2_2_55_1","first-page":"1218","volume-title":"Proceedings of the 32nd International Conference on Machine Learning (ICML","author":"Salimans Tim","year":"2015","unstructured":"Tim Salimans , Diederik P Kingma , and Max Welling . 2015 . Markov chain Monte Carlo and variational inference: Bridging the gap . In Proceedings of the 32nd International Conference on Machine Learning (ICML 2015). PMLR, 1218 - 1226 . Tim Salimans, Diederik P Kingma, and Max Welling. 2015. Markov chain Monte Carlo and variational inference: Bridging the gap. In Proceedings of the 32nd International Conference on Machine Learning (ICML 2015). PMLR, 1218-1226."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.55"},{"key":"e_1_3_2_2_57_1","volume-title":"Mansinghka","author":"Schaechtle Ulrich","year":"2016","unstructured":"Ulrich Schaechtle , Feras Saad , Alexey Radul , and Vikash K . Mansinghka . 2016 . Time Series Structure Discovery via Probabilistic Program Synthesis . (2016). arXiv:1611.07051 Ulrich Schaechtle, Feras Saad, Alexey Radul, and Vikash K. Mansinghka. 2016. Time Series Structure Discovery via Probabilistic Program Synthesis. (2016). arXiv:1611.07051"},{"key":"e_1_3_2_2_58_1","first-page":"1337","article-title":"Combined discriminative and generative articulated pose and non-rigid shape estimation. In Advances in Neural Information Processing Systems 20. Curran Associates","author":"Sigal Leonid","year":"2008","unstructured":"Leonid Sigal , Alexandru Balan , and Michael J. Black . 2008 . Combined discriminative and generative articulated pose and non-rigid shape estimation. In Advances in Neural Information Processing Systems 20. Curran Associates , Inc. , 1337 - 1344 . Leonid Sigal, Alexandru Balan, and Michael J. Black. 2008. Combined discriminative and generative articulated pose and non-rigid shape estimation. In Advances in Neural Information Processing Systems 20. Curran Associates, Inc., 1337-1344.","journal-title":"Inc."},{"key":"e_1_3_2_2_59_1","first-page":"3048","article-title":"Learning stochastic inverses. In Advances in Neural Information Processing Systems 26 (NIPS 2013)","author":"Stuhlm\u00fcller Andreas","year":"2013","unstructured":"Andreas Stuhlm\u00fcller , Jacob Taylor , and Noah Goodman . 2013 . Learning stochastic inverses. In Advances in Neural Information Processing Systems 26 (NIPS 2013) . Curran Associates , 3048 - 3056 . Andreas Stuhlm\u00fcller, Jacob Taylor, and Noah Goodman. 2013. Learning stochastic inverses. In Advances in Neural Information Processing Systems 26 (NIPS 2013). Curran Associates, 3048-3056.","journal-title":"Curran Associates"},{"key":"e_1_3_2_2_60_1","unstructured":"Sebastian Thrun Wolfram Burgard and Dieter Fox. 2005. Probabilistic Robotics. MIT Press. Sebastian Thrun Wolfram Burgard and Dieter Fox. 2005. Probabilistic Robotics . MIT Press."},{"key":"e_1_3_2_2_61_1","volume-title":"International Conference on Learning Representations (ICLR).","author":"Tran Dustin","unstructured":"Dustin Tran , Matthew D. Hoffman , Rif A. Saurous , Eugene Brevdo , Kevin Murphy , and David M. Blei . 2017. Deep probabilistic programming . In International Conference on Learning Representations (ICLR). Dustin Tran, Matthew D. Hoffman, Rif A. Saurous, Eugene Brevdo, Kevin Murphy, and David M. Blei. 2017. Deep probabilistic programming. In International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_2_2_62_1","volume-title":"Steele","author":"Tristan Jean-Baptiste","year":"2014","unstructured":"Jean-Baptiste Tristan , Daniel Huang , Joseph Tassarotti , Adam C. Pocock , Stephen Green , and Guy L . Steele . 2014 . Augur : Data-parallel probabilistic modeling. In Advances in Neural Information Processing Systems 27 (NIPS 2014). 2600-2608. Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam C. Pocock, Stephen Green, and Guy L. Steele. 2014. Augur: Data-parallel probabilistic modeling. In Advances in Neural Information Processing Systems 27 (NIPS 2014). 2600-2608."},{"key":"e_1_3_2_2_63_1","unstructured":"Jan-Willem van de Meent Brooks Paige Hongseok Yang and Frank Wood. 2018. An introduction to probabilistic programming. (2018). arXiv:1809.10756 Jan-Willem van de Meent Brooks Paige Hongseok Yang and Frank Wood. 2018. An introduction to probabilistic programming. (2018). arXiv:1809.10756"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1561\/2200000001"},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1515\/sagmb-2013-0010"},{"key":"e_1_3_2_2_66_1","first-page":"770","volume-title":"Proceedings of the 14TH International Conference on Artificial Intelligence and Statistics (AISTATS","author":"Wingate David","year":"2011","unstructured":"David Wingate , Andreas Stuhlm\u00fcller , and Noah Goodman . 2011 . Light-weight implementations of probabilistic programming languages via transformational compilation . In Proceedings of the 14TH International Conference on Artificial Intelligence and Statistics (AISTATS 2011). PMLR, 770 - 778 . David Wingate, Andreas Stuhlm\u00fcller, and Noah Goodman. 2011. Light-weight implementations of probabilistic programming languages via transformational compilation. In Proceedings of the 14TH International Conference on Artificial Intelligence and Statistics (AISTATS 2011). PMLR, 770-778."},{"key":"e_1_3_2_2_67_1","first-page":"536","volume-title":"Proceedings of the 22nd Conference on Uncertainty in Artificial Intelligence (UAI","author":"Wood Frank","year":"2006","unstructured":"Frank Wood , Thomas L. Griffiths , and Zoubin Ghahramani . 2006 . A non-parametric Bayesian method for inferring hidden causes . In Proceedings of the 22nd Conference on Uncertainty in Artificial Intelligence (UAI 2006). AUAI Press , 536 - 543 . Frank Wood, Thomas L. Griffiths, and Zoubin Ghahramani. 2006. A non-parametric Bayesian method for inferring hidden causes. In Proceedings of the 22nd Conference on Uncertainty in Artificial Intelligence (UAI 2006). AUAI Press, 536-543."},{"key":"e_1_3_2_2_68_1","first-page":"1024","volume-title":"Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (AISTATS","author":"Wood Frank","year":"2014","unstructured":"Frank Wood , Jan Willem Meent , and Vikash Mansinghka . 2014 . A new approach to probabilistic programming inference . In Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (AISTATS 2014). PMLR, 1024 - 1032 . Frank Wood, Jan Willem Meent, and Vikash Mansinghka. 2014. A new approach to probabilistic programming inference. In Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (AISTATS 2014). PMLR, 1024-1032."},{"key":"e_1_3_2_2_69_1","first-page":"1068","volume-title":"Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (AISTATS","author":"Yang Lingfeng","year":"2014","unstructured":"Lingfeng Yang , Patrick Hanrahan , and Noah Goodman . 2014 . Generating efficient MCMC kernels from probabilistic programs . In Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (AISTATS 2014). PMLR, 1068 - 1076 . Lingfeng Yang, Patrick Hanrahan, and Noah Goodman. 2014. Generating efficient MCMC kernels from probabilistic programs. In Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (AISTATS 2014). PMLR, 1068-1076."},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2011.6126310"}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Phoenix AZ USA","acronym":"PLDI '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"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.3314642","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314642","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314642","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:29Z","timestamp":1750204409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314642"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":69,"alternative-id":["10.1145\/3314221.3314642","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314642","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"}}]}}