{"id":"https://openalex.org/W4210626567","doi":"https://doi.org/10.1145/3498538","title":"BiRD: Race Detection in Software Binaries under Relaxed Memory Models","display_name":"BiRD: Race Detection in Software Binaries under Relaxed Memory Models","publication_year":2022,"publication_date":"2022-01-31","ids":{"openalex":"https://openalex.org/W4210626567","doi":"https://doi.org/10.1145/3498538"},"language":"en","primary_location":{"id":"doi:10.1145/3498538","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3498538","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"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 Transactions on Software Engineering and Methodology","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/A5102012126","display_name":"Ridhi Jain","orcid":"https://orcid.org/0000-0002-6102-7114"},"institutions":[{"id":"https://openalex.org/I119939252","display_name":"Indraprastha Institute of Information Technology Delhi","ror":"https://ror.org/03vfp4g33","country_code":"IN","type":"education","lineage":["https://openalex.org/I119939252"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Ridhi Jain","raw_affiliation_strings":["Indraprastha Institute of Information Technology Delhi, New Delhi, India"],"affiliations":[{"raw_affiliation_string":"Indraprastha Institute of Information Technology Delhi, New Delhi, India","institution_ids":["https://openalex.org/I119939252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039037722","display_name":"Rahul Purandare","orcid":"https://orcid.org/0000-0001-8677-0601"},"institutions":[{"id":"https://openalex.org/I119939252","display_name":"Indraprastha Institute of Information Technology Delhi","ror":"https://ror.org/03vfp4g33","country_code":"IN","type":"education","lineage":["https://openalex.org/I119939252"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Rahul Purandare","raw_affiliation_strings":["Indraprastha Institute of Information Technology Delhi, New Delhi, India"],"affiliations":[{"raw_affiliation_string":"Indraprastha Institute of Information Technology Delhi, New Delhi, India","institution_ids":["https://openalex.org/I119939252"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014202235","display_name":"Subodh Sharma","orcid":"https://orcid.org/0000-0003-3069-3744"},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Subodh Sharma","raw_affiliation_strings":["Indian Institute of Technology Delhi, New Delhi, India"],"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Delhi, New Delhi, India","institution_ids":["https://openalex.org/I68891433"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5102012126"],"corresponding_institution_ids":["https://openalex.org/I119939252"],"apc_list":null,"apc_paid":null,"fwci":0.6907,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.69409122,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"31","issue":"4","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9991999864578247,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9991999864578247,"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.9987000226974487,"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/T11424","display_name":"Security and Verification in Computing","score":0.9977999925613403,"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/computer-science","display_name":"Computer science","score":0.9165025353431702},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.785195529460907},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6183405518531799},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6169725656509399},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5629544854164124},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5310165286064148},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.5167919397354126},{"id":"https://openalex.org/keywords/x86","display_name":"x86","score":0.47346797585487366},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.45963412523269653},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.4429720342159271},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4186815917491913},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.4172897934913635},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.32171738147735596},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.285430908203125}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9165025353431702},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.785195529460907},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6183405518531799},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6169725656509399},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5629544854164124},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5310165286064148},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.5167919397354126},{"id":"https://openalex.org/C170723468","wikidata":"https://www.wikidata.org/wiki/Q182933","display_name":"x86","level":3,"score":0.47346797585487366},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.45963412523269653},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.4429720342159271},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4186815917491913},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.4172897934913635},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32171738147735596},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.285430908203125},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3498538","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3498538","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"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 Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":73,"referenced_works":["https://openalex.org/W36091977","https://openalex.org/W1569674057","https://openalex.org/W1582387102","https://openalex.org/W1594228127","https://openalex.org/W1594825470","https://openalex.org/W1850312962","https://openalex.org/W1877513498","https://openalex.org/W1967489804","https://openalex.org/W1970363544","https://openalex.org/W1972544179","https://openalex.org/W1977476643","https://openalex.org/W1983206712","https://openalex.org/W2046368282","https://openalex.org/W2061504544","https://openalex.org/W2067705817","https://openalex.org/W2081698031","https://openalex.org/W2118437239","https://openalex.org/W2122578826","https://openalex.org/W2127989655","https://openalex.org/W2134433063","https://openalex.org/W2137270184","https://openalex.org/W2144469414","https://openalex.org/W2150290060","https://openalex.org/W2152777241","https://openalex.org/W2154557525","https://openalex.org/W2155962559","https://openalex.org/W2165357553","https://openalex.org/W2166615267","https://openalex.org/W2466104094","https://openalex.org/W2478692150","https://openalex.org/W2488548811","https://openalex.org/W2514974017","https://openalex.org/W2516577067","https://openalex.org/W2556205142","https://openalex.org/W2731956051","https://openalex.org/W2734336505","https://openalex.org/W2747419197","https://openalex.org/W2769194423","https://openalex.org/W2778029444","https://openalex.org/W2788308668","https://openalex.org/W2803341075","https://openalex.org/W2927543040","https://openalex.org/W2953899265","https://openalex.org/W2955045321","https://openalex.org/W2955964099","https://openalex.org/W2963964721","https://openalex.org/W2982614372","https://openalex.org/W2995880861","https://openalex.org/W2998259759","https://openalex.org/W3006192430","https://openalex.org/W3007149243","https://openalex.org/W3009455989","https://openalex.org/W3010429320","https://openalex.org/W3010635687","https://openalex.org/W3011074696","https://openalex.org/W3015474483","https://openalex.org/W3015867278","https://openalex.org/W3093959190","https://openalex.org/W3106314272","https://openalex.org/W3123143515","https://openalex.org/W3153626425","https://openalex.org/W3182521459","https://openalex.org/W4232306982","https://openalex.org/W4234066571","https://openalex.org/W4235523922","https://openalex.org/W4240040040","https://openalex.org/W4240347746","https://openalex.org/W4243597453","https://openalex.org/W4243984190","https://openalex.org/W4248347807","https://openalex.org/W4248655060","https://openalex.org/W4287100470","https://openalex.org/W4300810260"],"related_works":["https://openalex.org/W4251914687","https://openalex.org/W2150253789","https://openalex.org/W2101251277","https://openalex.org/W1492674724","https://openalex.org/W2067647017","https://openalex.org/W4213347330","https://openalex.org/W2116454140","https://openalex.org/W3096045535","https://openalex.org/W96577182","https://openalex.org/W3117953372"],"abstract_inverted_index":{"Instruction":[0],"reordering":[1],"and":[2,49,92,114,121,153,181],"interleavings":[3,165],"in":[4,12,145,194,199],"program":[5,22],"execution":[6],"under":[7,148],"relaxed":[8,149],"memory":[9,97,150],"semantics":[10],"result":[11],"non-intuitive":[13],"behaviors,":[14],"making":[15],"it":[16],"difficult":[17],"to":[18,29,110,139,160],"provide":[19],"assurances":[20],"about":[21],"correctness.":[23],"Studies":[24],"have":[25,108],"shown":[26],"that":[27],"up":[28],"90%":[30],"of":[31,65,76,172],"the":[32,63,66,70,77,87,111,185],"concurrency":[33,52],"bugs":[34,53],"reported":[35],"by":[36,90],"state-of-the-art":[37,186],"static":[38],"analyzers":[39],"are":[40,123],"false":[41,47],"alarms.":[42],"As":[43],"a":[44,55,94,100,136,167],"result,":[45],"filtering":[46],"alarms":[48],"detecting":[50,196],"real":[51],"is":[54],"challenging":[56],"problem.":[57],"Unsurprisingly,":[58],"this":[59,128],"problem":[60],"has":[61],"attracted":[62],"interest":[64],"research":[67],"community":[68],"over":[69],"past":[71],"few":[72],"decades.":[73],"Nonetheless,":[74],"many":[75],"existing":[78],"techniques":[79],"rely":[80],"on":[81,176],"analyzing":[82],"source":[83,112],"code,":[84,113],"rarely":[85],"consider":[86],"effects":[88],"introduced":[89],"compilers,":[91],"assume":[93],"sequentially":[95,125],"consistent":[96],"model.":[98],"In":[99,127],"practical":[101],"setting,":[102],"however,":[103],"developers":[104],"often":[105],"do":[106],"not":[107,124],"access":[109],"even":[115],"commodity":[116],"architectures":[117],"such":[118],"as":[119],"x86":[120,146],"ARM":[122],"consistent.":[126],"work,":[129],"we":[130],"present":[131],"B":[132,155,173,189],"i":[133,156,174,190],"rd":[134,157,175,191],",":[135],"prototype":[137],"tool,":[138],"dynamically":[140],"detect":[141],"harmful":[142],"data":[143,197],"races":[144,198],"binaries":[147],"models,":[151],"TSO":[152],"PSO.":[154],"employs":[158],"source-DPOR":[159],"explore":[161],"all":[162],"distinct":[163],"feasible":[164],"for":[166],"multithreaded":[168],"application.":[169],"Our":[170],"evaluation":[171],"42":[177],"publicly":[178],"available":[179],"benchmarks":[180],"its":[182],"comparison":[183],"with":[184],"tools":[187],"indicate":[188],"\u2019s":[192],"potential":[193],"effectively":[195],"software":[200],"binaries.":[201]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}