{"id":"https://openalex.org/W7165655029","doi":"https://doi.org/10.5281/zenodo.20639962","title":"Stable Scheduling Constraints for Controlled Concurrency Testing","display_name":"Stable Scheduling Constraints for Controlled Concurrency Testing","publication_year":2026,"publication_date":"2026-06-23","ids":{"openalex":"https://openalex.org/W7165655029","doi":"https://doi.org/10.5281/zenodo.20639962"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.20639962","doi":"https://doi.org/10.5281/zenodo.20639962","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20639962","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"volume":null,"type":"software","is_traditional":false,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.20639962","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Anonymous Authors","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Anonymous Authors","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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9951000213623047,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9951000213623047,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.001500000013038516,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.0012000000569969416,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/concurrency-testing","display_name":"concurrency testing","score":0.9480000138282776},{"id":"https://openalex.org/keywords/scheduling-constraints","display_name":"scheduling constraints","score":0.953000009059906},{"id":"https://openalex.org/keywords/go-programming-language","display_name":"Go programming language","score":0.7260000109672546},{"id":"https://openalex.org/keywords/false-positives-and-false-negatives","display_name":"false positives and false negatives","score":0.5170000195503235}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8526999950408936},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5623999834060669},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5307000279426575},{"id":"https://openalex.org/C119948110","wikidata":"https://www.wikidata.org/wiki/Q7858726","display_name":"Two-level scheduling","level":4,"score":0.5235999822616577},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.5170999765396118},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5156000256538391},{"id":"https://openalex.org/C31689143","wikidata":"https://www.wikidata.org/wiki/Q733809","display_name":"Fair-share scheduling","level":3,"score":0.46560001373291016},{"id":"https://openalex.org/C122141398","wikidata":"https://www.wikidata.org/wiki/Q5456330","display_name":"Fixed-priority pre-emptive scheduling","level":5,"score":0.38920000195503235},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.3862000107765198},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38029998540878296},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3797000050544739},{"id":"https://openalex.org/C127456818","wikidata":"https://www.wikidata.org/wiki/Q238879","display_name":"Rate-monotonic scheduling","level":4,"score":0.37290000915527344},{"id":"https://openalex.org/C108744092","wikidata":"https://www.wikidata.org/wiki/Q93695","display_name":"Multiversion concurrency control","level":5,"score":0.36820000410079956},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.34549999237060547},{"id":"https://openalex.org/C35819235","wikidata":"https://www.wikidata.org/wiki/Q186868","display_name":"Timestamp-based concurrency control","level":5,"score":0.34290000796318054},{"id":"https://openalex.org/C79240183","wikidata":"https://www.wikidata.org/wiki/Q1779327","display_name":"Optimistic concurrency control","level":5,"score":0.313400000333786},{"id":"https://openalex.org/C175893541","wikidata":"https://www.wikidata.org/wiki/Q1196582","display_name":"Round-robin scheduling","level":4,"score":0.30959999561309814},{"id":"https://openalex.org/C3701939","wikidata":"https://www.wikidata.org/wiki/Q5159109","display_name":"Concurrent object-oriented programming","level":5,"score":0.30309998989105225},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.29899999499320984},{"id":"https://openalex.org/C208087996","wikidata":"https://www.wikidata.org/wiki/Q5283142","display_name":"Distributed concurrency control","level":4,"score":0.25519999861717224}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.20639962","doi":"https://doi.org/10.5281/zenodo.20639962","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20639962","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.20639963","doi":"https://doi.org/10.5281/zenodo.20639963","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20639963","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.20639962","doi":"https://doi.org/10.5281/zenodo.20639962","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20639962","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4416800432","https://openalex.org/W7076272536","https://openalex.org/W4254906220","https://openalex.org/W2285599141","https://openalex.org/W7130718494","https://openalex.org/W2607033331","https://openalex.org/W7095765684","https://openalex.org/W7220739537","https://openalex.org/W2890090020","https://openalex.org/W6968901085"],"abstract_inverted_index":{"A":[0],"common":[1],"method":[2],"to":[3,14,37],"eliminate":[4],"false":[5],"positives/negatives":[6],"in":[7,28,58],"case":[8],"of":[9,31,97],"concurrency":[10,38,107],"testing":[11],"methods":[12],"is":[13],"derive":[15],"scheduling":[16,65,72,75],"constraints":[17,27,35,66,76],"from":[18],"a":[19,95],"specific":[20],"program":[21,81],"run":[22],"and":[23,47,101,109],"then":[24,62],"enforce":[25],"these":[26],"some":[29],"rerun":[30,60],"the":[32,59,64,87,90],"program.":[33],"Scheduling":[34],"refer":[36],"objects,":[39],"e.g.,~threads,":[40],"locks,":[41],"channels,":[42],"which":[43,61],"are":[44,77],"generated":[45],"dynamically":[46],"usually":[48],"represented":[49],"by":[50],"memory":[51,54],"addresses.":[52],"These":[53],"addresses":[55],"may":[56],"change":[57],"renders":[63],"meaningless.":[67],"We":[68,83],"introduce":[69],"an":[70],"expressive":[71],"abstraction":[73],"where":[74],"stable,":[78],"i.e.~meaningful,":[79],"across":[80],"runs.":[82],"have":[84],"fully":[85],"implemented":[86],"approach":[88],"for":[89],"Go":[91,106,111],"programming":[92],"language":[93],"via":[94],"patch":[96],"Go's":[98],"runtime":[99],"system":[100],"provide":[102],"experiments":[103],"on":[104],"standard":[105],"benchmarks":[108],"real-world":[110],"libraries.":[112]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-06-24T00:00:00"}