{"id":"https://openalex.org/W4221093999","doi":"https://doi.org/10.1109/cgo53902.2022.9741275","title":"Aggregate Update Problem for Multi-clocked Dataflow Languages","display_name":"Aggregate Update Problem for Multi-clocked Dataflow Languages","publication_year":2022,"publication_date":"2022-03-29","ids":{"openalex":"https://openalex.org/W4221093999","doi":"https://doi.org/10.1109/cgo53902.2022.9741275"},"language":"en","primary_location":{"id":"doi:10.1109/cgo53902.2022.9741275","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo53902.2022.9741275","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063294497","display_name":"Hannes Kallwies","orcid":"https://orcid.org/0000-0002-8301-4752"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Hannes Kallwies","raw_affiliation_strings":["University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany"],"affiliations":[{"raw_affiliation_string":"University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002397514","display_name":"Martin Leucker","orcid":"https://orcid.org/0000-0002-3696-9222"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin Leucker","raw_affiliation_strings":["University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany"],"affiliations":[{"raw_affiliation_string":"University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081648154","display_name":"Torben Scheffel","orcid":"https://orcid.org/0000-0003-4744-8294"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Torben Scheffel","raw_affiliation_strings":["University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany"],"affiliations":[{"raw_affiliation_string":"University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066646658","display_name":"Malte Schmitz","orcid":"https://orcid.org/0000-0001-6947-291X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Malte Schmitz","raw_affiliation_strings":["University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany"],"affiliations":[{"raw_affiliation_string":"University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064112443","display_name":"Daniel Thoma","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Daniel Thoma","raw_affiliation_strings":["University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany"],"affiliations":[{"raw_affiliation_string":"University of Lübeck,Institute for Software Engineering and Programming Languages,Lübeck,Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5063294497"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2922,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.55745869,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"5596","issue":null,"first_page":"79","last_page":"91"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9997000098228455,"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/T10772","display_name":"Distributed systems and fault tolerance","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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8856866955757141},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.8229397535324097},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7120327949523926},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6475540399551392},{"id":"https://openalex.org/keywords/copying","display_name":"Copying","score":0.5116703510284424},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4799511730670929},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.45580458641052246},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4138694703578949}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8856866955757141},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.8229397535324097},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7120327949523926},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6475540399551392},{"id":"https://openalex.org/C2779151265","wikidata":"https://www.wikidata.org/wiki/Q1156791","display_name":"Copying","level":2,"score":0.5116703510284424},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4799511730670929},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.45580458641052246},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4138694703578949},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cgo53902.2022.9741275","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo53902.2022.9741275","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1496901196","https://openalex.org/W1516974584","https://openalex.org/W1517761527","https://openalex.org/W1524679748","https://openalex.org/W1663179985","https://openalex.org/W1817199704","https://openalex.org/W1973068315","https://openalex.org/W1975442866","https://openalex.org/W1986388229","https://openalex.org/W1989051781","https://openalex.org/W2017460507","https://openalex.org/W2021986357","https://openalex.org/W2023646352","https://openalex.org/W2035115145","https://openalex.org/W2059162412","https://openalex.org/W2062349224","https://openalex.org/W2062823821","https://openalex.org/W2103940936","https://openalex.org/W2113012730","https://openalex.org/W2140047472","https://openalex.org/W2142947709","https://openalex.org/W2349734193","https://openalex.org/W2604968291","https://openalex.org/W2888811801","https://openalex.org/W2899781265","https://openalex.org/W2912106379","https://openalex.org/W6630946106","https://openalex.org/W6631549332","https://openalex.org/W6637169376","https://openalex.org/W6640544215","https://openalex.org/W6758589049"],"related_works":["https://openalex.org/W2293118914","https://openalex.org/W2998381397","https://openalex.org/W4236419692","https://openalex.org/W3167919718","https://openalex.org/W4308771405","https://openalex.org/W4251718783","https://openalex.org/W2171015181","https://openalex.org/W4239447582","https://openalex.org/W1484403103","https://openalex.org/W2521947294"],"abstract_inverted_index":{"Dataflow":[0],"languages":[1,24,74],"have,":[2],"as":[3,5,95],"well":[4],"functional":[6,23],"languages,":[7,54],"immutable":[8],"semantics,":[9],"which":[10,27,127,140],"is":[11],"often":[12],"implemented":[13,112],"by":[14],"copying":[15,36],"values.":[16],"A":[17],"common":[18],"compiler":[19,118],"optimization":[20],"known":[21],"from":[22],"involves":[25],"analyzing":[26],"data":[28,85,130,134,138,160],"structures":[29,131,135],"can":[30],"be":[31],"modified":[32],"in-place":[33,142],"instead":[34],"of":[35,105],"them.":[37],"This":[38],"paper":[39],"presents":[40],"a":[41,76,96,102,116],"novel":[42],"algorithm":[43],"to":[44,60,107],"this":[45],"so":[46],"called":[47],"Aggregate":[48],"Update":[49],"Problem":[50],"for":[51,136,150],"multi-clocked":[52,73],"dataflow":[53],"i.e.":[55],"those":[56,137],"that":[57],"allow":[58,141],"streams":[59],"have":[61],"events":[62,82],"at":[63],"disjoint":[64],"timestamps,":[65],"like":[66],"e.g.":[67],"Lucid,":[68],"Lustre":[69],"and":[70,83,90,132],"Signal.":[71],"Unrestricted":[72],"require":[75],"static":[77],"triggering":[78],"analysis":[79],"on":[80],"how":[81],"hence":[84],"values":[86,139],"are":[87,158],"read,":[88],"written":[89],"replicated.":[91],"We":[92,111],"use":[93,151],"TeSSLa":[94,117],"generic":[97],"stream":[98],"transformation":[99],"language":[100],"with":[101],"small":[103],"set":[104],"operators":[106],"develop":[108],"our":[109],"ideas.":[110],"the":[113,120],"solution":[114],"in":[115],"targeting":[119],"Java":[121],"VM":[122],"via":[123],"Scala":[124],"code":[125],"generation":[126],"combines":[128],"persistent":[129],"mutable":[133],"editing.":[143],"Our":[144],"empirical":[145],"evaluation":[146],"shows":[147],"considerable":[148],"speedup":[149],"cases":[152],"where":[153],"queues,":[154],"maps":[155],"or":[156],"sets":[157],"dominant":[159],"structures.":[161]},"counts_by_year":[{"year":2022,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}