{"id":"https://openalex.org/W4380881575","doi":"https://doi.org/10.1145/3583668.3594563","title":"Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability","display_name":"Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability","publication_year":2023,"publication_date":"2023-06-16","ids":{"openalex":"https://openalex.org/W4380881575","doi":"https://doi.org/10.1145/3583668.3594563"},"language":"en","primary_location":{"id":"doi:10.1145/3583668.3594563","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3583668.3594563","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3583668.3594563","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3583668.3594563","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020843617","display_name":"Armando Casta\u00f1eda","orcid":"https://orcid.org/0000-0002-8017-8639"},"institutions":[{"id":"https://openalex.org/I8961855","display_name":"Universidad Nacional Aut\u00f3noma de M\u00e9xico","ror":"https://ror.org/01tmp8f25","country_code":"MX","type":"education","lineage":["https://openalex.org/I8961855"]}],"countries":["MX"],"is_corresponding":true,"raw_author_name":"Armando Casta\u00f1eda","raw_affiliation_strings":["Instituto de Matem\u00e1ticas, Universidad Nacional Aut\u00f3noma de M\u00e9xico, Mexico City, Mexico"],"raw_orcid":"https://orcid.org/0000-0002-8017-8639","affiliations":[{"raw_affiliation_string":"Instituto de Matem\u00e1ticas, Universidad Nacional Aut\u00f3noma de M\u00e9xico, Mexico City, Mexico","institution_ids":["https://openalex.org/I8961855"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025191934","display_name":"Gilde Valeria Rodr\u00edguez","orcid":"https://orcid.org/0009-0009-1463-7786"},"institutions":[{"id":"https://openalex.org/I8961855","display_name":"Universidad Nacional Aut\u00f3noma de M\u00e9xico","ror":"https://ror.org/01tmp8f25","country_code":"MX","type":"education","lineage":["https://openalex.org/I8961855"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Gilde Valeria Rodr\u00edguez","raw_affiliation_strings":["Posgrado en Ciencia e Ingenier\u00eda de la Computaci\u00f3n, Universidad Nacional Aut\u00f3noma de M\u00e9xico (UNAM), Mexico City, Mexico"],"raw_orcid":"https://orcid.org/0009-0009-1463-7786","affiliations":[{"raw_affiliation_string":"Posgrado en Ciencia e Ingenier\u00eda de la Computaci\u00f3n, Universidad Nacional Aut\u00f3noma de M\u00e9xico (UNAM), Mexico City, Mexico","institution_ids":["https://openalex.org/I8961855"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5020843617"],"corresponding_institution_ids":["https://openalex.org/I8961855"],"apc_list":null,"apc_paid":null,"fwci":1.3773,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.81847349,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"90","last_page":"101"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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/T11424","display_name":"Security and Verification in Computing","score":0.9955999851226807,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9902999997138977,"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/linearizability","display_name":"Linearizability","score":0.937632143497467},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8217284679412842},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7422161102294922},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.679370641708374},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4558074474334717},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.4547719955444336},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3637581467628479},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32705995440483093},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.07830038666725159}],"concepts":[{"id":"https://openalex.org/C20528329","wikidata":"https://www.wikidata.org/wiki/Q513932","display_name":"Linearizability","level":3,"score":0.937632143497467},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8217284679412842},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7422161102294922},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.679370641708374},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4558074474334717},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4547719955444336},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3637581467628479},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32705995440483093},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.07830038666725159},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3583668.3594563","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3583668.3594563","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3583668.3594563","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3583668.3594563","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3583668.3594563","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3583668.3594563","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.7799999713897705,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321979","display_name":"University of Surrey","ror":"https://ror.org/00ks66431"},{"id":"https://openalex.org/F4320335100","display_name":"Direcci\u00f3n General de Asuntos del Personal Acad\u00e9mico, Universidad Nacional Aut\u00f3noma de M\u00e9xico","ror":"https://ror.org/01tmp8f25"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4380881575.pdf","grobid_xml":"https://content.openalex.org/works/W4380881575.grobid-xml"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W1000312060","https://openalex.org/W1508046772","https://openalex.org/W1543180701","https://openalex.org/W1599934884","https://openalex.org/W1972544179","https://openalex.org/W1986463648","https://openalex.org/W1993805917","https://openalex.org/W2012929681","https://openalex.org/W2026697016","https://openalex.org/W2035362408","https://openalex.org/W2036910349","https://openalex.org/W2043996829","https://openalex.org/W2048327004","https://openalex.org/W2054739713","https://openalex.org/W2071423705","https://openalex.org/W2078356878","https://openalex.org/W2082679906","https://openalex.org/W2083323175","https://openalex.org/W2085407655","https://openalex.org/W2089775579","https://openalex.org/W2101939036","https://openalex.org/W2105440249","https://openalex.org/W2109033563","https://openalex.org/W2116021422","https://openalex.org/W2145919405","https://openalex.org/W2155751740","https://openalex.org/W2162022306","https://openalex.org/W2164726441","https://openalex.org/W2293637521","https://openalex.org/W2296665256","https://openalex.org/W2328819335","https://openalex.org/W2407790672","https://openalex.org/W2528230853","https://openalex.org/W2767243782","https://openalex.org/W2780745892","https://openalex.org/W2785852717","https://openalex.org/W2786550303","https://openalex.org/W2899619977","https://openalex.org/W2900684180","https://openalex.org/W2910269552","https://openalex.org/W2923869718","https://openalex.org/W2951207499","https://openalex.org/W2967277443","https://openalex.org/W2999340747","https://openalex.org/W3092989080","https://openalex.org/W3127101836","https://openalex.org/W3128380255","https://openalex.org/W3133195734","https://openalex.org/W3137220996","https://openalex.org/W3162335336","https://openalex.org/W3179235784","https://openalex.org/W3181327668","https://openalex.org/W3186850435","https://openalex.org/W3199287031","https://openalex.org/W3203306063","https://openalex.org/W4226016959","https://openalex.org/W4230569261","https://openalex.org/W4246466186","https://openalex.org/W4250728693","https://openalex.org/W4254497756","https://openalex.org/W4297830930","https://openalex.org/W4312740806","https://openalex.org/W4313476337","https://openalex.org/W4313965836"],"related_works":["https://openalex.org/W1553228708","https://openalex.org/W2404647514","https://openalex.org/W3048397483","https://openalex.org/W4302368459","https://openalex.org/W2950415228","https://openalex.org/W27825682","https://openalex.org/W2612292945","https://openalex.org/W4297746138","https://openalex.org/W4297195983","https://openalex.org/W2277916570"],"abstract_inverted_index":{"This":[0,161],"paper":[1],"studies":[2],"the":[3,20,49,64,97,112,116,131,181],"problem":[4,65],"of":[5,23,48,52,63,80,83,99,177,183,210],"verifying":[6,18],"linearizability":[7,41,70,79,201],"at":[8],"runtime,":[9],"where":[10],"one":[11],"seeks":[12],"for":[13,17,42,136,154,200,203],"a":[14,24,60,81,147,149,175,187,204],"concurrent":[15,26,84,184],"algorithm":[16,135],"that":[19,34,58,77,140,166,207],"current":[21],"execution":[22],"given":[25],"shared":[27],"object":[28],"implementation":[29,104],"is":[30,36,71,130,141,159],"linearizable.":[31],"It":[32],"shows":[33,76],"it":[35,56,75,211],"impossible":[37],"to":[38,108,173],"runtime":[39,133],"verify":[40],"some":[43],"common":[44],"sequential":[45],"objects,":[46],"regardless":[47],"consensus":[50],"power":[51],"base":[53,93],"objects.":[54],"Then,":[55],"argues":[57],"actually":[59],"stronger":[61],"version":[62],"can":[66,86,105],"be":[67,87,106],"solved,":[68],"if":[69],"verified":[72,89],"indirectly.":[73],"Namely,":[74],"(1)":[78],"class":[82,113],"implementations":[85,158,163],"strongly":[88],"using":[90,119],"only":[91,120,199],"read/write":[92,121],"objects":[94,122],"(i.e.":[95],"without":[96],"need":[98],"consensus),":[100],"and":[101,144,151,170,192,215],"(2)":[102],"any":[103,137],"transformed":[107],"its":[109],"counterpart":[110],"in":[111,186],"(which":[114],"implements":[115],"same":[117],"object)":[118],"too.":[123],"As":[124,146],"far":[125],"as":[126,213],"we":[127],"know,":[128],"this":[129],"first":[132],"verification":[134],"correctness":[138,205],"condition":[139,206],"fully":[142],"asynchronous":[143],"fault-tolerant.":[145],"by-product,":[148],"simple":[150],"generic":[152],"methodology":[153],"deriving":[155],"self-enforced":[156],"linearizable":[157],"obtained.":[160],"type":[162],"produce":[164,174],"outputs":[165],"are":[167,171],"guaranteed":[168],"linearizable,":[169],"able":[172],"certificate":[176],"it,":[178],"which":[179],"allows":[180],"design":[182],"systems":[185],"modular":[188],"manner":[189],"with":[190],"accountable":[191],"forensic":[193],"guarantees.":[194],"These":[195],"results":[196],"hold":[197],"not":[198],"but":[202],"includes":[208],"generalizations":[209],"such":[212],"set-linearizability":[214],"interval-linearizability.":[216]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}