{"id":"https://openalex.org/W4413696238","doi":"https://doi.org/10.1145/3763794","title":"Timetide: A Programming Model for Logically Synchronous Distributed Systems","display_name":"Timetide: A Programming Model for Logically Synchronous Distributed Systems","publication_year":2025,"publication_date":"2025-08-26","ids":{"openalex":"https://openalex.org/W4413696238","doi":"https://doi.org/10.1145/3763794"},"language":"en","primary_location":{"id":"doi:10.1145/3763794","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763794","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3763794","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"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":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3763794","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093925864","display_name":"Logan Kenwright","orcid":"https://orcid.org/0000-0003-0923-0307"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]},{"id":"https://openalex.org/I39854758","display_name":"Auckland University of Technology","ror":"https://ror.org/01zvqw119","country_code":"NZ","type":"education","lineage":["https://openalex.org/I39854758"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Logan Kenwright","raw_affiliation_strings":["Electrical, Computer, and Software Engineering, University of Auckland","Electrical, Computer, and Software Engineering, University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0003-0923-0307","affiliations":[{"raw_affiliation_string":"Electrical, Computer, and Software Engineering, University of Auckland","institution_ids":["https://openalex.org/I154130895","https://openalex.org/I39854758"]},{"raw_affiliation_string":"Electrical, Computer, and Software Engineering, University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]},{"id":"https://openalex.org/I39854758","display_name":"Auckland University of Technology","ror":"https://ror.org/01zvqw119","country_code":"NZ","type":"education","lineage":["https://openalex.org/I39854758"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Partha Roop","raw_affiliation_strings":["Electrical, Computer, and Software Engineering, University of Auckland","Electrical, Computer, and Software Engineering, University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0001-9654-5678","affiliations":[{"raw_affiliation_string":"Electrical, Computer, and Software Engineering, University of Auckland","institution_ids":["https://openalex.org/I154130895","https://openalex.org/I39854758"]},{"raw_affiliation_string":"Electrical, Computer, and Software Engineering, University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002861624","display_name":"Nathan Allen","orcid":"https://orcid.org/0000-0001-7876-819X"},"institutions":[{"id":"https://openalex.org/I39854758","display_name":"Auckland University of Technology","ror":"https://ror.org/01zvqw119","country_code":"NZ","type":"education","lineage":["https://openalex.org/I39854758"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Nathan Allen","raw_affiliation_strings":["Engineering, Computer and Mathematical Sciences, Auckland University of Technology","Engineering, Computer and Mathematical Sciences, Auckland University of Technology, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0001-7876-819X","affiliations":[{"raw_affiliation_string":"Engineering, Computer and Mathematical Sciences, Auckland University of Technology","institution_ids":["https://openalex.org/I39854758"]},{"raw_affiliation_string":"Engineering, Computer and Mathematical Sciences, Auckland University of Technology, Auckland, New Zealand","institution_ids":["https://openalex.org/I39854758"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036042735","display_name":"C\u0103lin Ca\u015fcaval","orcid":"https://orcid.org/0000-0002-2780-6763"},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]},{"id":"https://openalex.org/I4210090411","display_name":"Google DeepMind (United Kingdom)","ror":"https://ror.org/00971b260","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210090411","https://openalex.org/I4210128969"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Calin Cascaval","raw_affiliation_strings":["Google DeepMind","Google DeepMind, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0002-2780-6763","affiliations":[{"raw_affiliation_string":"Google DeepMind","institution_ids":["https://openalex.org/I1291425158","https://openalex.org/I4210090411"]},{"raw_affiliation_string":"Google DeepMind, Auckland, New Zealand","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007782699","display_name":"Avinash Malik","orcid":"https://orcid.org/0000-0002-7524-8292"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]},{"id":"https://openalex.org/I39854758","display_name":"Auckland University of Technology","ror":"https://ror.org/01zvqw119","country_code":"NZ","type":"education","lineage":["https://openalex.org/I39854758"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Avinash Malik","raw_affiliation_strings":["Electrical, Computer, and Software Engineering, University of Auckland","Electrical, Computer, and Software Engineering, University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0002-7524-8292","affiliations":[{"raw_affiliation_string":"Electrical, Computer, and Software Engineering, University of Auckland","institution_ids":["https://openalex.org/I154130895","https://openalex.org/I39854758"]},{"raw_affiliation_string":"Electrical, Computer, and Software Engineering, University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.377,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.81153213,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"24","issue":"5s","first_page":"1","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9995999932289124,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.6911104917526245},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5177061557769775},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3811880946159363}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6911104917526245},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5177061557769775},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3811880946159363}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3763794","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763794","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3763794","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"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":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},{"id":"pmh:oai:openrepository.aut.ac.nz:10292/19769","is_oa":true,"landing_page_url":"http://hdl.handle.net/10292/19769","pdf_url":"https://openrepository.aut.ac.nz/bitstreams/f581f7c6-2421-4873-ba88-4f0dbeeeaf7c/download","source":{"id":"https://openalex.org/S4306401809","display_name":"Tuwhera (Auckland University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39854758","host_organization_name":"Auckland University of Technology","host_organization_lineage":["https://openalex.org/I39854758"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal Article"}],"best_oa_location":{"id":"doi:10.1145/3763794","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763794","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3763794","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"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":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4413696238.pdf","grobid_xml":"https://content.openalex.org/works/W4413696238.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W159494641","https://openalex.org/W164692695","https://openalex.org/W327452528","https://openalex.org/W1559895627","https://openalex.org/W2007809070","https://openalex.org/W2026080429","https://openalex.org/W2043597464","https://openalex.org/W2055295051","https://openalex.org/W2081938726","https://openalex.org/W2125415493","https://openalex.org/W2127335869","https://openalex.org/W2137787952","https://openalex.org/W2160566592","https://openalex.org/W2906713210","https://openalex.org/W3004015391","https://openalex.org/W3023258080","https://openalex.org/W3137759927","https://openalex.org/W3160830781","https://openalex.org/W3178106036","https://openalex.org/W4211008702","https://openalex.org/W4235333683","https://openalex.org/W4247464233","https://openalex.org/W4251457929","https://openalex.org/W4256027002","https://openalex.org/W4294690683","https://openalex.org/W4386579499","https://openalex.org/W4387664626","https://openalex.org/W4391801181","https://openalex.org/W4399426385","https://openalex.org/W4401634178"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Massive":[0],"strides":[1],"in":[2],"deterministic":[3,59,71],"models":[4],"have":[5],"been":[6],"made":[7],"using":[8],"synchronous":[9,80,146],"languages.":[10],"They":[11],"are":[12,37],"mainly":[13],"focused":[14],"on":[15,45,104],"centralised":[16],"applications,":[17],"as":[18,32,123],"the":[19,26,68,96,105,116,129,136,143,158],"traditional":[20],"approach":[21],"is":[22,50,85,142,149],"to":[23,87,152],"compile":[24],"away":[25],"concurrency.":[27],"Time":[28],"triggered":[29],"languages":[30],"such":[31,122],"Giotto":[33],"and":[34,53,127,154],"Lingua":[35],"Franca":[36],"suitable":[38],"for":[39,98,111,160],"distribution":[40,72,153],"albeit":[41],"that":[42,148],"they":[43],"rely":[44],"physical":[46,99,161],"clock":[47,100,162,165],"synchronisation,":[48],"which":[49],"both":[51,150],"expensive":[52],"may":[54],"suffer":[55],"from":[56],"scalability.":[57],"Hence,":[58],"programming":[60,92],"of":[61,70,79,119,132,138],"distributed":[62,112],"systems":[63],"remains":[64],"challenging.":[65],"We":[66,114],"address":[67],"challenges":[69],"by":[73,102],"developing":[74],"a":[75],"novel":[76],"multiclock":[77,145],"semantics":[78,84],"programs.":[81,134],"The":[82],"developed":[83],"amenable":[86,151],"seamless":[88],"distribution.":[89],"Moreover,":[90],"our":[91,139],"model,":[93],"Timetide,":[94],"alleviates":[95],"need":[97,159],"synchronisation":[101,163],"building":[103],"recently":[106],"proposed":[107],"logical":[108],"synchrony":[109],"model":[110],"systems.":[113],"discuss":[115],"important":[117],"aspects":[118],"distributing":[120],"computation,":[121],"network":[124],"communication":[125],"delays,":[126],"explore":[128],"formal":[130,155],"verification":[131,156],"Timetide":[133,141],"To":[135],"best":[137],"knowledge,":[140],"first":[144],"language":[147],"without":[157],"or":[164],"gating.":[166]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}