{"id":"https://openalex.org/W2884168360","doi":"https://doi.org/10.1007/978-3-319-96145-3_26","title":"Monitoring Weak Consistency","display_name":"Monitoring Weak Consistency","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2884168360","doi":"https://doi.org/10.1007/978-3-319-96145-3_26","mag":"2884168360"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-96145-3_26","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-96145-3_26","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1007/978-3-319-96145-3_26","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061209906","display_name":"Michael Emmi","orcid":"https://orcid.org/0009-0002-6283-5890"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Michael Emmi","raw_affiliation_strings":["SRI International, New York, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SRI International, New York, NY, USA","institution_ids":["https://openalex.org/I1298353152"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040528930","display_name":"Constantin Enea","orcid":"https://orcid.org/0000-0003-2727-8865"},"institutions":[{"id":"https://openalex.org/I169173203","display_name":"D\u00e9l\u00e9gation Paris 7","ror":"https://ror.org/00bw5n526","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488","https://openalex.org/I169173203"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Constantin Enea","raw_affiliation_strings":["IRIF, Univ. Paris Diderot and CRNS, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRIF, Univ. Paris Diderot and CRNS, Paris, France","institution_ids":["https://openalex.org/I169173203","https://openalex.org/I204730241"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5061209906"],"corresponding_institution_ids":["https://openalex.org/I1298353152"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":2.0365,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.87174713,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"487","last_page":"506"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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":0.9998999834060669,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9896000027656555,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9858999848365784,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/consistency-model","display_name":"Consistency model","score":0.8271327614784241},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.8043538331985474},{"id":"https://openalex.org/keywords/weak-consistency","display_name":"Weak consistency","score":0.7893896102905273},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7856534123420715},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7289041876792908},{"id":"https://openalex.org/keywords/causal-consistency","display_name":"Causal consistency","score":0.6399624347686768},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5851386785507202},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.5776186585426331},{"id":"https://openalex.org/keywords/linearizability","display_name":"Linearizability","score":0.5726515650749207},{"id":"https://openalex.org/keywords/visibility","display_name":"Visibility","score":0.5129932761192322},{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.4986534118652344},{"id":"https://openalex.org/keywords/eventual-consistency","display_name":"Eventual consistency","score":0.4267956018447876},{"id":"https://openalex.org/keywords/time-consistency","display_name":"Time consistency","score":0.4206249415874481},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39053985476493835},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3354274034500122},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3076620101928711},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.30587226152420044},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.2573637366294861},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23049747943878174},{"id":"https://openalex.org/keywords/estimator","display_name":"Estimator","score":0.18974900245666504},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.17153513431549072},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.09944188594818115},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.08971068263053894},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08918705582618713}],"concepts":[{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.8271327614784241},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.8043538331985474},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.7893896102905273},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7856534123420715},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7289041876792908},{"id":"https://openalex.org/C175652121","wikidata":"https://www.wikidata.org/wiki/Q4379351","display_name":"Causal consistency","level":5,"score":0.6399624347686768},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5851386785507202},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.5776186585426331},{"id":"https://openalex.org/C20528329","wikidata":"https://www.wikidata.org/wiki/Q513932","display_name":"Linearizability","level":3,"score":0.5726515650749207},{"id":"https://openalex.org/C123403432","wikidata":"https://www.wikidata.org/wiki/Q654068","display_name":"Visibility","level":2,"score":0.5129932761192322},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.4986534118652344},{"id":"https://openalex.org/C34422012","wikidata":"https://www.wikidata.org/wiki/Q6125872","display_name":"Eventual consistency","level":4,"score":0.4267956018447876},{"id":"https://openalex.org/C11534374","wikidata":"https://www.wikidata.org/wiki/Q7805280","display_name":"Time consistency","level":2,"score":0.4206249415874481},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39053985476493835},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3354274034500122},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3076620101928711},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.30587226152420044},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.2573637366294861},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23049747943878174},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.18974900245666504},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.17153513431549072},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.09944188594818115},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.08971068263053894},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08918705582618713},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-96145-3_26","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-96145-3_26","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-319-96145-3_26","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-96145-3_26","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W27871822","https://openalex.org/W1503130891","https://openalex.org/W1511438294","https://openalex.org/W1532290188","https://openalex.org/W1533529458","https://openalex.org/W1818449680","https://openalex.org/W1867941603","https://openalex.org/W1965614349","https://openalex.org/W1967852324","https://openalex.org/W1981439955","https://openalex.org/W1986463648","https://openalex.org/W2012171200","https://openalex.org/W2026697016","https://openalex.org/W2031348459","https://openalex.org/W2035362408","https://openalex.org/W2046654145","https://openalex.org/W2054584570","https://openalex.org/W2059432328","https://openalex.org/W2089775579","https://openalex.org/W2101939036","https://openalex.org/W2109717427","https://openalex.org/W2117260615","https://openalex.org/W2125930899","https://openalex.org/W2131041673","https://openalex.org/W2132818695","https://openalex.org/W2143725230","https://openalex.org/W2145919405","https://openalex.org/W2149074552","https://openalex.org/W2149298504","https://openalex.org/W2157062942","https://openalex.org/W2161730338","https://openalex.org/W2166580349","https://openalex.org/W2546854465","https://openalex.org/W2551973123","https://openalex.org/W2563167692","https://openalex.org/W2672830324","https://openalex.org/W2733597612","https://openalex.org/W2780745892","https://openalex.org/W3137220996"],"related_works":["https://openalex.org/W2949587676","https://openalex.org/W4290062159","https://openalex.org/W4292345996","https://openalex.org/W2144153901","https://openalex.org/W2322874084","https://openalex.org/W2287614524","https://openalex.org/W3102338602","https://openalex.org/W4297824651","https://openalex.org/W1604914670","https://openalex.org/W2884168360"],"abstract_inverted_index":{"High-performance":[0],"implementations":[1],"of":[2,14,25,51,65,67,77,123,131,138],"distributed":[3],"and":[4,141,167],"multicore":[5],"shared":[6],"objects":[7],"often":[8,32],"guarantee":[9],"only":[10,112,169],"the":[11,19,49,63,75,82,113,120,124,136,157,173],"weak":[12,29],"consistency":[13,23,30,50,132,146],"their":[15],"concurrent":[16],"operations,":[17,70],"foregoing":[18],"de-facto":[20],"yet":[21],"performance-restrictive":[22],"criterion":[24],"linearizability.":[26],"While":[27],"such":[28,71],"is":[31,43,58],"vital":[33],"for":[34,40,127],"achieving":[35],"performance":[36],"requirements,":[37],"practical":[38],"automation":[39],"checking":[41,48,147,160,176],"weak-consistency":[42,56,99,159],"lacking.":[44],"In":[45,91],"principle,":[46],"algorithmically":[47],"executions":[52],"according":[53],"to":[54,62,98,110,119,172],"various":[55,121],"criteria":[57,72],"hard:":[59],"in":[60],"addition":[61],"enumeration":[64,76],"linearizations":[66],"an":[68,96,143],"execution\u2019s":[69],"generally":[73],"demand":[74],"possible":[78,105],"visibility":[79,106,115],"relations":[80,116],"among":[81],"linearized":[83],"operations;":[84],"a":[85,128],"priori,":[86],"both":[87],"enumerations":[88],"are":[89],"exponential.":[90],"this":[92,139],"work":[93],"we":[94,150],"identify":[95],"optimization":[97],"checking:":[100],"rather":[101],"than":[102],"enumerating":[103],"every":[104],"relation,":[107],"it":[108],"suffices":[109],"consider":[111],"minimal":[114],"which":[117,162,178],"adhere":[118],"constraints":[122],"given":[125],"criterion,":[126],"significant":[129],"class":[130],"criteria.":[133],"We":[134],"demonstrate":[135],"soundness":[137],"optimization,":[140],"describe":[142],"associated":[144],"minimal-visibility":[145],"algorithm.":[148],"Empirically,":[149],"show":[151],"that":[152],"our":[153],"algorithm":[154],"significantly":[155],"outperforms":[156],"baseline":[158,174],"algorithm,":[161,177],"na\u00efvely":[163],"enumerates":[164],"all":[165],"visibilities,":[166],"adds":[168],"modest":[170],"overhead":[171],"linearizability":[175],"does":[179],"not":[180],"enumerate":[181],"visibilities.":[182]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":5}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}