{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T07:56:07Z","timestamp":1790927767185,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T00:00:00Z","timestamp":1497398400000},"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":[[2017,6,14]]},"DOI":"10.1145\/3062341.3062375","type":"proceedings-article","created":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T10:01:04Z","timestamp":1497434464000},"page":"111-125","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Compiling Markov chain Monte Carlo algorithms for probabilistic modeling"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Huang","sequence":"first","affiliation":[{"name":"Harvard University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Baptiste","family":"Tristan","sequence":"additional","affiliation":[{"name":"Oracle Labs, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Greg","family":"Morrisett","sequence":"additional","affiliation":[{"name":"Cornell University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"X. TensorFlow: A System for Large-Scale Machine Learning. In Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"BADI M.","year":"2016","unstructured":"A BADI , M. , B ARHAM , P. , C HEN , J. , C HEN , Z. , D AVIS , A. , D EAN , J. , D EVIN , M. , G HEMAWAT , S. , I RVING , G. , I SARD , M. , K UDLUR , M. , L EVENBERG , J. , M ONGA , R. , M OORE , S. , M URRAY , D. G. , S TEINER , B. , T UCKER , P. , V ASUDEVAN , V. , W ARDEN , P. , W ICKE , M. , Y U, Y., AND Z HENG , X. TensorFlow: A System for Large-Scale Machine Learning. In Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI) ( 2016 ). A BADI, M., B ARHAM, P., C HEN, J., C HEN, Z., D AVIS, A., D EAN, J., D EVIN, M., G HEMAWAT, S., I RVING, G., I SARD, M., K UDLUR, M., L EVENBERG, J., M ONGA, R., M OORE, S., M URRAY, D. G., S TEINER, B., T UCKER, P., V ASUDEVAN, V., W ARDEN, P., W ICKE, M., Y U, Y., AND Z HENG, X. TensorFlow: A System for Large-Scale Machine Learning. In Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI) (2016)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-0427(00)00422-2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_35"},{"key":"e_1_3_2_1_4_1","volume-title":"Pattern Recognition and Machine Learning","author":"ISHOP C. M.","year":"2006","unstructured":"B ISHOP , C. M. , Ed. Pattern Recognition and Machine Learning . Springer , 2006 . B ISHOP, C. M., Ed. Pattern Recognition and Machine Learning. Springer, 2006."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987211.1987216"},{"key":"e_1_3_2_1_7_1","volume-title":"X.-L., Eds. Handbook of Markov Chain Monte Carlo, 1 ed","author":"ROOKS S.","year":"2011","unstructured":"B ROOKS , S. , G ELMAN , A. , J ONES , G. L. , AND M ENG , X.-L., Eds. Handbook of Markov Chain Monte Carlo, 1 ed . Chapman and Hall\/CRC , 2011 . B ROOKS, S., G ELMAN, A., J ONES, G. L., AND M ENG, X.-L., Eds. Handbook of Markov Chain Monte Carlo, 1 ed. Chapman and Hall\/CRC, 2011."},{"key":"e_1_3_2_1_8_1","volume-title":"Stan: A Probabilistic Programming Language. Journal of Statistical Software","author":"ARPENTER B.","year":"2016","unstructured":"C ARPENTER , B. , L EE , D. , B RUBAKER , M. A. , R IDDELL , A. , G ELMAN , A. , G OODRICH , B. , G UO , J. , H OFFMAN , M. , B ETANCOURT , M. , AND L I , P. Stan: A Probabilistic Programming Language. Journal of Statistical Software ( 2016 ). C ARPENTER, B., L EE, D., B RUBAKER, M. A., R IDDELL, A., G ELMAN, A., G OODRICH, B., G UO, J., H OFFMAN, M., B ETANCOURT, M., AND L I, P. Stan: A Probabilistic Programming Language. Journal of Statistical Software (2016)."},{"key":"e_1_3_2_1_9_1","unstructured":"in press.  in press."},{"key":"e_1_3_2_1_10_1","volume-title":"Hierarchical Bayesian Compiler. http: \/\/www.umiacs.umd.edu\/~hal\/HBC\/","author":"AUME III","year":"2008","unstructured":"D AUME , III , H. Hierarchical Bayesian Compiler. http: \/\/www.umiacs.umd.edu\/~hal\/HBC\/ , 2008 . D AUME, III, H. Hierarchical Bayesian Compiler. http: \/\/www.umiacs.umd.edu\/~hal\/HBC\/, 2008."},{"key":"e_1_3_2_1_11_1","first-page":"83","volume-title":"AND V ECHEV","author":"EHR T.","year":"2016","unstructured":"G EHR , T. , M ISAILOVIC , S. , AND V ECHEV , M. PSI : Exact Symbolic Inference for Probabilistic Programs. In Computer Aided Verification ( 2016 ), Springer International Publishing , pp. 62\u2013 83 . G EHR, T., M ISAILOVIC, S., AND V ECHEV, M. PSI: Exact Symbolic Inference for Probabilistic Programs. In Computer Aided Verification (2016), Springer International Publishing, pp. 62\u201383."},{"key":"e_1_3_2_1_12_1","first-page":"229","volume-title":"Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence","author":"OODMAN N.","year":"2008","unstructured":"G OODMAN , N. , M ANSINGHKA , V. , R OY , D. M. , B ONAWITZ , K. , AND T ENEN BAUM , J. B. Church : A language for generative models . In Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence ( 2008 ), AUAI, pp. 220\u2013 229 . G OODMAN, N., M ANSINGHKA, V., R OY, D. M., B ONAWITZ, K., AND T ENENBAUM, J. B. Church: A language for generative models. In Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (2008), AUAI, pp. 220\u2013229."},{"key":"e_1_3_2_1_13_1","first-page":"363","volume-title":"Programming Languages and Systems","author":"UANG D.","year":"2016","unstructured":"H UANG , D. , AND M ORRI SETT , G. An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages . In Programming Languages and Systems ( 2016 ), pp. 337\u2013 363 . H UANG, D., AND M ORRISETT, G. An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages. In Programming Languages and Systems (2016), pp. 337\u2013363."},{"key":"e_1_3_2_1_14_1","volume-title":"UCI Machine Learning Repository","author":"ICHMAN M.","year":"2013","unstructured":"L ICHMAN , M. UCI Machine Learning Repository , 2013 . L ICHMAN, M. UCI Machine Learning Repository, 2013."},{"key":"e_1_3_2_1_15_1","volume-title":"Venture: a higher-order probabilistic programming platform with programmable inference. CoRR abs\/1404.0099","author":"ANSINGHKA V. K.","year":"2014","unstructured":"M ANSINGHKA , V. K. , S ELSAM , D. , AND P EROV , Y. N. Venture: a higher-order probabilistic programming platform with programmable inference. CoRR abs\/1404.0099 ( 2014 ). M ANSINGHKA, V. K., S ELSAM, D., AND P EROV, Y. N. Venture: a higher-order probabilistic programming platform with programmable inference. CoRR abs\/1404.0099 (2014)."},{"key":"e_1_3_2_1_16_1","first-page":"1257","volume-title":"Advances in Neural Information Processing Systems 23","author":"ALLUM A.","year":"2009","unstructured":"M C C ALLUM , A. , S CHULTZ , K. , AND S INGH , S. Factorie: Probabilistic programming via imperatively defined factor graphs . In Advances in Neural Information Processing Systems 23 ( 2009 ), Neural Information Processing Systems Foundation , pp. 1249\u2013 1257 . M C C ALLUM, A., S CHULTZ, K., AND S INGH, S. Factorie: Probabilistic programming via imperatively defined factor graphs. In Advances in Neural Information Processing Systems 23 (2009), Neural Information Processing Systems Foundation, pp. 1249\u20131257."},{"key":"e_1_3_2_1_17_1","unstructured":"M INKA T. W INN J. G UIVER J. W EBSTER S. Z A - YKOV Y. Y ANGEL B. S PENGLER A. AND B RONSKILL J. Infer.NET 2.6 2014.  M INKA T. W INN J. G UIVER J. W EBSTER S. Z A - YKOV Y. Y ANGEL B. S PENGLER A. AND B RONSKILL J. Infer.NET 2.6 2014."},{"key":"e_1_3_2_1_18_1","unstructured":"Microsoft Research Cambridge. http:\/\/research.microsoft.com\/infernet.  Microsoft Research Cambridge. http:\/\/research.microsoft.com\/infernet."},{"key":"e_1_3_2_1_19_1","first-page":"548","volume-title":"D. J. Elliptical Slice Sampling. In Proceedings of the 13th International Conference on Artificial Intelligence and Statistics","author":"URRAY I.","year":"2010","unstructured":"M URRAY , I. , A DAMS , R. P. , AND M AC K AY , D. J. Elliptical Slice Sampling. In Proceedings of the 13th International Conference on Artificial Intelligence and Statistics ( 2010 ), SAIS, pp. 541\u2013 548 . M URRAY, I., A DAMS, R. P., AND M AC K AY, D. J. Elliptical Slice Sampling. In Proceedings of the 13th International Conference on Artificial Intelligence and Statistics (2010), SAIS, pp. 541\u2013548."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29604-3_5"},{"key":"e_1_3_2_1_21_1","unstructured":"N EAPOLITAN R. E. Learning Bayesian Networks. Prentice   N EAPOLITAN R. E. Learning Bayesian Networks. Prentice"},{"key":"e_1_3_2_1_22_1","volume-title":"Learning Bayesian Networks","author":"EAPOLITAN R. E.","year":"2004","unstructured":"N EAPOLITAN , R. E. Learning Bayesian Networks . Prentice Hall , 2004 . N EAPOLITAN, R. E. Learning Bayesian Networks. Prentice Hall, 2004."},{"key":"e_1_3_2_1_23_1","first-page":"2482","volume-title":"Proceedings of the 28th AAAI Conference on Artificial Intelligence","author":"ORI A. V.","year":"2010","unstructured":"N ORI , A. V. , H UR , C.-K. , R AJAMANI , S. K. , AND S A MUEL , S. R2 : An efficient mcmc sampler for probabilistic programs . In Proceedings of the 28th AAAI Conference on Artificial Intelligence ( 2010 ), AAAI, pp. 2476\u2013 2482 . N ORI, A. V., H UR, C.-K., R AJAMANI, S. K., AND S AMUEL, S. R2: An efficient mcmc sampler for probabilistic programs. In Proceedings of the 28th AAAI Conference on Artificial Intelligence (2010), AAAI, pp. 2476\u20132482."},{"key":"e_1_3_2_1_24_1","volume-title":"F. A Compilation Target for Probabilistic Programming Languages. In Proceedings of the 31st International Conference on Machine Learning","author":"AIGE B.","year":"2014","unstructured":"P AIGE , B. , AND W OOD , F. A Compilation Target for Probabilistic Programming Languages. In Proceedings of the 31st International Conference on Machine Learning ( 2014 ), JMLR. P AIGE, B., AND W OOD, F. A Compilation Target for Probabilistic Programming Languages. In Proceedings of the 31st International Conference on Machine Learning (2014), JMLR."},{"key":"e_1_3_2_1_25_1","unstructured":"S TAN D EVELOPMENT T EAM. Stan Modeling Language: User\u2019s Guide and Reference Manual. http:\/\/mcstan.org\/documentation\/ 2015.  S TAN D EVELOPMENT T EAM. Stan Modeling Language: User\u2019s Guide and Reference Manual. http:\/\/mcstan.org\/documentation\/ 2015."},{"key":"e_1_3_2_1_26_1","first-page":"9","article-title":"A program to perform Bayesian inference using Gibbs sampling","volume":"4","author":"HOMAS A.","year":"1992","unstructured":"T HOMAS , A. , S PIEGELHALTER , D. J. , AND G ILKS , W. R. BUGS : A program to perform Bayesian inference using Gibbs sampling . Bayesian Statistics 4 , 9 ( 1992 ), 837\u2013842. T HOMAS, A., S PIEGELHALTER, D. J., AND G ILKS, W. R. BUGS: A program to perform Bayesian inference using Gibbs sampling. Bayesian Statistics 4, 9 (1992), 837\u2013842.","journal-title":"Bayesian Statistics"},{"key":"e_1_3_2_1_27_1","first-page":"1701","article-title":"Markov Chains for Exploring Posterior Distributions","volume":"22","author":"IERNEY L","unstructured":"T IERNEY , L . Markov Chains for Exploring Posterior Distributions . Ann. Statist. 22 , 4 (12 1994), 1701 \u2013 1728 . T IERNEY, L. Markov Chains for Exploring Posterior Distributions. Ann. Statist. 22, 4 (12 1994), 1701\u20131728.","journal-title":"Ann. Statist."},{"key":"e_1_3_2_1_28_1","first-page":"79","volume-title":"J., AND V AN H ORN, D. Running probabilistic programs backwards. In Programming Languages and Systems","author":"ORONTO N.","year":"2015","unstructured":"T ORONTO , N. , M C C ARTHY , J., AND V AN H ORN, D. Running probabilistic programs backwards. In Programming Languages and Systems ( 2015 ), Springer , pp. 53\u2013 79 . T ORONTO, N., M C C ARTHY, J., AND V AN H ORN, D. Running probabilistic programs backwards. In Programming Languages and Systems (2015), Springer, pp. 53\u201379."},{"key":"e_1_3_2_1_29_1","volume-title":"Deep Probabilistic Programming. arXiv preprint arXiv:1701.03757","author":"RAN D.","year":"2017","unstructured":"T RAN , D. , H OFFMAN , M. D. , S AUROUS , R. A. , B REVDO , E. , M URPHY , K. , AND B LEI , D. M. Deep Probabilistic Programming. arXiv preprint arXiv:1701.03757 ( 2017 ). T RAN, D., H OFFMAN, M. D., S AUROUS, R. A., B REVDO, E., M URPHY, K., AND B LEI, D. M. Deep Probabilistic Programming. arXiv preprint arXiv:1701.03757 (2017)."},{"key":"e_1_3_2_1_30_1","first-page":"2608","volume-title":"Advances in Neural Information Processing Systems 28","author":"RISTAN J.-B.","year":"2014","unstructured":"T RISTAN , J.-B. , H UANG , D. , T ASSAROTTI , J. , P OCOCK , A. C. , G REEN , S. , AND S T EELE , G. L. Augur: Data-Parallel Probabilistic Modeling . In Advances in Neural Information Processing Systems 28 ( 2014 ), Neural Information Processing Systems Foundation , pp. 2600\u2013 2608 . T RISTAN, J.-B., H UANG, D., T ASSAROTTI, J., P OCOCK, A. C., G REEN, S., AND S TEELE, G. L. Augur: Data-Parallel Probabilistic Modeling. In Advances in Neural Information Processing Systems 28 (2014), Neural Information Processing Systems Foundation, pp. 2600\u20132608."},{"key":"e_1_3_2_1_31_1","first-page":"46","volume-title":"Proceedings of the 17th International Conference on Artificial Intelligence and Statistics","author":"OOD F.","year":"2014","unstructured":"W OOD , F. , VAN DE M EENT , J. W., AND M ANSIN GHKA , V. A new approach to probabilistic programming inference . In Proceedings of the 17th International Conference on Artificial Intelligence and Statistics ( 2014 ), SAIS, pp. 2\u2013 46 . W OOD, F., VAN DE M EENT, J. W., AND M ANSINGHKA, V. A new approach to probabilistic programming inference. In Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (2014), SAIS, pp. 2\u201346."},{"key":"e_1_3_2_1_32_1","first-page":"3645","volume-title":"R. Swift: Compiled Inference for Probabilistic Programming Languages. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","author":"USSELL S.","year":"2016","unstructured":"W U, Y., L I, L., R USSELL , S. , AND B OD \u00b4 IK , R. Swift: Compiled Inference for Probabilistic Programming Languages. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence ( 2016 ), pp. 3637\u2013 3645 . W U, Y., L I, L., R USSELL, S., AND B OD \u00b4 IK, R. Swift: Compiled Inference for Probabilistic Programming Languages. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (2016), pp. 3637\u20133645."}],"event":{"name":"PLDI '17: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Barcelona Spain","acronym":"PLDI '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3062341.3062375","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3062341.3062375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:36:32Z","timestamp":1750203392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3062341.3062375"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,14]]},"references-count":31,"alternative-id":["10.1145\/3062341.3062375","10.1145\/3062341"],"URL":"https:\/\/doi.org\/10.1145\/3062341.3062375","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3140587.3062375","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,6,14]]},"assertion":[{"value":"2017-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}