{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T21:01:20Z","timestamp":1751662880648,"version":"3.28.0"},"reference-count":40,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,26]]},"DOI":"10.1109\/lics56636.2023.10175773","type":"proceedings-article","created":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T13:18:23Z","timestamp":1689340703000},"page":"1-13","source":"Crossref","is-referenced-by-count":3,"title":["Deterministic stream-sampling for probabilistic programming: semantics and verification"],"prefix":"10.1109","author":[{"given":"Fredrik","family":"Dahlqvist","sequence":"first","affiliation":[{"name":"Queen Mary University of London and University College London,London,United Kingdom"}]},{"given":"Alexandra","family":"Silva","sequence":"additional","affiliation":[{"name":"Cornell University,Department of Computer Science,Ithaca,USA"}]},{"given":"William","family":"Smith","sequence":"additional","affiliation":[{"name":"University College London,Department of Computer Science,London,United Kingdom"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3164540"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1307\/mmj\/1028999711"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3158147","article-title":"Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming","volume":"2","author":"ehrhard","year":"2017","journal-title":"Proceedings of the ACM on Programming Languages"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935313"},{"article-title":"Church: a language for generative models","year":"2012","author":"goodman","key":"ref15"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.2000.892063"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785699"},{"key":"ref36","first-page":"36","article-title":"Bugs: a statistical modelling package","volume":"2","author":"thomas","year":"1994","journal-title":"RTA\/BCS Modular Languages Newsletter"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1969-0251719-4"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/272991.272995"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.29"},{"journal-title":"Monte Carlo Statistical Methods","year":"2013","author":"robert","key":"ref33"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1109\/LICS56636.2023.10175773","article-title":"Deterministic stream-sampling for probabilistic programming: semantics and verification","author":"dahlqvist","year":"2023"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1047659.1040320"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3591220"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-9868.2009.00736.x"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2008.12.009"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2016.11.006"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005137"},{"key":"ref38","first-page":"1","article-title":"A domain theory for statistical probabilistic programming","author":"v\u00e1k\u00e1r","year":"2019","journal-title":"Proceedings of the ACM on Programming Languages 3"},{"journal-title":"Foundations of Modern Probability","year":"1997","author":"kallenberg","key":"ref19"},{"key":"ref18","first-page":"75","author":"huang","year":"2020","journal-title":"Application of Computable Distributions to the Semantics of Probabilistic Programs"},{"journal-title":"Introduction to quasi-Monte Carlo integration and applications","year":"2014","author":"leobacher","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2017.8247790"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1023\/A:1008929526011","article-title":"Winbugs - a bayesian modeling framework: Concepts, structure and extensibility","volume":"10","author":"lunn","year":"2000","journal-title":"Statistics and Computing"},{"key":"ref25","article-title":"The stable category and generalized Thom spectra. Appendix A","author":"lewis","year":"1978","journal-title":"PhD thesis"},{"article-title":"Compact complement topologies and k-spaces","year":"2018","author":"keremedis","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1051\/ita\/2012012"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/358407.358414"},{"article-title":"Venture: a higher-order probabilistic programming platform with programmable inference","year":"2014","author":"mansinghka","key":"ref27"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(66)80018-9"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3371125","article-title":"Semantics of higher-order probabilistic programs with conditioning","volume":"4","author":"dahlqvist","year":"2019","journal-title":"Proceedings of the ACM on Programming Languages"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"key":"ref9","first-page":"1","author":"dahlqvist","year":"2020","journal-title":"Semantics of Probabilistic Programming A Gentle Introduction"},{"key":"ref4","article-title":"Usability of probabilistic programming languages","author":"blackwell","year":"2019","journal-title":"Psychology of Programming Interest Group Annual Workshop (PPIG 2019)"},{"key":"ref3","first-page":"28:1","article-title":"Pyro: Deep universal probabilistic programming","volume":"20","author":"bingham","year":"2019","journal-title":"J Mach Learn Res"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1201\/b10905"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3022670.2951942"},{"key":"ref40","first-page":"1024","article-title":"A new approach to probabilistic programming inference","author":"wood","year":"0"}],"event":{"name":"2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2023,6,26]]},"location":"Boston, MA, USA","end":{"date-parts":[[2023,6,29]]}},"container-title":["2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10175635\/10175671\/10175773.pdf?arnumber=10175773","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T13:58:41Z","timestamp":1690898321000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10175773\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,26]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/lics56636.2023.10175773","relation":{},"subject":[],"published":{"date-parts":[[2023,6,26]]}}}