{"id":"https://openalex.org/W4389245905","doi":"https://doi.org/10.1145/3633769","title":"LoRe: A Programming Model for Verifiably Safe Local-first Software","display_name":"LoRe: A Programming Model for Verifiably Safe Local-first Software","publication_year":2023,"publication_date":"2023-12-01","ids":{"openalex":"https://openalex.org/W4389245905","doi":"https://doi.org/10.1145/3633769"},"language":"en","primary_location":{"id":"doi:10.1145/3633769","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3633769","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3633769","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3633769","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102729788","display_name":"Julian Haas","orcid":"https://orcid.org/0000-0001-9959-5099"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Julian Haas","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0001-9959-5099","affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035682481","display_name":"Ragnar Mogk","orcid":null},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ragnar Mogk","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4583-1791","affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021611448","display_name":"Elena Yanakieva","orcid":"https://orcid.org/0000-0002-2900-7252"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]},{"id":"https://openalex.org/I2802076133","display_name":"University of Koblenz and Landau","ror":"https://ror.org/01j9f6752","country_code":"DE","type":"education","lineage":["https://openalex.org/I2802076133"]},{"id":"https://openalex.org/I4387152675","display_name":"Rheinland-Pf\u00e4lzische Technische Universit\u00e4t Kaiserslautern-Landau","ror":"https://ror.org/01qrts582","country_code":"DE","type":"education","lineage":["https://openalex.org/I4387152675"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Elena Yanakieva","raw_affiliation_strings":["Rheinland-Pf\u00e4lzische Technische Universit\u00e4t Kaiserslautern-Landau, Germany"],"raw_orcid":"https://orcid.org/0000-0002-2900-7252","affiliations":[{"raw_affiliation_string":"Rheinland-Pf\u00e4lzische Technische Universit\u00e4t Kaiserslautern-Landau, Germany","institution_ids":["https://openalex.org/I2802076133","https://openalex.org/I153267046","https://openalex.org/I4387152675"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050660693","display_name":"Annette Bieniusa","orcid":"https://orcid.org/0000-0002-1654-6118"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]},{"id":"https://openalex.org/I2802076133","display_name":"University of Koblenz and Landau","ror":"https://ror.org/01j9f6752","country_code":"DE","type":"education","lineage":["https://openalex.org/I2802076133"]},{"id":"https://openalex.org/I4387152675","display_name":"Rheinland-Pf\u00e4lzische Technische Universit\u00e4t Kaiserslautern-Landau","ror":"https://ror.org/01qrts582","country_code":"DE","type":"education","lineage":["https://openalex.org/I4387152675"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Annette Bieniusa","raw_affiliation_strings":["Rheinland-Pf\u00e4lzische Technische Universit\u00e4t Kaiserslautern-Landau, Germany"],"raw_orcid":"https://orcid.org/0000-0002-1654-6118","affiliations":[{"raw_affiliation_string":"Rheinland-Pf\u00e4lzische Technische Universit\u00e4t Kaiserslautern-Landau, Germany","institution_ids":["https://openalex.org/I2802076133","https://openalex.org/I153267046","https://openalex.org/I4387152675"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078067853","display_name":"Mira Mezini","orcid":"https://orcid.org/0000-0001-6563-7537"},"institutions":[{"id":"https://openalex.org/I16718484","display_name":"Hess (United States)","ror":"https://ror.org/00zbk1w77","country_code":"US","type":"company","lineage":["https://openalex.org/I16718484"]},{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]},{"id":"https://openalex.org/I4392021234","display_name":"Hessian Center for Artificial Intelligence","ror":"https://ror.org/014ybqb54","country_code":"DE","type":"facility","lineage":["https://openalex.org/I31512782","https://openalex.org/I4392021234"]}],"countries":["DE","US"],"is_corresponding":false,"raw_author_name":"Mira Mezini","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Germany, and National Research Center for Applied Cybersecurity (ATHENE), Germany, and Hessian Center for Artificial Intelligence (hessian.AI), Germany","Technische Universit\u00e4t Darmstadt, Germany and National Research Center for Applied Cybersecurity (ATHENE), Germany and Hessian Center for Artificial Intelligence (hessian.AI), Germany"],"raw_orcid":"https://orcid.org/0000-0001-6563-7537","affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Germany, and National Research Center for Applied Cybersecurity (ATHENE), Germany, and Hessian Center for Artificial Intelligence (hessian.AI), Germany","institution_ids":["https://openalex.org/I16718484"]},{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Germany and National Research Center for Applied Cybersecurity (ATHENE), Germany and Hessian Center for Artificial Intelligence (hessian.AI), Germany","institution_ids":["https://openalex.org/I31512782","https://openalex.org/I4392021234"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5102729788"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":0.6627,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.76176291,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"46","issue":"1","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9959999918937683,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9959999918937683,"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.9947999715805054,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9003221988677979},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7329193949699402},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6519917249679565},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6415552496910095},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.55599045753479},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5463231205940247},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5237200856208801},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4373893141746521},{"id":"https://openalex.org/keywords/software-framework","display_name":"Software framework","score":0.4353371858596802},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4312354028224945},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4227350354194641},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.32975396513938904},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1200346052646637}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9003221988677979},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7329193949699402},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6519917249679565},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6415552496910095},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.55599045753479},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5463231205940247},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5237200856208801},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4373893141746521},{"id":"https://openalex.org/C76518257","wikidata":"https://www.wikidata.org/wiki/Q271680","display_name":"Software framework","level":5,"score":0.4353371858596802},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4312354028224945},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4227350354194641},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.32975396513938904},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1200346052646637}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3633769","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3633769","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3633769","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:144634","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/144634/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"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":"PeerReviewed"}],"best_oa_location":{"id":"doi:10.1145/3633769","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3633769","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3633769","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4699999988079071,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[{"id":"https://openalex.org/G8577637170","display_name":null,"funder_award_id":"SFB 1053","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4389245905.pdf","grobid_xml":"https://content.openalex.org/works/W4389245905.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W179270291","https://openalex.org/W1606177908","https://openalex.org/W1916848204","https://openalex.org/W2022162666","https://openalex.org/W2030877481","https://openalex.org/W2040135593","https://openalex.org/W2070263596","https://openalex.org/W2085335712","https://openalex.org/W2105986479","https://openalex.org/W2127428602","https://openalex.org/W2130427425","https://openalex.org/W2209943643","https://openalex.org/W2282477915","https://openalex.org/W2294722445","https://openalex.org/W2476146301","https://openalex.org/W2548120315","https://openalex.org/W2572482456","https://openalex.org/W2727092525","https://openalex.org/W2798797233","https://openalex.org/W2884253372","https://openalex.org/W2898117650","https://openalex.org/W2898350964","https://openalex.org/W2898359825","https://openalex.org/W2899134970","https://openalex.org/W2900394527","https://openalex.org/W2948219221","https://openalex.org/W2962804085","https://openalex.org/W2964963187","https://openalex.org/W2979761551","https://openalex.org/W2979846168","https://openalex.org/W2979942491","https://openalex.org/W2997905744","https://openalex.org/W3108570993","https://openalex.org/W3205375022","https://openalex.org/W4206365978","https://openalex.org/W4284887785","https://openalex.org/W4298066889","https://openalex.org/W4307887050","https://openalex.org/W4310881360","https://openalex.org/W4379534068"],"related_works":["https://openalex.org/W3011785936","https://openalex.org/W2357088637","https://openalex.org/W4252501555","https://openalex.org/W2003848320","https://openalex.org/W1965643255","https://openalex.org/W2386418808","https://openalex.org/W1480329237","https://openalex.org/W2121034600","https://openalex.org/W2182545529","https://openalex.org/W2359960837"],"abstract_inverted_index":{"Local-first":[0],"software":[1,21,51,61,171],"manages":[2],"and":[3,27,70,93,116,128,144,177],"processes":[4],"private":[5],"data":[6,108],"locally":[7],"while":[8],"still":[9],"enabling":[10],"collaboration":[11],"between":[12],"multiple":[13],"parties":[14],"connected":[15],"via":[16],"partially":[17],"unreliable":[18,83],"networks.":[19],"Such":[20],"typically":[22],"involves":[23],"interactions":[24,38,78,123],"with":[25,40,82,113],"users":[26],"the":[28,47,106,149,166],"execution":[29],"environment":[30,81],"(the":[31],"outside":[32],"world).":[33],"The":[34],"unpredictability":[35],"of":[36,49,110,168],"such":[37],"paired":[39],"their":[41],"decentralized":[42],"nature":[43],"make":[44],"reasoning":[45],"about":[46,76],"correctness":[48],"local-first":[50,60,102,170],"a":[52,90,140,152],"challenging":[53],"endeavor.":[54],"Yet,":[55],"existing":[56],"solutions":[57],"to":[58,74,119,129,147,174],"develop":[59],"do":[62],"not":[63],"provide":[64],"support":[65],"for":[66,101],"automated":[67],"safety":[68,99,126],"guarantees":[69],"instead":[71],"expect":[72],"developers":[73],"reason":[75],"concurrent":[77,122],"in":[79,151],"an":[80],"network":[84],"conditions.":[85],"We":[86,138],"propose":[87,139],"LoRe":[88,104,164],",":[89],"programming":[91,112],"model":[92],"compiler":[94],"that":[95,124,155,163,178],"automatically":[96],"verifies":[97],"developer-supplied":[98],"properties":[100],"applications.":[103],"combines":[105],"declarative":[107],"flow":[109],"reactive":[111],"static":[114],"analysis":[115],"verification":[117,179],"techniques":[118],"precisely":[120],"determine":[121],"violate":[125],"invariants":[127],"selectively":[130],"employ":[131],"strong":[132],"consistency":[133],"through":[134],"coordination":[135],"where":[136],"required.":[137],"formalized":[141],"proof":[142],"principle":[143],"demonstrate":[145],"how":[146],"automate":[148],"process":[150],"prototype":[153],"implementation":[154],"outputs":[156],"verified":[157],"executable":[158],"code.":[159],"Our":[160],"evaluation":[161],"shows":[162],"simplifies":[165],"development":[167],"safe":[169],"when":[172],"compared":[173],"state-of-the-art":[175],"approaches":[176],"times":[180],"are":[181],"acceptable.":[182]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}