{"id":"https://openalex.org/W3203035862","doi":"https://doi.org/10.1145/3485492","title":"Statically bounded-memory delayed sampling for probabilistic streams","display_name":"Statically bounded-memory delayed sampling for probabilistic streams","publication_year":2021,"publication_date":"2021-10-15","ids":{"openalex":"https://openalex.org/W3203035862","doi":"https://doi.org/10.1145/3485492","mag":"3203035862"},"language":"en","primary_location":{"id":"doi:10.1145/3485492","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485492","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485492","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3485492","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Eric Atkinson","orcid":"https://orcid.org/0000-0002-8396-1258"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Eric Atkinson","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Guillaume Baudart","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Guillaume Baudart","raw_affiliation_strings":["Inria, France / ENS, France / PSL University, France"],"affiliations":[{"raw_affiliation_string":"Inria, France / ENS, France / PSL University, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I29607241","https://openalex.org/I2746051580"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Louis Mandel","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Louis Mandel","raw_affiliation_strings":["IBM Research, USA"],"affiliations":[{"raw_affiliation_string":"IBM Research, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Charles Yuan","orcid":"https://orcid.org/0000-0002-4918-4467"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Charles Yuan","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":null,"display_name":"Michael Carbin","orcid":"https://orcid.org/0000-0002-6928-0456"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Carbin","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":0.4199,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.7002147,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"5","issue":"OOPSLA","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.3005000054836273,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.3005000054836273,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.1412999927997589,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.06679999828338623,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7911999821662903},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6917999982833862},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.5658000111579895},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.5655999779701233},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.36970001459121704},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.3601999878883362},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.3450999855995178}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7911999821662903},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7206000089645386},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6917999982833862},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.5658000111579895},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.5655999779701233},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38830000162124634},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3846000134944916},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.36970001459121704},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.3601999878883362},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.3450999855995178},{"id":"https://openalex.org/C34339311","wikidata":"https://www.wikidata.org/wiki/Q1050390","display_name":"C dynamic memory allocation","level":4,"score":0.31679999828338623},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3149000108242035},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.30730000138282776},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.26840001344680786},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.2669999897480011},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.26600000262260437},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.2612000107765198},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.2567000091075897},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2556999921798706},{"id":"https://openalex.org/C52740198","wikidata":"https://www.wikidata.org/wiki/Q1539564","display_name":"Importance sampling","level":3,"score":0.2547999918460846},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.25429999828338623}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3485492","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485492","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485492","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2109.12473","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2109.12473","pdf_url":"https://arxiv.org/pdf/2109.12473","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-03401752v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03401752","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages, 2021, 5 (OOPSLA), pp.1-28. ⟨10.1145/3485492⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1145/3485492","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485492","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485492","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4504108201","display_name":null,"funder_award_id":"N00014-17-1","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G4751570384","display_name":null,"funder_award_id":"4-17-1-","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8105294677","display_name":null,"funder_award_id":"N00014-17-1-2699","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8653844541","display_name":null,"funder_award_id":"ONR-N00014-17-1-2699","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3203035862.pdf","grobid_xml":"https://content.openalex.org/works/W3203035862.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W2007321142","https://openalex.org/W2046536636","https://openalex.org/W2075773711","https://openalex.org/W2102360969","https://openalex.org/W2105934661","https://openalex.org/W2147357149","https://openalex.org/W2395654200","https://openalex.org/W2897613819","https://openalex.org/W2902895875","https://openalex.org/W2955467592","https://openalex.org/W3203035862","https://openalex.org/W4230472026"],"related_works":[],"abstract_inverted_index":{"Probabilistic":[0],"programming":[1,11,26,32],"languages":[2,9],"aid":[3],"developers":[4],"performing":[5],"Bayesian":[6],"inference.":[7,20],"These":[8],"provide":[10],"constructs":[12],"and":[13,18,136,152,160,187],"tools":[14],"for":[15],"probabilistic":[16,25,31,73,107],"modeling":[17],"automated":[19],"Prior":[21],"work":[22,40,52],"introduced":[23],"a":[24,54,84,106,166],"language,":[27],"ProbZelus,":[28],"to":[29,34,51,82,174],"extend":[30],"functionality":[33],"unbounded":[35],"streams":[36],"of":[37,87,92,95,125,129],"data.":[38],"This":[39],"demonstrated":[41],"that":[42,59,169,177,180],"the":[43,72,90,93,96,102,126,132,137,157,182],"delayed":[44,61,77,112,130,149,194],"sampling":[45,62,78,113,150],"inference":[46],"algorithm":[47],"could":[48,63],"be":[49,64],"extended":[50],"in":[53,116,145,190],"streaming":[55],"context.":[56],"ProbZelus":[57],"showed":[58],"while":[60],"effectively":[65],"deployed":[66],"on":[67,71,105],"some":[68],"programs,":[69],"depending":[70],"model":[74],"under":[75,110,148,193],"consideration,":[76],"is":[79],"not":[80],"guaranteed":[81],"use":[83],"bounded":[85,117,146,191],"amount":[86],"memory":[88,147,192],"over":[89,171],"course":[91],"execution":[94,109],"program.":[97],"In":[98],"this":[99],"paper,":[100],"we":[101],"present":[103],"conditions":[104,121],"program\u2019s":[108],"which":[111],"will":[114],"execute":[115],"memory.":[118],"The":[119],"two":[120],"are":[122],"dataflow":[123],"properties":[124,173],"core":[127],"operations":[128],"sampling:":[131],"m":[133,158],"-consumed":[134,159],"property":[135,140],"unseparated":[138,161],"paths":[139,162],".":[141],"A":[142],"program":[143,179],"executes":[144,189],"if,":[151,154],"only":[153],"it":[155],"satisfies":[156,184],"properties.":[163],"We":[164],"propose":[165],"static":[167],"analysis":[168,183],"abstracts":[170],"these":[172,185],"soundly":[175],"ensure":[176],"any":[178],"passes":[181],"properties,":[186],"thus":[188],"sampling.":[195]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2021-10-11T00:00:00"}