{"id":"https://openalex.org/W2111378743","doi":"https://doi.org/10.1109/ipdps.2010.5470343","title":"Identifying ad-hoc synchronization for enhanced race detection","display_name":"Identifying ad-hoc synchronization for enhanced race detection","publication_year":2010,"publication_date":"2010-04-01","ids":{"openalex":"https://openalex.org/W2111378743","doi":"https://doi.org/10.1109/ipdps.2010.5470343","mag":"2111378743"},"language":"en","primary_location":{"id":"doi:10.1109/ipdps.2010.5470343","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ipdps.2010.5470343","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 IEEE International Symposium on Parallel &amp; Distributed Processing (IPDPS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://publikationen.bibliothek.kit.edu/1000060333/3914683","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079359777","display_name":"Ali Jannesari","orcid":"https://orcid.org/0000-0001-8672-5317"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ali Jannesari","raw_affiliation_strings":["Karlsruhe Institute of Technology, Karlsruhe, Germany","Karlsruhe Institute of Technology (KIT), 76131 Karlsruhe (Germany)"],"affiliations":[{"raw_affiliation_string":"Karlsruhe Institute of Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Karlsruhe Institute of Technology (KIT), 76131 Karlsruhe (Germany)","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000530309","display_name":"Walter F. Tichy","orcid":"https://orcid.org/0000-0002-1288-454X"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Walter F Tichy","raw_affiliation_strings":["Karlsruhe Institute of Technology, Karlsruhe, Germany","Karlsruhe Institute of Technology (KIT), 76131 Karlsruhe (Germany)"],"affiliations":[{"raw_affiliation_string":"Karlsruhe Institute of Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Karlsruhe Institute of Technology (KIT), 76131 Karlsruhe (Germany)","institution_ids":["https://openalex.org/I102335020"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5079359777"],"corresponding_institution_ids":["https://openalex.org/I102335020"],"apc_list":null,"apc_paid":null,"fwci":4.5484,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.94977211,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"0","issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.9069167971611023},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7280964851379395},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.6856266260147095},{"id":"https://openalex.org/keywords/race","display_name":"Race (biology)","score":0.5009825229644775},{"id":"https://openalex.org/keywords/detector","display_name":"Detector","score":0.4992494583129883},{"id":"https://openalex.org/keywords/wireless-ad-hoc-network","display_name":"Wireless ad hoc network","score":0.4293391704559326},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.34467971324920654},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3259214162826538},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.28539881110191345},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.23819926381111145},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12417048215866089},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.0805378258228302}],"concepts":[{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.9069167971611023},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7280964851379395},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.6856266260147095},{"id":"https://openalex.org/C76509639","wikidata":"https://www.wikidata.org/wiki/Q918036","display_name":"Race (biology)","level":2,"score":0.5009825229644775},{"id":"https://openalex.org/C94915269","wikidata":"https://www.wikidata.org/wiki/Q1834857","display_name":"Detector","level":2,"score":0.4992494583129883},{"id":"https://openalex.org/C94523657","wikidata":"https://www.wikidata.org/wiki/Q4085781","display_name":"Wireless ad hoc network","level":3,"score":0.4293391704559326},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.34467971324920654},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3259214162826538},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28539881110191345},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.23819926381111145},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12417048215866089},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0805378258228302},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ipdps.2010.5470343","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ipdps.2010.5470343","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 IEEE International Symposium on Parallel &amp; Distributed Processing (IPDPS)","raw_type":"proceedings-article"},{"id":"pmh:oai:EVASTAR-Karlsruhe.de:1000060333","is_oa":true,"landing_page_url":"https://publikationen.bibliothek.kit.edu/1000060333","pdf_url":"https://publikationen.bibliothek.kit.edu/1000060333/3914683","source":{"id":"https://openalex.org/S4306401992","display_name":"Repository KITopen (Karlsruhe Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I102335020","host_organization_name":"Karlsruhe Institute of Technology","host_organization_lineage":["https://openalex.org/I102335020"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"doc-type:conferenceObject"}],"best_oa_location":{"id":"pmh:oai:EVASTAR-Karlsruhe.de:1000060333","is_oa":true,"landing_page_url":"https://publikationen.bibliothek.kit.edu/1000060333","pdf_url":"https://publikationen.bibliothek.kit.edu/1000060333/3914683","source":{"id":"https://openalex.org/S4306401992","display_name":"Repository KITopen (Karlsruhe Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I102335020","host_organization_name":"Karlsruhe Institute of Technology","host_organization_lineage":["https://openalex.org/I102335020"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"doc-type:conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2111378743.pdf"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W1514171102","https://openalex.org/W1561114929","https://openalex.org/W1572187826","https://openalex.org/W1972544179","https://openalex.org/W1973501242","https://openalex.org/W2001738739","https://openalex.org/W2003215037","https://openalex.org/W2025001147","https://openalex.org/W2034256728","https://openalex.org/W2036093091","https://openalex.org/W2101161997","https://openalex.org/W2105391037","https://openalex.org/W2127989655","https://openalex.org/W2134205263","https://openalex.org/W2135023759","https://openalex.org/W2135531618","https://openalex.org/W2135736458","https://openalex.org/W2138404963","https://openalex.org/W2141975313","https://openalex.org/W2143078813","https://openalex.org/W2149984854","https://openalex.org/W2156858199","https://openalex.org/W2157539713","https://openalex.org/W2183177643","https://openalex.org/W3023641965","https://openalex.org/W3085225935","https://openalex.org/W3137220996","https://openalex.org/W4239035626","https://openalex.org/W6656289783","https://openalex.org/W6683147840","https://openalex.org/W6686248424"],"related_works":["https://openalex.org/W4243252198","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W3137189469","https://openalex.org/W4235530921","https://openalex.org/W2382501300","https://openalex.org/W2615259895","https://openalex.org/W3162240892","https://openalex.org/W4245713008","https://openalex.org/W2013111119"],"abstract_inverted_index":{"Parallel":[0],"programs":[1],"contain":[2],"a":[3],"surprising":[4,133],"number":[5,62],"of":[6,63,118],"ad-hoc":[7,29,76],"synchronization":[8,11,30,41,77,147],"operations.":[9],"Ad-hoc":[10],"operations":[12,78],"are":[13,35,44],"loops":[14],"that":[15,43,75,111,136],"busy-wait":[16],"on":[17,107],"condition":[18],"variables.":[19],"Current":[20],"race":[21,47,70,98],"detectors":[22],"produce":[23],"unnecessary":[24],"warnings":[25],"(false":[26],"positives)":[27],"when":[28,38,51],"is":[31,116,135,155],"used.":[32],"False":[33],"positives":[34],"also":[36],"generated":[37],"programmers":[39,52,67],"use":[40],"primitives":[42],"unknown":[45],"to":[46],"detectors,":[48],"for":[49],"instance":[50],"switch":[53],"libraries.":[54],"These":[55],"shortcomings":[56],"may":[57],"result":[58,134],"in":[59,96,121,158],"an":[60],"overwhelming":[61],"false":[64,130],"positives,":[65],"dissuading":[66],"from":[68],"using":[69],"detectors.":[71],"This":[72],"paper":[73],"shows":[74],"can":[79,145],"be":[80],"detected":[81],"automatically.":[82],"The":[83],"method":[84],"requires":[85],"no":[86],"user":[87],"intervention":[88],"such":[89],"as":[90],"annotations":[91],"and":[92,127],"has":[93],"been":[94],"implemented":[95],"the":[97,138,159],"detector":[99],"Helgrind":[100,112,141],"<sup":[101,113,142],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[102,114,143],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">+</sup>":[103,115,144],".":[104],"Evaluation":[105],"results":[106],"various":[108],"benchmarks":[109],"confirm":[110],"aware":[117],"all":[119],"synchronizations":[120],"programs,":[122],"reliably":[123],"reports":[124],"true":[125],"races,":[126],"produces":[128],"few":[129],"alarms.":[131],"A":[132],"with":[137],"new":[139],"technique,":[140],"analyze":[146],"libraries,":[148],"so":[149],"special":[150],"knowledge":[151],"about":[152],"these":[153],"libraries":[154],"not":[156],"needed":[157],"detector.":[160]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":6}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}