{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:25Z","timestamp":1750221145318,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,18]],"date-time":"2018-06-18T00:00:00Z","timestamp":1529280000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006393","name":"U.S. Air Force","doi-asserted-by":"publisher","award":["FA8750-17-C-0239"],"award-info":[{"award-number":["FA8750-17-C-0239"]}],"id":[{"id":"10.13039\/100006393","id-type":"DOI","asserted-by":"publisher"}]},{"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,18]]},"DOI":"10.1145\/3211346.3211350","type":"proceedings-article","created":{"date-parts":[[2018,6,7]],"date-time":"2018-06-07T19:49:37Z","timestamp":1528400977000},"page":"52-57","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A design proposal for Gen: probabilistic programming with fast custom inference via code generation"],"prefix":"10.1145","author":[{"given":"Marco","family":"Cusumano-Towner","sequence":"first","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":[[2018,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"265","article-title":"TensorFlow: A System for Large-Scale Machine Learning","volume":"16","author":"Abadi Mart\u00edn","year":"2016","journal-title":"OSDI"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Christophe Andrieu Nando De Freitas Arnaud Doucet and Michael I Jordan. 2003. An introduction to MCMC for machine learning. Machine learning 50 1-2 (2003) 5\u201343.  Christophe Andrieu Nando De Freitas Arnaud Doucet and Michael I Jordan. 2003. An introduction to MCMC for machine learning. Machine learning 50 1-2 (2003) 5\u201343.","DOI":"10.1023\/A:1020281327116"},{"key":"e_1_3_2_1_3_1","first-page":"1","article-title":"Stan: A probabilistic programming language","volume":"20","author":"Carpenter Bob","year":"2016","journal-title":"Journal of Statistical Software"},{"volume-title":"International Conference on Artificial Intelligence and Statistics. 1682\u20131690","year":"2018","author":"Ge Hong","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Andrew Gelman John B Carlin Hal S Stern David B Dunson Aki Vehtari and Donald B Rubin. 2014. Bayesian data analysis. Vol. 2. CRC press Boca Raton FL.  Andrew Gelman John B Carlin Hal S Stern David B Dunson Aki Vehtari and Donald B Rubin. 2014. Bayesian data analysis. Vol. 2. CRC press Boca Raton FL.","DOI":"10.1201\/b16018"},{"volume-title":"UAI 2008, Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence","year":"2008","author":"Goodman Noah D.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","unstructured":"Noah D. Goodman and Andreas Stuhlm\u00fcller. 2014. The design and implementation of probabilistic programming languages. Retrieved 2015\/1\/16 from http:\/\/dippl. org.  Noah D. Goodman and Andreas Stuhlm\u00fcller. 2014. The design and implementation of probabilistic programming languages. Retrieved 2015\/1\/16 from http:\/\/dippl. org."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2578855.2535850"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593900"},{"volume-title":"Workshop on Probabilistic Programming Semantics","year":"2018","author":"Gorinova Maria I","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","unstructured":"Thomas L Griffiths Charles Kemp and Joshua B Tenenbaum. {n. d.}. Bayesian models of cognition.  Thomas L Griffiths Charles Kemp and Joshua B Tenenbaum. {n. d.}. Bayesian models of cognition."},{"key":"e_1_3_2_1_12_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","journal-title":"Journal of Machine Learning Research"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062375"},{"key":"e_1_3_2_1_14_1","unstructured":"Uber AI Labs. 2017. Pyro a deep probabilistic programming language. (2017). http:\/\/pyro.ai\/  Uber AI Labs. 2017. Pyro a deep probabilistic programming language. (2017). http:\/\/pyro.ai\/"},{"key":"e_1_3_2_1_15_1","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)."},{"volume-title":"BLOG: Probabilistic models with unknown objects. Statistical Relational Learning","year":"2007","author":"Milch Brian","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","unstructured":"Kevin P Murphy Antonio Torralba and William T Freeman. 2004. Using the forest to see the trees: A graphical model relating features objects and scenes. In Advances in neural information processing systems. 1499\u20131506.   Kevin P Murphy Antonio Torralba and William T Freeman. 2004. Using the forest to see the trees: A graphical model relating features objects and scenes. In Advances in neural information processing systems. 1499\u20131506."},{"key":"e_1_3_2_1_18_1","unstructured":"Siddharth Narayanaswamy T. Brooks Paige Jan-Willem van de Meent Alban Desmaison Noah Goodman Pushmeet Kohli Frank Wood and Philip Torr. 2017. Learning Disentangled Representations with SemiSupervised Deep Generative Models. In Advances in Neural Information Processing Systems. 5927\u20135937.  Siddharth Narayanaswamy T. Brooks Paige Jan-Willem van de Meent Alban Desmaison Noah Goodman Pushmeet Kohli Frank Wood and Philip Torr. 2017. Learning Disentangled Representations with SemiSupervised Deep Generative Models. In Advances in Neural Information Processing Systems. 5927\u20135937."},{"key":"e_1_3_2_1_19_1","unstructured":"Adam Paszke Sam Gross Soumith Chintala Gregory Chanan Edward Yang Zachary DeVito Zeming Lin Alban Desmaison Luca Antiga and Adam Lerer. 2017. Automatic differentiation in PyTorch. (2017).  Adam Paszke Sam Gross Soumith Chintala Gregory Chanan Edward Yang Zachary DeVito Zeming Lin Alban Desmaison Luca Antiga and Adam Lerer. 2017. Automatic differentiation in PyTorch. (2017)."},{"key":"e_1_3_2_1_20_1","unstructured":"Judea Pearl. 2014. Probabilistic reasoning in intelligent systems: networks of plausible inference. Elsevier.  Judea Pearl. 2014. Probabilistic reasoning in intelligent systems: networks of plausible inference. Elsevier."},{"volume-title":"IBAL: A probabilistic rational programming language. In IJCAI. Citeseer, 733\u2013740.","year":"2001","author":"Pfeffer Avi","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","first-page":"96","article-title":"Figaro: An object-oriented probabilistic programming language","volume":"137","author":"Pfeffer Avi","year":"2009","journal-title":"Charles River Analytics Technical Report"},{"volume-title":"AAAI Workshop: Statistical Relational Artificial Intelligence.","year":"2014","author":"Riedel Sebastian Robert","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_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."},{"volume-title":"BUGS: Bayesian inference using Gibbs sampling. Version 0.5,(version ii) http:\/\/www. mrc-bsu. cam. ac. uk\/bugs 19","year":"1996","author":"Spiegelhalter David J.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_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_1_27_1","unstructured":"Dustin Tran Matthew D. Hoffman Rif A. Saurous Eugene Brevdo Kevin Murphy and David M. Blei. 2017. Deep Probabilistic Programming. arXiv:1701.03757 {cs stat} (Jan. 2017). arXiv: 1701.03757.  Dustin Tran Matthew D. Hoffman Rif A. Saurous Eugene Brevdo Kevin Murphy and David M. Blei. 2017. Deep Probabilistic Programming. arXiv:1701.03757 {cs stat} (Jan. 2017). arXiv: 1701.03757."},{"key":"e_1_3_2_1_28_1","first-page":"2600","article-title":"Augur","volume":"27","author":"Tristan Jean-Baptiste","year":"2014","journal-title":"Data-Parallel Probabilistic Modeling. In Advances in Neural Information Processing Systems"},{"volume-title":"Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics. 770\u2013778","year":"2011","author":"Wingate David","key":"e_1_3_2_1_29_1"},{"key":"e_1_3_2_1_30_1","unstructured":"Frank Wood Jan Willem Meent and Vikash Mansinghka. 2014. A new approach to probabilistic programming inference. In Artificial Intelligence and Statistics.  Frank Wood Jan Willem Meent and Vikash Mansinghka. 2014. A new approach to probabilistic programming inference. In Artificial Intelligence and Statistics."},{"volume-title":"Swift: Compiled inference for probabilistic programming languages. arXiv preprint arXiv:1606.09242","year":"2016","author":"Wu Yi","key":"e_1_3_2_1_31_1"},{"key":"e_1_3_2_1_32_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."}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Philadelphia PA USA","acronym":"PLDI '18"},"container-title":["Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3211346.3211350","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3211346.3211350","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3211346.3211350","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:14Z","timestamp":1750208894000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3211346.3211350"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,18]]},"references-count":32,"alternative-id":["10.1145\/3211346.3211350","10.1145\/3211346"],"URL":"https:\/\/doi.org\/10.1145\/3211346.3211350","relation":{},"subject":[],"published":{"date-parts":[[2018,6,18]]},"assertion":[{"value":"2018-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}