{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:58Z","timestamp":1772164078538,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T00:00:00Z","timestamp":1452470400000},"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":[[2016,1,11]]},"DOI":"10.1145\/2837614.2837653","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T09:05:00Z","timestamp":1452157500000},"page":"271-283","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Fabular: regression formulas as probabilistic programming"],"prefix":"10.1145","author":[{"given":"Johannes","family":"Borgstr\u00f6m","sequence":"first","affiliation":[{"name":"Uppsala University, Sweden"}]},{"given":"Andrew D.","family":"Gordon","sequence":"additional","affiliation":[{"name":"Microsoft Research, UK \/ University of Edinburgh, UK"}]},{"given":"Long","family":"Ouyang","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}]},{"given":"Claudio","family":"Russo","sequence":"additional","affiliation":[{"name":"Microsoft Research, UK"}]},{"given":"Adam","family":"\u015acibior","sequence":"additional","affiliation":[{"name":"University of Cambridge, UK \/ MPI T\u00fcbingen, Germany"}]},{"given":"Marcin","family":"Szymczak","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}]}],"member":"320","published-online":{"date-parts":[[2016,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_35"},{"key":"e_1_3_2_1_2_1","volume-title":"Measure transformer semantics for Bayesian machine learning. Logical Methods in Computer Science, 9(3)","author":"Borgstr\u00f6m J.","year":"2013","unstructured":"J. Borgstr\u00f6m , A. D. Gordon , M. Greenberg , J. Margetson , and J. V. Gael . Measure transformer semantics for Bayesian machine learning. Logical Methods in Computer Science, 9(3) , 2013 . Preliminary version at ESOP\u201911. J. Borgstr\u00f6m, A. D. Gordon, L. Ouyang, C. Russo, A. \u015acibior, and M. Szymczak. Fabular : Regression formulas as probabilistic programming. Technical Report MSR\u2013TR\u20132015\u201383, Microsoft Research , 2015. J. Borgstr\u00f6m, A. D. Gordon, M. Greenberg, J. Margetson, and J. V. Gael. Measure transformer semantics for Bayesian machine learning. Logical Methods in Computer Science, 9(3), 2013. Preliminary version at ESOP\u201911. J. Borgstr\u00f6m, A. D. Gordon, L. Ouyang, C. Russo, A. \u015acibior, and M. Szymczak. Fabular: Regression formulas as probabilistic programming. Technical Report MSR\u2013TR\u20132015\u201383, Microsoft Research, 2015."},{"key":"e_1_3_2_1_4_1","volume-title":"Data Analysis Using Regression and Multilevel\/Hierarchical Models","author":"Gelman A.","year":"2007","unstructured":"A. Gelman and J. Hill . Data Analysis Using Regression and Multilevel\/Hierarchical Models . Cambridge University Press , 2007 . A. Gelman and J. Hill. Data Analysis Using Regression and Multilevel\/Hierarchical Models. Cambridge University Press, 2007."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.2307\/2348941"},{"key":"e_1_3_2_1_6_1","volume-title":"AUAI Press","author":"Goodman N.","year":"2008","unstructured":"N. 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\u201908), pages 220\u2013229 . AUAI Press , 2008 . N. 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\u201908), pages 220\u2013229. AUAI Press, 2008."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429117"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429119"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535850"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03034-5_17"},{"key":"e_1_3_2_1_11_1","volume-title":"The BUGS Book","author":"Lunn D.","year":"2013","unstructured":"D. Lunn , C. Jackson , N. Best , A. Thomas , and D. Spiegelhalter . The BUGS Book . CRC Press , 2013 . D. Lunn, C. Jackson, N. Best, A. Thomas, and D. Spiegelhalter. The BUGS Book. CRC Press, 2013."},{"key":"e_1_3_2_1_12_1","volume-title":"Venture: a higher-order probabilistic programming platform with programmable inference. CoRR","author":"Mansinghka V.","year":"2014","unstructured":"V. Mansinghka , D. Selsam , and Y. Perov . Venture: a higher-order probabilistic programming platform with programmable inference. CoRR , 2014 . arXiv:1404.0099v1 {cs.AI}. B. Milch, B. Marthi, S. J. Russell, D. Sontag, D. L. Ong, and A. Kolobov. Statistical Relational Learning, chapter BLOG : Probabilistic Models with Unknown Objects. MIT Press , 2007. V. Mansinghka, D. Selsam, and Y. Perov. Venture: a higher-order probabilistic programming platform with programmable inference. CoRR, 2014. arXiv:1404.0099v1 {cs.AI}. B. Milch, B. Marthi, S. J. Russell, D. Sontag, D. L. Ong, and A. Kolobov. Statistical Relational Learning, chapter BLOG: Probabilistic Models with Unknown Objects. MIT Press, 2007."},{"key":"e_1_3_2_1_13_1","volume-title":"Massachusetts Institute of Technology","author":"Minka T.","year":"2001","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. P. Minka. A family of algorithms for approximate Bayesian inference. PhD thesis , Massachusetts Institute of Technology , 2001 . T. Minka, J. Winn, J. Guiver, and A. Kannan. Infer.NET 2.3, Nov. 2009. Software available from http:\/\/research.microsoft.com\/ infernet. T. P. Minka. A family of algorithms for approximate Bayesian inference. PhD thesis, Massachusetts Institute of Technology, 2001."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_6"},{"key":"e_1_3_2_1_15_1","volume-title":"Conference on Artificial Intelligence. AAAI","author":"Nori A. V.","year":"2014","unstructured":"A. V. Nori , C.-K. Hur , S. K. Rajamani , and S. Samuel . R2: An efficient MCMC sampler for probabilistic programs . In Conference on Artificial Intelligence. AAAI , July 2014 . A. V. Nori, C.-K. Hur, S. K. Rajamani, and S. Samuel. R2: An efficient MCMC sampler for probabilistic programs. In Conference on Artificial Intelligence. AAAI, July 2014."},{"key":"e_1_3_2_1_16_1","volume-title":"ICML","author":"Paige B.","year":"2014","unstructured":"B. Paige and F. Wood . A compilation target for probabilistic programming languages . In ICML , 2014 . B. Paige and F. Wood. A compilation target for probabilistic programming languages. In ICML, 2014."},{"key":"e_1_3_2_1_17_1","volume-title":"Charles River Analytics","author":"Pfeffer A.","year":"2009","unstructured":"A. Pfeffer . Figaro : An object-oriented probabilistic programming language. Technical report , Charles River Analytics , 2009 . A. Pfeffer. Figaro: An object-oriented probabilistic programming language. Technical report, Charles River Analytics, 2009."},{"key":"e_1_3_2_1_18_1","series-title":"AAAI Technical Report","volume-title":"R: A Language and Environment for Statistical Computing","author":"Core Team R","year":"2015","unstructured":"R Core Team . R: A Language and Environment for Statistical Computing . R Foundation for Statistical Computing, Vienna, Austria , 2015 . URL http:\/\/www.R-project.org\/. S. R. Riedel, S. Singh, V. Srikumar, T. Rockt\u00e4schel, L. Visengeriyeva, and J. Noessner. WOLFE: strength reduction and approximate programming for probabilistic programming. In Statistical Relational Artificial Intelligence (StarAI 2014), volume WS-14- 13 of AAAI Technical Report . The AAAI Press , 2014. R Core Team. R: A Language and Environment for Statistical Computing. R Foundation for Statistical Computing, Vienna, Austria, 2015. URL http:\/\/www.R-project.org\/. S. R. Riedel, S. Singh, V. Srikumar, T. Rockt\u00e4schel, L. Visengeriyeva, and J. Noessner. WOLFE: strength reduction and approximate programming for probabilistic programming. In Statistical Relational Artificial Intelligence (StarAI 2014), volume WS-14-13 of AAAI Technical Report. The AAAI Press, 2014."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1526709.1526725"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1093\/jn\/133.11.3965S"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 17th International conference on Artificial Intelligence and Statistics, volume 33 of JMLR Workshop and Conference Proceedings","author":"Wood F.","year":"2014","unstructured":"F. Wood , J. W. van de Meent, and V. Mansinghka. A new approach to probabilistic programming inference . In Proceedings of the 17th International conference on Artificial Intelligence and Statistics, volume 33 of JMLR Workshop and Conference Proceedings , 2014 . F. Wood, J. W. van de Meent, and V. Mansinghka. A new approach to probabilistic programming inference. In Proceedings of the 17th International conference on Artificial Intelligence and Statistics, volume 33 of JMLR Workshop and Conference Proceedings, 2014."},{"key":"e_1_3_2_1_22_1","unstructured":"arXiv:1403.0504v2 {cs.AI}.  arXiv:1403.0504v2 {cs.AI}."}],"event":{"name":"POPL '16: The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"St. Petersburg FL USA","acronym":"POPL '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837653","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2837614.2837653","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:43:38Z","timestamp":1750211018000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837653"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,11]]},"references-count":21,"alternative-id":["10.1145\/2837614.2837653","10.1145\/2837614"],"URL":"https:\/\/doi.org\/10.1145\/2837614.2837653","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2914770.2837653","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,1,11]]},"assertion":[{"value":"2016-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}