{"id":"https://openalex.org/W4406222444","doi":"https://doi.org/10.1145/3704845","title":"Flo: A Semantic Foundation for Progressive Stream Processing","display_name":"Flo: A Semantic Foundation for Progressive Stream Processing","publication_year":2025,"publication_date":"2025-01-07","ids":{"openalex":"https://openalex.org/W4406222444","doi":"https://doi.org/10.1145/3704845"},"language":"en","primary_location":{"id":"doi:10.1145/3704845","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704845","pdf_url":null,"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":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3704845","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018127900","display_name":"Shadaj Laddad","orcid":"https://orcid.org/0000-0002-6658-6548"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shadaj Laddad","raw_affiliation_strings":["University of California at Berkeley, Berkeley, USA"],"raw_orcid":"https://orcid.org/0000-0002-6658-6548","affiliations":[{"raw_affiliation_string":"University of California at Berkeley, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059427197","display_name":"Alvin Cheung","orcid":"https://orcid.org/0000-0001-6261-6263"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alvin Cheung","raw_affiliation_strings":["University of California at Berkeley, Berkeley, USA"],"raw_orcid":"https://orcid.org/0000-0001-6261-6263","affiliations":[{"raw_affiliation_string":"University of California at Berkeley, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043626252","display_name":"Joseph M. Hellerstein","orcid":"https://orcid.org/0000-0002-7712-4306"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joseph M. Hellerstein","raw_affiliation_strings":["University of California at Berkeley, Berkeley, USA"],"raw_orcid":"https://orcid.org/0000-0002-7712-4306","affiliations":[{"raw_affiliation_string":"University of California at Berkeley, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053205507","display_name":"Mae Milano","orcid":"https://orcid.org/0000-0003-3126-7771"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mae Milano","raw_affiliation_strings":["Princeton University, Princeton, USA"],"raw_orcid":"https://orcid.org/0000-0003-3126-7771","affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, USA","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9739,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.85069339,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"9","issue":"POPL","first_page":"241","last_page":"270"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9997000098228455,"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/T11106","display_name":"Data Management and Algorithms","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T12761","display_name":"Data Stream Mining Techniques","score":0.993399977684021,"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/foundation","display_name":"Foundation (evidence)","score":0.6969786882400513},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6060959696769714},{"id":"https://openalex.org/keywords/stream-processing","display_name":"Stream processing","score":0.47914642095565796},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.35914772748947144},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.13064566254615784},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.06978997588157654},{"id":"https://openalex.org/keywords/archaeology","display_name":"Archaeology","score":0.05585107207298279}],"concepts":[{"id":"https://openalex.org/C2780966255","wikidata":"https://www.wikidata.org/wiki/Q5474306","display_name":"Foundation (evidence)","level":2,"score":0.6969786882400513},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6060959696769714},{"id":"https://openalex.org/C107027933","wikidata":"https://www.wikidata.org/wiki/Q2006448","display_name":"Stream processing","level":2,"score":0.47914642095565796},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.35914772748947144},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.13064566254615784},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.06978997588157654},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.05585107207298279}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3704845","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704845","pdf_url":null,"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"}],"best_oa_location":{"id":"doi:10.1145/3704845","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704845","pdf_url":null,"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/G1562478397","display_name":"III: Medium: Collaborative Research: Reasoning about Optimizers for Data-Intensive Systems","funder_award_id":"1955488","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2551027135","display_name":"USING VERIFIED LIFTING TO OPTIMIZE LEGACY STENCIL CODES","funder_award_id":"DESC0016260","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G2712957708","display_name":"CAREER: Generating Application-Specific Database Management Systems","funder_award_id":"2027575","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2775513529","display_name":"Secure, Real-Time Decisions on Live Data","funder_award_id":"1730628","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2859789661","display_name":null,"funder_award_id":"N00014-21-1-2724","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G4261486708","display_name":null,"funder_award_id":"DGE 2146752","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G5944197847","display_name":null,"funder_award_id":"W911NF2110339","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G6852334964","display_name":"Graduate Research Fellowship Program (GRFP)","funder_award_id":"2146752","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8751405378","display_name":null,"funder_award_id":"DGE 2146 752","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"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/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320310598","display_name":"Amazon Web Services","ror":"https://ror.org/04mv4n011"},{"id":"https://openalex.org/F4320316785","display_name":"VMware","ror":null},{"id":"https://openalex.org/F4320316831","display_name":"Futurewei Technologies","ror":null},{"id":"https://openalex.org/F4320318398","display_name":"Ant Group","ror":null},{"id":"https://openalex.org/F4320332169","display_name":"Directorate for Computer and Information Science and Engineering","ror":"https://ror.org/025kzpk63"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1493725222","https://openalex.org/W1970603441","https://openalex.org/W1976821017","https://openalex.org/W1995969393","https://openalex.org/W2008503861","https://openalex.org/W2010337608","https://openalex.org/W2045396951","https://openalex.org/W2052464302","https://openalex.org/W2082171780","https://openalex.org/W2099395665","https://openalex.org/W2106656979","https://openalex.org/W2112648314","https://openalex.org/W2115503987","https://openalex.org/W2118314541","https://openalex.org/W2124298185","https://openalex.org/W2132520482","https://openalex.org/W2134321625","https://openalex.org/W2135216003","https://openalex.org/W2141684031","https://openalex.org/W2156302731","https://openalex.org/W2162492115","https://openalex.org/W2162553498","https://openalex.org/W2247317079","https://openalex.org/W2753910905","https://openalex.org/W2790634852","https://openalex.org/W2807799957","https://openalex.org/W2954213583","https://openalex.org/W2955965928","https://openalex.org/W2996212942","https://openalex.org/W3017159537","https://openalex.org/W3029425001","https://openalex.org/W4237841550","https://openalex.org/W4253774675","https://openalex.org/W4375928209","https://openalex.org/W4393184007","https://openalex.org/W4399851350"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2381393187","https://openalex.org/W2332779545","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W2358060160","https://openalex.org/W2035483685"],"abstract_inverted_index":{"Streaming":[0],"systems":[1],"are":[2,24,31,61],"present":[3],"throughout":[4],"modern":[5],"applications,":[6],"processing":[7],"continuous":[8],"data":[9],"in":[10,37,76,155],"real-time.":[11],"Existing":[12],"streaming":[13,50,59,69,83,142],"languages":[14,30],"have":[15,36],"a":[16,81,98],"variety":[17],"of":[18,79,94,132],"semantic":[19,48],"models":[20],"and":[21,52,63,90,123,143,148,157],"guarantees":[22,158],"that":[23,58,85,151,159],"often":[25],"incompatible.":[26],"Yet":[27],"all":[28],"these":[29,74],"considered":[32],"\u201cstreaming\u201d\u2013what":[33],"do":[34],"they":[35,56],"common?":[38],"In":[39],"this":[40],"paper,":[41],"we":[42,135],"identify":[43],"two":[44],"general":[45],"yet":[46],"precise":[47],"properties:":[49],"progress":[51],"eager":[53],"execution.":[54],"Together,":[55],"ensure":[57],"outputs":[60],"deterministic":[62],"kept":[64],"fresh":[65],"with":[66,126],"respect":[67],"to":[68,102,109,161],"inputs.":[70],"We":[71],"formally":[72],"define":[73],"properties":[75],"the":[77,91,130],"context":[78],"Flo,":[80],"parameterized":[82],"language":[84],"abstracts":[86],"over":[87],"dataflow":[88,121],"operators":[89,108],"underlying":[92],"structure":[93],"streams.":[95],"It":[96],"leverages":[97],"lightweight":[99],"type":[100],"system":[101],"distinguish":[103],"bounded":[104],"streams,":[105],"which":[106],"allow":[107],"block":[110],"on":[111],"termination,":[112],"from":[113,140],"unbounded":[114],"ones.":[115],"Furthermore,":[116],"Flo":[117,156],"provides":[118],"constructs":[119],"for":[120],"composition":[122],"nested":[124],"graphs":[125],"cycles.":[127],"To":[128],"demonstrate":[129],"generality":[131],"our":[133,162],"properties,":[134],"show":[136],"how":[137],"key":[138],"ideas":[139],"representative":[141],"incremental":[144],"computation":[145],"systems\u2014Flink,":[146],"LVars,":[147],"DBSP\u2014have":[149],"semantics":[150],"can":[152],"be":[153],"modeled":[154],"map":[160],"properties.":[163]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}