{"id":"https://openalex.org/W7160903141","doi":"https://doi.org/10.48550/arxiv.2605.10625","title":"Verifying Sequential Consistency under Bounded Preemptions","display_name":"Verifying Sequential Consistency under Bounded Preemptions","publication_year":2026,"publication_date":"2026-05-11","ids":{"openalex":"https://openalex.org/W7160903141","doi":"https://doi.org/10.48550/arxiv.2605.10625"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.10625","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.10625","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.10625","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103030366","display_name":"R. Govind","orcid":"https://orcid.org/0000-0002-1634-5893"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Govind, R.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017975064","display_name":"S. Krishna","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Krishna, S.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092829024","display_name":"Sanchari Sil","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sil, Sanchari","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5047476786","display_name":"B. Srivathsan","orcid":"https://orcid.org/0000-0003-2666-0691"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Srivathsan, B.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.36629998683929443,"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.36629998683929443,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.15970000624656677,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.10830000042915344,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.8320000171661377},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6601999998092651},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5263000130653381},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.5001000165939331},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.4341999888420105},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.33079999685287476}],"concepts":[{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.8320000171661377},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6805999875068665},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6601999998092651},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5263000130653381},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.5001000165939331},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.487199991941452},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.450300008058548},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4341999888420105},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3495999872684479},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.33079999685287476},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.329800009727478},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.3206000030040741},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.30869999527931213},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29649999737739563},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.29249998927116394},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.28790000081062317},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.2806999981403351},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.25859999656677246}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.10625","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.10625","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.10625","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.10625","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Gibbons":[0],"and":[1,15,147,177],"Korach":[2],"studied":[3],"a":[4,18,38,70,81,97,114,120,135,154],"fundamental":[5],"problem":[6,42,51,107,117,173],"in":[7,33,45],"1997:":[8],"given":[9],"an":[10,24],"observed":[11],"sequence":[12],"of":[13,17,75,126,164],"reads":[14],"writes":[16],"multi-threaded":[19],"program,":[20],"does":[21,78],"there":[22,79,133],"exist":[23,80],"interleaving":[25,76,83],"which":[26],"is":[27,43,52,134,167],"sequentially":[28],"consistent?":[29],"Apart":[30],"from":[31],"applications":[32],"testing":[34],"shared":[35],"memory":[36],"implementations,":[37],"procedure":[39],"for":[40,123,130,144,149],"this":[41,66],"employed":[44],"Dynamic":[46],"Partial-Order-Reduction":[47],"(DPOR)":[48],"algorithms.":[49],"The":[50],"known":[53],"to":[54,104,119,139,174,180],"be":[55,175,181],"NP-hard":[56,143],"even":[57],"when":[58],"different":[59],"syntactic":[60],"parameters":[61],"are":[62],"kept":[63],"bounded.":[64],"In":[65],"paper,":[67],"we":[68,152,170],"consider":[69],"restriction":[71],"on":[72],"the":[73,106,116,124,159,162,172],"kind":[74],"required:":[77],"sequentially-consistent":[82],"with":[84,183],"at":[85],"most":[86],"\u03c0":[87,166],"preemptions?":[88],"Empirical":[89],"evidence":[90],"suggests":[91],"that":[92],"several":[93],"bugs":[94],"manifest":[95],"within":[96],"few":[98],"preemptive":[99],"switches.":[100],"This":[101],"motivates":[102],"us":[103],"investigate":[105],"under":[108,158],"bounded":[109],"preemptions.":[110],"Our":[111],"results":[112],"exhibit":[113],"trichotomy:":[115],"lends":[118],"polynomial-time":[121],"algorithm":[122],"class":[125],"single-writer":[127],"programs":[128,146],"where":[129],"each":[131],"variable,":[132],"single":[136],"thread":[137],"writing":[138],"it;":[140],"it":[141],"becomes":[142],"two-writer":[145],"finally,":[148],"three-writer":[150],"programs,":[151],"get":[153],"conditional":[155],"lower":[156],"bound":[157],"Exponential-Time-Hypothesis.":[160],"When":[161],"number":[163],"preemptions":[165],"not":[168],"bounded,":[169],"show":[171],"W[1]-hard,":[176],"hence":[178],"unlikely":[179],"fixed-parameter-tractable":[182],"parameter":[184],"\u03c0.":[185]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-05-13T00:00:00"}