{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:14:25Z","timestamp":1775873665731,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T00:00:00Z","timestamp":1591833600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100015089","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-17-1-2699"],"award-info":[{"award-number":["N00014-17-1-2699"]}],"id":[{"id":"10.13039\/100015089","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,11]]},"DOI":"10.1145\/3385412.3386009","type":"proceedings-article","created":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T01:40:10Z","timestamp":1591494010000},"page":"898-912","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Reactive probabilistic programming"],"prefix":"10.1145","author":[{"given":"Guillaume","family":"Baudart","sequence":"first","affiliation":[{"name":"IBM Research, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louis","family":"Mandel","sequence":"additional","affiliation":[{"name":"IBM Research, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Atkinson","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Sherman","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Pouzet","sequence":"additional","affiliation":[{"name":"ENS, France \/ PSL University, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Carbin","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Guillaume Baudart Louis Mandel Eric Atkinson Benjamin Sherman Marc Pouzet and Michael Carbin. 2020."},{"key":"e_1_3_2_1_2_1","volume-title":"CoRR abs\/1908.07563","author":"Programming Reactive Probabilistic","year":"2020","unstructured":"Reactive Probabilistic Programming. CoRR abs\/1908.07563 (2020)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Keni Bernardin and Rainer Stiefelhagen. 2008.","DOI":"10.1155\/2008\/246309"},{"key":"e_1_3_2_1_5_1","volume-title":"The CLEAR MOT Metrics. EURASIP J. Image and Video Processing 2008","author":"Object Tracking Performance Evaluating Multiple","year":"2008","unstructured":"Evaluating Multiple Object Tracking Performance: The CLEAR MOT Metrics. EURASIP J. Image and Video Processing 2008 (2008)."},{"key":"e_1_3_2_1_6_1","unstructured":"G\u00e9rard Berry. 1989."},{"key":"e_1_3_2_1_7_1","volume-title":"IFIP Congress. North-Holland\/IFIP, 11\u2013 17","author":"Programming Real Time","unstructured":"Real Time Programming: Special Purpose or General Purpose Languages. In IFIP Congress. North-Holland\/IFIP, 11\u2013 17."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Dariusz Biernacki Jean-Louis Cola\u00e7o Gr\u00e9goire Hamon and Marc Pouzet. 2008. Clock-directed modular code generation for synchronous data-flow languages. In LCTES. ACM 121\u2013130.","DOI":"10.1145\/1379023.1375674"},{"key":"e_1_3_2_1_9_1","volume-title":"Goodman","author":"Bingham Eli","year":"2019","unstructured":"Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul A. Szerlip, Paul Horsfall, and Noah D. Goodman. 2019."},{"key":"e_1_3_2_1_10_1","volume-title":"Deep Universal Probabilistic Programming. J. Mach. Learn. Res. 20","author":"Pyro","year":"2019","unstructured":"Pyro: Deep Universal Probabilistic Programming. J. Mach. Learn. Res. 20 (2019), 28:1\u201328:6."},{"key":"e_1_3_2_1_11_1","unstructured":"Timothy Bourke and Marc Pouzet. 2013."},{"key":"e_1_3_2_1_12_1","unstructured":"Z\u00e9lus: a synchronous language with ODEs. In HSCC. ACM 113\u2013118."},{"key":"e_1_3_2_1_13_1","volume-title":"Jordan","author":"Broderick Tamara","year":"2013","unstructured":"Tamara Broderick, Nicholas Boyd, Andre Wibisono, Ashia C. Wilson, and Michael I. Jordan. 2013."},{"key":"e_1_3_2_1_14_1","unstructured":"Streaming Variational Bayes. In NIPS. 1727\u20131735."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90326-B"},{"key":"e_1_3_2_1_17_1","volume-title":"CMCS (Electronic Notes in Theoretical Computer Science)","author":"Caspi Paul","unstructured":"Paul Caspi and Marc Pouzet. 1998. A Co-iterative Characterization of Synchronous Stream Functions. In CMCS (Electronic Notes in Theoretical Computer Science), Vol. 11. Elsevier, 1\u201321."},{"key":"e_1_3_2_1_18_1","volume-title":"EMSOFT. ACM, 73\u201382. Reactive Probabilistic Programming PLDI \u201920, June 15\u201320","author":"Cola\u00e7o Jean-Louis","year":"2020","unstructured":"Jean-Louis Cola\u00e7o, Gr\u00e9goire Hamon, and Marc Pouzet. 2006. Mixing signals and modes in synchronous data-flow systems. In EMSOFT. ACM, 73\u201382. Reactive Probabilistic Programming PLDI \u201920, June 15\u201320, 2020, London, UK"},{"key":"e_1_3_2_1_19_1","volume-title":"SCADE 6: A formal language for embedded critical software development (invited paper)","author":"Cola\u00e7o Jean-Louis","unstructured":"Jean-Louis Cola\u00e7o, Bruno Pagano, and Marc Pouzet. 2017. SCADE 6: A formal language for embedded critical software development (invited paper). In TASE. IEEE Computer Society, 1\u201311."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2944219.2944329"},{"key":"e_1_3_2_1_21_1","unstructured":"Pierre Del Moral Arnaud Doucet and Ajay Jasra. 2006."},{"key":"e_1_3_2_1_22_1","volume-title":"Royal Statistical Society: Series B (Statistical Methodology) 68, 3","author":"Sequential Monte","year":"2006","unstructured":"Sequential Monte Carlo samplers. J. Royal Statistical Society: Series B (Statistical Methodology) 68, 3 (2006), 411\u2013436."},{"key":"e_1_3_2_1_23_1","volume-title":"Russell","author":"Doucet Arnaud","year":"2000","unstructured":"Arnaud Doucet, Nando de Freitas, Kevin P. Murphy, and Stuart J. Russell. 2000. Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks. In UAI. Morgan Kaufmann, 176\u2013183."},{"key":"e_1_3_2_1_24_1","volume-title":"Vechev","author":"Gehr Timon","year":"2016","unstructured":"Timon Gehr, Sasa Misailovic, and Martin T. Vechev. 2016. PSI: Exact Symbolic Inference for Probabilistic Programs. In CAV (1) (Lecture Notes in Computer Science), Vol. 9779. Springer, 62\u201383."},{"key":"e_1_3_2_1_25_1","volume-title":"Goodman and Andreas Stuhlm\u00fcller","author":"Noah","year":"2014","unstructured":"Noah D. Goodman and Andreas Stuhlm\u00fcller. 2014. The Design and Implementation of Probabilistic Programming Languages. http: \/\/dippl.org Accessed April 2020."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-f-2.1993.0015"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Daniel Huang Jean-Baptiste Tristan and Greg Morrisett. 2017. Compiling Markov chain Monte Carlo algorithms for probabilistic modeling. In PLDI. ACM 111\u2013125.","DOI":"10.1145\/3062341.3062375"},{"key":"e_1_3_2_1_29_1","volume-title":"IFIP Congress. North-Holland, 471\u2013475","author":"Kahn Gilles","year":"1974","unstructured":"Gilles Kahn. 1974. The Semantics of a Simple Language for Parallel Programming. In IFIP Congress. North-Holland, 471\u2013475."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Daniel Lund\u00e9n. 2017.","DOI":"10.4071\/isom-2017-WP33_029"},{"key":"e_1_3_2_1_31_1","volume-title":"Master\u2019s thesis","author":"Anglican Delayed","unstructured":"Delayed sampling in the probabilistic programming language Anglican. Master\u2019s thesis. KTH Royal Institute of Technology."},{"key":"e_1_3_2_1_32_1","volume-title":"Murray","author":"Lund\u00e9n Daniel","year":"2018","unstructured":"Daniel Lund\u00e9n, David Broman, Fredrik Ronquist, and Lawrence M. Murray. 2018. Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs. CoRR abs\/1812.07439 (2018)."},{"key":"e_1_3_2_1_33_1","unstructured":"David Lunn David Spiegelhalter Andrew Thomas and Nicky Best. 2009."},{"key":"e_1_3_2_1_34_1","volume-title":"Evolution, critique and future directions. Statistics in medicine 28, 25","author":"The BUGS","year":"2009","unstructured":"The BUGS project: Evolution, critique and future directions. Statistics in medicine 28, 25 (2009), 3049\u20133067."},{"key":"e_1_3_2_1_35_1","unstructured":"Thomas P. Minka. 2001."},{"key":"e_1_3_2_1_36_1","unstructured":"Expectation Propagation for approximate Bayesian inference. In UAI. Morgan Kaufmann 362\u2013369."},{"key":"e_1_3_2_1_37_1","volume-title":"Sch\u00f6n","author":"Murray Lawrence M.","year":"2018","unstructured":"Lawrence M. Murray, Daniel Lund\u00e9n, Jan Kudlicka, David Broman, and Thomas B. Sch\u00f6n. 2018. Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs. In AISTATS (Proceedings of Machine Learning Research), Vol. 84. PMLR, 1037\u20131046."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.10.013"},{"key":"e_1_3_2_1_39_1","unstructured":"Praveen Narayanan Jacques Carette Wren Romano Chung-chieh Shan and Robert Zinkov. 2016."},{"key":"e_1_3_2_1_40_1","volume-title":"FLOPS (Lecture Notes in Computer Science)","author":"Program Probabilistic Inference","unstructured":"Probabilistic Inference by Program Transformation in Hakaru (System Description). In FLOPS (Lecture Notes in Computer Science), Vol. 9613. Springer, 62\u201379."},{"key":"e_1_3_2_1_41_1","unstructured":"Avi Pfeffer. 2005."},{"key":"e_1_3_2_1_42_1","unstructured":"Functional Specification of Probabilistic Process Models. In AAAI. AAAI Press \/ The MIT Press 663\u2013669."},{"key":"e_1_3_2_1_43_1","volume-title":"CTPPL: A Continuous Time Probabilistic Programming Language. In IJCAI. 1943\u20131950.","author":"Pfeffer Avi","year":"2009","unstructured":"Avi Pfeffer. 2009. CTPPL: A Continuous Time Probabilistic Programming Language. In IJCAI. 1943\u20131950."},{"key":"e_1_3_2_1_44_1","volume-title":"Lutin: A Language for Specifying and Executing Reactive Scenarios. EURASIP Journal of Embedded Sytems 2008","author":"Raymond Pascal","year":"2008","unstructured":"Pascal Raymond, Yvan Roux, and Erwan Jahier. 2008. Lutin: A Language for Specifying and Executing Reactive Scenarios. EURASIP Journal of Embedded Sytems 2008 (2008)."},{"key":"e_1_3_2_1_45_1","volume-title":"AISTATS (JMLR Workshop and Conference Proceedings)","volume":"51","author":"Ritchie Daniel","unstructured":"Daniel Ritchie, Andreas Stuhlm\u00fcller, and Noah D. Goodman. 2016. C3: Lightweight Incrementalized MCMC for Probabilistic Programs using Continuations and Callsite Caching. In AISTATS (JMLR Workshop and Conference Proceedings), Vol. 51. JMLR.org, 28\u201337."},{"key":"e_1_3_2_1_46_1","unstructured":"Eduardo D Sontag. 2013."},{"key":"e_1_3_2_1_47_1","volume-title":"deterministic finite dimensional systems","author":"Mathematical","unstructured":"Mathematical control theory: deterministic finite dimensional systems. Vol. 6. Springer Science & Business Media."},{"key":"e_1_3_2_1_48_1","volume-title":"ESOP (Lecture Notes in Computer Science)","author":"Staton Sam","unstructured":"Sam Staton. 2017. Commutative Semantics for Probabilistic Programming. In ESOP (Lecture Notes in Computer Science), Vol. 10201. Springer, 855\u2013879."},{"key":"e_1_3_2_1_49_1","first-page":"1","article-title":"Design and Implementation of Probabilistic Programming Language Anglican","volume":"6","author":"Tolpin David","year":"2016","unstructured":"David Tolpin, Jan-Willem van de Meent, Hongseok Yang, and Frank D. Wood. 2016. Design and Implementation of Probabilistic Programming Language Anglican. In IFL. ACM, 6:1\u20136:12.","journal-title":"IFL. ACM"},{"key":"e_1_3_2_1_50_1","volume-title":"Blei","author":"Tran Dustin","year":"2017","unstructured":"Dustin Tran, Matthew D. Hoffman, Rif A. Saurous, Eugene Brevdo, Kevin Murphy, and David M. Blei. 2017. Deep Probabilistic Programming. In ICLR (Poster). OpenReview.net."},{"key":"e_1_3_2_1_51_1","volume-title":"Swift: Compiled Inference for Probabilistic Programming Languages","author":"Wu Yi","year":"2016","unstructured":"Yi Wu, Lei Li, Stuart J. Russell, and Rastislav Bod\u00edk. 2016. Swift: Compiled Inference for Probabilistic Programming Languages. In IJCAI. IJCAI\/AAAI Press, 3637\u20133645."}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"London UK","acronym":"PLDI '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386009","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3386009","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3386009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:49Z","timestamp":1750199929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386009"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,11]]},"references-count":51,"alternative-id":["10.1145\/3385412.3386009","10.1145\/3385412"],"URL":"https:\/\/doi.org\/10.1145\/3385412.3386009","relation":{},"subject":[],"published":{"date-parts":[[2020,6,11]]},"assertion":[{"value":"2020-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}