{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:14:29Z","timestamp":1792185269298,"version":"4.4.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227515","type":"print"},{"value":"9783032227522","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T00:00:00Z","timestamp":1776297600000},"content-version":"vor","delay-in-days":105,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22752-2_29","type":"book-chapter","created":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T21:51:57Z","timestamp":1776289917000},"page":"566-585","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-3489-9600","authenticated-orcid":false,"given":"Francesca","family":"Randone","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-0210-6673","authenticated-orcid":false,"given":"Romina","family":"Doz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6018-5989","authenticated-orcid":false,"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8874-4001","authenticated-orcid":false,"given":"Luca","family":"Bortolussi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,4,16]]},"reference":[{"key":"29_CR1","unstructured":"Afshar, H.M., Domke, J.: Reflection, refraction, and hamiltonian monte carlo. In: Cortes, C., Lawrence, N.D., Lee, D.D., Sugiyama, M., Garnett, R. (eds.) Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, December 7-12, 2015, Montreal, Quebec, Canada. pp. 3007\u20133015 (2015), https:\/\/proceedings.neurips.cc\/paper\/2015\/hash\/8303a79b1e19a194f1875981be5bdb6f-Abstract.html"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Andrieu, C., De\u00a0Freitas, N., Doucet, A., Jordan, M.I.: An introduction to mcmc for machine learning. Machine learning 50(1), 5\u201343 (2003)","DOI":"10.1023\/A:1020281327116"},{"key":"29_CR3","unstructured":"Arya, G., Schauer, M., Sch\u00e4fer, F., Rackauckas, C.: Automatic differentiation of programs with discrete randomness. In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A. (eds.) Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022 (2022), http:\/\/papers.nips.cc\/paper_files\/paper\/2022\/hash\/43d8e5fc816c692f342493331d5e98fc-Abstract-Conference.html"},{"key":"29_CR4","unstructured":"Billingsley, P.: Convergence of probability measures. John Wiley & Sons (2013)"},{"key":"29_CR5","unstructured":"Bingham, E., Chen, J.P., Jankowiak, M., Obermeyer, F., Pradhan, N., Karaletsos, T., Singh, R., Szerlip, P., Horsfall, P., Goodman, N.D.: Pyro: Deep universal probabilistic programming. Journal of machine learning research 20(28), \u00a01\u20136 (2019)"},{"key":"29_CR6","unstructured":"Bishop, C.M., Nasrabadi, N.M.: Pattern recognition and machine learning, vol.\u00a04. Springer (2006)"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Blei, D.M., Kucukelbir, A., McAuliffe, J.D.: Variational inference: A review for statisticians. Journal of the American statistical Association 112(518), 859\u2013877 (2017)","DOI":"10.1080\/01621459.2017.1285773"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Borgstr\u00f6m, J., Gordon, A.D., Greenberg, M., Margetson, J., Van\u00a0Gael, J.: Measure transformer semantics for bayesian machine learning. In: European symposium on programming. pp. 77\u201396. Springer (2011)","DOI":"10.1007\/978-3-642-19718-5_5"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Boyd, S.P., Vandenberghe, L.: Convex optimization. Cambridge university press (2004)","DOI":"10.1017\/CBO9780511804441"},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"Carpenter, B., Gelman, A., Hoffman, M.D., Lee, D., Goodrich, B., Betancourt, M., Brubaker, M., Guo, J., Li, P., Riddell, A.: Stan: A probabilistic programming language. Journal of statistical software 76, 1\u201332 (2017)","DOI":"10.18637\/jss.v076.i01"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Chaudhuri, S., Solar-Lezama, A.: Smooth interpretation. ACM Sigplan Notices 45(6), 279\u2013291 (2010)","DOI":"10.1145\/1809028.1806629"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"Chaudhuri, S., Solar-Lezama, A.: Smoothing a program soundly and robustly. In: International Conference on Computer Aided Verification. pp. 277\u2013292. Springer (2011)","DOI":"10.1007\/978-3-642-22110-1_22"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Chong, A., Menberg, K.: Guidelines for the bayesian calibration of building energy models. Energy and Buildings 174, 527\u2013547 (2018)","DOI":"10.1016\/j.enbuild.2018.06.028"},{"key":"29_CR14","unstructured":"Dinh, V., Bilge, A., Zhang, C., IV, F.A.M.: Probabilistic path hamiltonian monte carlo. In: Precup, D., Teh, Y.W. (eds.) Proceedings of the 34th International Conference on Machine Learning, ICML 2017, Sydney, NSW, Australia, 6-11 August 2017. Proceedings of Machine Learning Research, vol.\u00a070, pp. 1009\u20131018. PMLR (2017), http:\/\/proceedings.mlr.press\/v70\/dinh17a.html"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"Kan, R., Robotti, C.: On moments of folded and truncated multivariate normal distributions. Journal of Computational and Graphical Statistics 26(4), 930\u2013934 (2017)","DOI":"10.1080\/10618600.2017.1322092"},{"key":"29_CR16","unstructured":"Karp, R.M.: An introduction to randomized algorithms. Discrete Applied Mathematics 34(1-3), 165\u2013201 (1991)"},{"key":"29_CR17","unstructured":"Kozen, D.: Semantics of probabilistic programs. In: 20th Annual Symposium on Foundations of Computer Science (sfcs 1979). pp. 101\u2013114. IEEE (1979)"},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"Kreikemeyer, J.N., Andelfinger, P.: Smoothing methods for automatic differentiation across conditional branches. IEEE Access 11, 143190\u2013143211 (2023)","DOI":"10.1109\/ACCESS.2023.3342136"},{"key":"29_CR19","unstructured":"van Krieken, E., Tomczak, J.M., ten Teije, A.: Storchastic: A framework for general stochastic automatic differentiation. In: Ranzato, M., Beygelzimer, A., Dauphin, Y.N., Liang, P., Vaughan, J.W. (eds.) Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual. pp. 7574\u20137587 (2021), https:\/\/proceedings.neurips.cc\/paper\/2021\/hash\/3dfe2f633108d604df160cd1b01710db-Abstract.html"},{"key":"29_CR20","doi-asserted-by":"publisher","unstructured":"Laurel, J., Misailovic, S.: Continualization of probabilistic programs with correction. In: M\u00fcller, P. (ed.) Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Lecture Notes in Computer Science, vol. 12075, pp. 366\u2013393. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-44914-8_14, https:\/\/doi.org\/10.1007\/978-3-030-44914-8_14","DOI":"10.1007\/978-3-030-44914-8_14"},{"key":"29_CR21","unstructured":"Lee, E.A., Seshia, S.A.: Introduction to embedded systems: A cyber-physical systems approach. MIT press (2016)"},{"key":"29_CR22","doi-asserted-by":"publisher","unstructured":"Lee, W., Rival, X., Yang, H.: Smoothness analysis for probabilistic programs with application to optimised variational inference. Proc. ACM Program. Lang. 7(POPL), 335\u2013366 (2023). https:\/\/doi.org\/10.1145\/3571205, https:\/\/doi.org\/10.1145\/3571205","DOI":"10.1145\/3571205"},{"key":"29_CR23","unstructured":"Lee, W., Yu, H., Yang, H.: Reparameterization gradient for non-differentiable models. Advances in Neural Information Processing Systems 31 (2018)"},{"key":"29_CR24","doi-asserted-by":"publisher","unstructured":"Lew, A.K., Huot, M., Staton, S., Mansinghka, V.K.: ADEV: sound automatic differentiation of expected values of probabilistic programs. Proc. ACM Program. Lang. 7(POPL), 121\u2013153 (2023). https:\/\/doi.org\/10.1145\/3571198, https:\/\/doi.org\/10.1145\/3571198","DOI":"10.1145\/3571198"},{"key":"29_CR25","unstructured":"Pakman, A., Paninski, L.: Auxiliary-variable exact hamiltonian monte carlo samplers for binary distributions. In: Burges, C.J.C., Bottou, L., Ghahramani, Z., Weinberger, K.Q. (eds.) Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013, Lake Tahoe, Nevada, United States. pp. 2490\u20132498 (2013), https:\/\/proceedings.neurips.cc\/paper\/2013\/hash\/a7d8ae4569120b5bec12e7b6e9648b86-Abstract.html"},{"key":"29_CR26","unstructured":"Rainforth, T., Le, T.A., van\u00a0de Meent, J.W., Osborne, M.A., Wood, F.: Bayesian optimization for probabilistic programs. Advances in Neural Information Processing Systems 29 (2016)"},{"key":"29_CR27","doi-asserted-by":"publisher","unstructured":"Randone, F., Bortolussi, L., Incerto, E., Tribastone, M.: Inference of probabilistic programs with moment-matching gaussian mixtures. Proc. ACM Program. Lang. 8(POPL), 1882\u20131912 (2024). https:\/\/doi.org\/10.1145\/3632905, https:\/\/doi.org\/10.1145\/3632905","DOI":"10.1145\/3632905"},{"key":"29_CR28","unstructured":"Sato, T., Aguirre, A., Barthe, G., Gaboardi, M., Garg, D., Hsu, J.: Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, bayesian inference, and optimization. Proceedings of the ACM on Programming Languages 3(POPL), 1\u201330 (2019)"},{"key":"29_CR29","doi-asserted-by":"crossref","unstructured":"Shmarov, F., Zuliani, P.: Probreach: Verified probabilistic delta-reachability for stochastic hybrid systems (2015), https:\/\/arxiv.org\/abs\/1410.8060","DOI":"10.1145\/2728606.2728625"},{"key":"29_CR30","unstructured":"Staber, B., Veiga, S.D.: Benchmarking bayesian neural networks and evaluation metrics for regression tasks (2023), https:\/\/arxiv.org\/abs\/2206.06779"},{"key":"29_CR31","doi-asserted-by":"crossref","unstructured":"Wick, G.C.: The evaluation of the collision matrix. Physical review 80(2), \u00a0268 (1950)","DOI":"10.1103\/PhysRev.80.268"},{"key":"29_CR32","unstructured":"Yang, W., Lorch, L., Graule, M.A., Srinivasan, S., Suresh, A., Yao, J., Pradier, M.F., Doshi-Velez, F.: Output-constrained bayesian neural networks (2019), https:\/\/arxiv.org\/abs\/1905.06287"},{"key":"29_CR33","unstructured":"Zhang, Y., Sutton, C., Storkey, A.J., Ghahramani, Z.: Continuous relaxations for discrete hamiltonian monte carlo. In: Bartlett, P.L., Pereira, F.C.N., Burges, C.J.C., Bottou, L., Weinberger, K.Q. (eds.) Advances in Neural Information Processing Systems 25: 26th Annual Conference on Neural Information Processing Systems 2012. Proceedings of a meeting held December 3-6, 2012, Lake Tahoe, Nevada, United States. pp. 3203\u20133211 (2012), https:\/\/proceedings.neurips.cc\/paper\/2012\/hash\/c913303f392ffc643f7240b180602652-Abstract.html"},{"key":"29_CR34","unstructured":"Zhou, Y., Gram-Hansen, B.J., Kohn, T., Rainforth, T., Yang, H., Wood, F.: LF-PPL: A low-level first order probabilistic programming language for non-differentiable models. In: Chaudhuri, K., Sugiyama, M. (eds.) The 22nd International Conference on Artificial Intelligence and Statistics, AISTATS 2019, 16-18 April 2019, Naha, Okinawa, Japan. Proceedings of Machine Learning Research, vol.\u00a089, pp. 148\u2013157. PMLR (2019), http:\/\/proceedings.mlr.press\/v89\/zhou19b.html"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22752-2_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T02:29:43Z","timestamp":1782872983000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22752-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227515","9783032227522"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22752-2_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"16 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TACAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tacas2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/about\/tacas\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}