{"id":"https://openalex.org/W2783876131","doi":"https://doi.org/10.1145/3149485.3149493","title":"Consistency-Aware Scheduling for Weakly Consistent Programs","display_name":"Consistency-Aware Scheduling for Weakly Consistent Programs","publication_year":2018,"publication_date":"2018-01-11","ids":{"openalex":"https://openalex.org/W2783876131","doi":"https://doi.org/10.1145/3149485.3149493","mag":"2783876131"},"language":"en","primary_location":{"id":"doi:10.1145/3149485.3149493","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3149485.3149493","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"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 SIGSOFT Software Engineering Notes","raw_type":"journal-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/A5010517925","display_name":"Maryam Dabaghchian","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Maryam Dabaghchian","raw_affiliation_strings":["University of Utah Salt Lake City, UT, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Utah Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021217615","display_name":"Zvonimir Rakamari\u0107","orcid":"https://orcid.org/0000-0001-7946-0162"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zvonimir Rakamaric","raw_affiliation_strings":["University of Utah Salt Lake City, UT, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Utah Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019138419","display_name":"Burcu Kulahcioglu Ozkan","orcid":"https://orcid.org/0000-0002-7038-165X"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Burcu K. Ozkan","raw_affiliation_strings":["Max Planck Institute for Software Systems Kaiserslautern, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082001738","display_name":"Erdal Mutlu","orcid":"https://orcid.org/0000-0001-7472-3621"},"institutions":[{"id":"https://openalex.org/I1351752","display_name":"Ko\u00e7 University","ror":"https://ror.org/00jzwgz36","country_code":"TR","type":"education","lineage":["https://openalex.org/I1351752"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Erdal Mutlu","raw_affiliation_strings":["Ko\u00e7 University Istanbul, Turkey"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ko\u00e7 University Istanbul, Turkey","institution_ids":["https://openalex.org/I1351752"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091601759","display_name":"Serdar Ta\u015firan","orcid":null},"institutions":[{"id":"https://openalex.org/I1351752","display_name":"Ko\u00e7 University","ror":"https://ror.org/00jzwgz36","country_code":"TR","type":"education","lineage":["https://openalex.org/I1351752"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Serdar Tasiran","raw_affiliation_strings":["Ko\u00e7 University Istanbul, Turkey"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ko\u00e7 University Istanbul, Turkey","institution_ids":["https://openalex.org/I1351752"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1718,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.5860065,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"42","issue":"4","first_page":"1","last_page":"5"},"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.9993000030517578,"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.9990000128746033,"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/consistency","display_name":"Consistency (knowledge bases)","score":0.778917133808136},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.761775016784668},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.7427232265472412},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7391223907470703},{"id":"https://openalex.org/keywords/causal-consistency","display_name":"Causal consistency","score":0.6562237739562988},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.5742168426513672},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5386898517608643},{"id":"https://openalex.org/keywords/weak-consistency","display_name":"Weak consistency","score":0.5195063352584839},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.4582897424697876},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.45189785957336426},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.45073240995407104},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39805883169174194},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3535628914833069},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3495778441429138},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1758858859539032},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.09918427467346191},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08509242534637451}],"concepts":[{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.778917133808136},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.761775016784668},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.7427232265472412},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7391223907470703},{"id":"https://openalex.org/C175652121","wikidata":"https://www.wikidata.org/wiki/Q4379351","display_name":"Causal consistency","level":5,"score":0.6562237739562988},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.5742168426513672},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5386898517608643},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.5195063352584839},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.4582897424697876},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.45189785957336426},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.45073240995407104},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39805883169174194},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3535628914833069},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3495778441429138},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1758858859539032},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.09918427467346191},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08509242534637451},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.0},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3149485.3149493","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3149485.3149493","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"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 SIGSOFT Software Engineering Notes","raw_type":"journal-article"},{"id":"pmh:oai:escidoc.org:escidoc:2539821","is_oa":false,"landing_page_url":"http://hdl.handle.net/21.11116/0000-0000-6E11-2","pdf_url":null,"source":{"id":"https://openalex.org/S7407052962","display_name":"Max Planck Digital Library","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210088280","host_organization_name":"Max Planck Digital Library","host_organization_lineage":["https://openalex.org/I4210088280"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.5299999713897705}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W111201530","https://openalex.org/W1507281497","https://openalex.org/W1516319412","https://openalex.org/W1943502734","https://openalex.org/W1978899117","https://openalex.org/W2023304911","https://openalex.org/W2026697016","https://openalex.org/W2030358379","https://openalex.org/W2046654145","https://openalex.org/W2054584570","https://openalex.org/W2055963247","https://openalex.org/W2061940402","https://openalex.org/W2096425305","https://openalex.org/W2105986479","https://openalex.org/W2109819183","https://openalex.org/W2114823082","https://openalex.org/W2116746874","https://openalex.org/W2117260615","https://openalex.org/W2143725230","https://openalex.org/W2153704625","https://openalex.org/W2161730338","https://openalex.org/W2274598213","https://openalex.org/W2282477915","https://openalex.org/W2288327952","https://openalex.org/W2293215590","https://openalex.org/W2476146301","https://openalex.org/W2497405618","https://openalex.org/W2546854465","https://openalex.org/W2567103853","https://openalex.org/W2606583141","https://openalex.org/W2739388583","https://openalex.org/W4230480080","https://openalex.org/W4285719527","https://openalex.org/W4301521827"],"related_works":["https://openalex.org/W2322874084","https://openalex.org/W1604914670","https://openalex.org/W4301961819","https://openalex.org/W2343489657","https://openalex.org/W2971748376","https://openalex.org/W2497440208","https://openalex.org/W3150250461","https://openalex.org/W2127899878","https://openalex.org/W2123855908","https://openalex.org/W3094813857"],"abstract_inverted_index":{"Modern":[0],"geo-replicated":[1],"data":[2,17,83,112],"stores":[3,18],"provide":[4],"high":[5],"availability":[6],"by":[7,80],"relaxing":[8],"the":[9,26,67,81,93,97],"underlying":[10,68],"consistency":[11,28,69,85],"requirements.":[12],"Programs":[13],"layered":[14],"over":[15],"such":[16],"are":[19],"called":[20],"weakly":[21,45,140],"consistent":[22,46,110,141],"programs.":[23,142],"Due":[24],"to":[25],"reduced":[27],"requirements,":[29],"they":[30],"exhibit":[31],"highly":[32],"nondeterministic":[33],"behaviors,":[34],"some":[35],"of":[36,66],"which":[37,106],"might":[38],"violate":[39],"program":[40,77,90],"invariants.":[41],"Therefore,":[42],"implementing":[43],"correct":[44],"programs":[47],"and":[48,87],"reasoning":[49],"about":[50],"them":[51],"is":[52,64,107,132],"challenging.":[53],"In":[54],"this":[55],"paper,":[56],"we":[57],"present":[58],"a":[59,100,108],"systematic":[60],"scheduling":[61],"approach":[62,72,98,131],"that":[63,129],"aware":[65],"model.":[70],"Our":[71],"dynamically":[73],"explores":[74],"all":[75],"possible":[76],"behaviors":[78,138],"allowed":[79],"used":[82],"store":[84,113],"model,":[86],"it":[88],"evaluates":[89],"invariants":[91],"during":[92],"exploration.":[94],"We":[95,119],"implement":[96],"in":[99,135,139],"prototype":[101],"model":[102],"checker":[103],"for":[104],"Antidote,":[105],"causally":[109],"key-value":[111],"with":[114],"convergent":[115],"con":[116],"ict":[117],"handling.":[118],"evaluate":[120],"our":[121,130],"tool":[122],"on":[123],"several":[124],"benchmarks.":[125],"The":[126],"results":[127],"show":[128],"e":[133],"effective":[134],"detecting":[136],"buggy":[137]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-08-13T07:04:57.449891","created_date":"2025-10-10T00:00:00"}