{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T07:58:56Z","timestamp":1790927936035,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,18]],"date-time":"2013-08-18T00:00:00Z","timestamp":1376784000000},"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":[[2013,8,18]]},"DOI":"10.1145\/2491411.2491423","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"92-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":48,"title":["Bayesian inference using data flow analysis"],"prefix":"10.1145","author":[{"given":"Guillaume","family":"Claret","sequence":"first","affiliation":[{"name":"INRIA, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sriram K.","family":"Rajamani","sequence":"additional","affiliation":[{"name":"Microsoft Research, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aditya V.","family":"Nori","sequence":"additional","affiliation":[{"name":"Microsoft Research, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrew D.","family":"Gordon","sequence":"additional","affiliation":[{"name":"Microsoft Research, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Johannes","family":"Borgstr\u00f6m","sequence":"additional","affiliation":[{"name":"Uppsala University, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008699807402"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480894"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987211.1987216"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/647768.733930"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"e_1_3_2_1_6_1","volume-title":"Artificial Intelligence and Statistics (AISTATS)","author":"Chaganty A. T.","year":"2013","unstructured":"A. T. Chaganty , A. V. Nori , and S. K. Rajamani . E\ufb03ciently sampling probabilistic programs via program analysis . In Artificial Intelligence and Statistics (AISTATS) , 2013 . A. T. Chaganty, A. V. Nori, and S. K. Rajamani. E\ufb03ciently sampling probabilistic programs via program analysis. In Artificial Intelligence and Statistics (AISTATS), 2013."},{"key":"e_1_3_2_1_7_1","first-page":"2449","volume-title":"International Joint Conference on on Artificial Intelligence (IJCAI)","author":"Chavira M.","year":"2007","unstructured":"M. Chavira and A. Darwiche . Compiling bayesian networks using variable elimination . In International Joint Conference on on Artificial Intelligence (IJCAI) , pages 2443\u2013 2449 , 2007 . M. Chavira and A. Darwiche. Compiling bayesian networks using variable elimination. In International Joint Conference on on Artificial Intelligence (IJCAI), pages 2443\u20132449, 2007."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_10_1","volume-title":"Elements of Information Theory","author":"Cover T. M.","year":"2006","unstructured":"T. M. Cover and J. A. Thomas . Elements of Information Theory (Wiley Series in Telecommunications and Signal Processing). Wiley-Interscience , 2006 . T. M. Cover and J. A. Thomas. Elements of Information Theory (Wiley Series in Telecommunications and Signal Processing). Wiley-Interscience, 2006."},{"key":"e_1_3_2_1_11_1","unstructured":"A. Darwiche. SamIam. Software available from http:\/\/reasoning.cs.ucla.edu\/samiam.  A. Darwiche. SamIam. Software available from http:\/\/reasoning.cs.ucla.edu\/samiam."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336773"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.2307\/2348941"},{"key":"e_1_3_2_1_14_1","first-page":"229","volume-title":"Uncertainty in Artificial Intelligence (UAI)","author":"Goodman N. D.","year":"2008","unstructured":"N. D. Goodman , V. K. Mansinghka , D. M. Roy , K. Bonawitz , and J. B. Tenenbaum . Church: a language for generative models . In Uncertainty in Artificial Intelligence (UAI) , pages 220\u2013 229 , 2008 . N. D. Goodman, V. K. Mansinghka, D. M. Roy, K. Bonawitz, and J. B. Tenenbaum. Church: a language for generative models. In Uncertainty in Artificial Intelligence (UAI), pages 220\u2013229, 2008."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429119"},{"key":"e_1_3_2_1_16_1","first-page":"576","volume-title":"Advances in Neural Information Processing Systems (NIPS)","author":"Herbrich R.","year":"2007","unstructured":"R. Herbrich , T. Minka , and T. Graepel . TrueSkill(TM): A Bayesian skill rating system . In Advances in Neural Information Processing Systems (NIPS) , pages 569\u2013 576 , 2007 . R. Herbrich, T. Minka, and T. Graepel. TrueSkill(TM): A Bayesian skill rating system. In Advances in Neural Information Processing Systems (NIPS), pages 569\u2013576, 2007."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1882094.1882118"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512945"},{"key":"e_1_3_2_1_19_1","volume-title":"The Alchemy system for statistical relational AI. Technical report","author":"Kok S.","year":"2007","unstructured":"S. Kok , M. Sumner , M. Richardson , P. Singla , H. Poon , D. Lowd , and P. Domingos . The Alchemy system for statistical relational AI. Technical report , University of Washington , 2007 . http:\/\/alchemy.cs.washington.edu. S. Kok, M. Sumner, M. Richardson, P. Singla, H. Poon, D. Lowd, and P. Domingos. The Alchemy system for statistical relational AI. Technical report, University of Washington, 2007. http:\/\/alchemy.cs.washington.edu."},{"key":"e_1_3_2_1_20_1","volume-title":"Probabilistic Graphical Models: Principles and Techniques","author":"Koller D.","year":"2009","unstructured":"D. Koller and N. Friedman . Probabilistic Graphical Models: Principles and Techniques . MIT Press , 2009 . D. Koller and N. Friedman. Probabilistic Graphical Models: Principles and Techniques. MIT Press, 2009."},{"key":"e_1_3_2_1_21_1","first-page":"747","volume-title":"National Conference on Artificial Intelligence (AAAI)","author":"Koller D.","year":"1997","unstructured":"D. Koller , D. A. McAllester , and A. Pfeffer . Effective Bayesian inference for stochastic programs . In National Conference on Artificial Intelligence (AAAI) , pages 740\u2013 747 , 1997 . D. Koller, D. A. McAllester, and A. Pfeffer. Effective Bayesian inference for stochastic programs. In National Conference on Artificial Intelligence (AAAI), pages 740\u2013747, 1997."},{"key":"e_1_3_2_1_22_1","volume-title":"Semantics of probabilistic programs. Journal of Computer and System Sciences (JCSS), 22(3):328\u2013350","author":"Kozen D.","year":"1981","unstructured":"D. Kozen . Semantics of probabilistic programs. Journal of Computer and System Sciences (JCSS), 22(3):328\u2013350 , 1981 . D. Kozen. Semantics of probabilistic programs. Journal of Computer and System Sciences (JCSS), 22(3):328\u2013350, 1981."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1014989.1014992"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1988.122451"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2590624.2590625"},{"key":"e_1_3_2_1_26_1","volume-title":"Nov.","author":"Minka T.","year":"2009","unstructured":"T. Minka , J. Winn , J. Guiver , and A. Kannan . Infer.NET 2.3 , Nov. 2009 . Software available from http:\/\/research.microsoft.com\/infernet. T. Minka, J. Winn, J. Guiver, and A. Kannan. Infer.NET 2.3, Nov. 2009. Software available from http:\/\/research.microsoft.com\/infernet."},{"key":"e_1_3_2_1_27_1","volume-title":"I-XIX. Morgan Kaufmann","author":"Pearl J.","year":"1989","unstructured":"J. Pearl . Probabilistic reasoning in intelligent systems \u2013 networks of plausible inference . I-XIX. Morgan Kaufmann , 1989 . J. Pearl. Probabilistic reasoning in intelligent systems \u2013 networks of plausible inference. I-XIX. Morgan Kaufmann, 1989."},{"key":"e_1_3_2_1_28_1","volume-title":"Statistical Relational Learning","author":"Pfeffer A.","year":"2007","unstructured":"A. Pfeffer . Statistical Relational Learning , chapter The design and implementation of IBAL: A General-Purpose Probabilistic Language. MIT Press , 2007 . A. Pfeffer. Statistical Relational Learning, chapter The design and implementation of IBAL: A General-Purpose Probabilistic Language. MIT Press, 2007."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231433"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462179"},{"key":"e_1_3_2_1_31_1","first-page":"1390","volume-title":"International Joint Conference on on Artificial Intelligence (IJCAI)","author":"Sanner S.","year":"2005","unstructured":"S. Sanner and D. A. McAllester . A\ufb03ne Algebraic Decision Diagrams (AADDs) and their application to structured probabilistic inference . In International Joint Conference on on Artificial Intelligence (IJCAI) , pages 1384\u2013 1390 , 2005 . S. Sanner and D. A. McAllester. A\ufb03ne Algebraic Decision Diagrams (AADDs) and their application to structured probabilistic inference. In International Joint Conference on on Artificial Intelligence (IJCAI), pages 1384\u20131390, 2005."},{"key":"e_1_3_2_1_32_1","unstructured":"F. Somenzi. CUDD: CU decision diagram package release 2.5.0. Software available from http:\/\/vlsi.colorado.edu.  F. Somenzi. CUDD: CU decision diagram package release 2.5.0. Software available from http:\/\/vlsi.colorado.edu."}],"event":{"name":"ESEC\/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Saint Petersburg Russia","acronym":"ESEC\/FSE'13","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491423","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491411.2491423","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:41Z","timestamp":1750231721000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491423"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,18]]},"references-count":31,"alternative-id":["10.1145\/2491411.2491423","10.1145\/2491411"],"URL":"https:\/\/doi.org\/10.1145\/2491411.2491423","relation":{},"subject":[],"published":{"date-parts":[[2013,8,18]]},"assertion":[{"value":"2013-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}