{"id":"https://openalex.org/W2017986260","doi":"https://doi.org/10.1145/2338967.2336808","title":"On-the-fly detection of data races in OpenMP programs","display_name":"On-the-fly detection of data races in OpenMP programs","publication_year":2012,"publication_date":"2012-07-16","ids":{"openalex":"https://openalex.org/W2017986260","doi":"https://doi.org/10.1145/2338967.2336808","mag":"2017986260"},"language":"en","primary_location":{"id":"doi:10.1145/2338967.2336808","doi":"https://doi.org/10.1145/2338967.2336808","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2338967.2336808","pdf_url":null,"source":{"id":"https://openalex.org/S4306420678","display_name":"Parallel and Distributed Systems: Testing, Analysis, and Debugging","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5017878694","display_name":"Ok-Kyoon Ha","orcid":"https://orcid.org/0000-0002-6512-8502","observed_orcids":["https://orcid.org/0000-0002-6512-8502"]},"institutions":[{"id":"https://openalex.org/I189442560","display_name":"Gyeongsang National University","ror":"https://ror.org/00saywf64","country_code":"KR","type":"education","lineage":["https://openalex.org/I189442560"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Ok-Kyoon Ha","raw_affiliation_strings":["Gyeongsang National University, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Gyeongsang National University, South Korea","institution_ids":["https://openalex.org/I189442560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041549802","display_name":"In-Bon Kuh","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I189442560","display_name":"Gyeongsang National University","ror":"https://ror.org/00saywf64","country_code":"KR","type":"education","lineage":["https://openalex.org/I189442560"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"In-Bon Kuh","raw_affiliation_strings":["Gyeongsang National University, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Gyeongsang National University, South Korea","institution_ids":["https://openalex.org/I189442560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064194590","display_name":"Guy Martin Tchamgoue","orcid":"https://orcid.org/0000-0002-7729-8701","observed_orcids":["https://orcid.org/0000-0002-7729-8701"]},"institutions":[{"id":"https://openalex.org/I189442560","display_name":"Gyeongsang National University","ror":"https://ror.org/00saywf64","country_code":"KR","type":"education","lineage":["https://openalex.org/I189442560"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Guy Martin Tchamgoue","raw_affiliation_strings":["Gyeongsang National University, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Gyeongsang National University, South Korea","institution_ids":["https://openalex.org/I189442560"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054853623","display_name":"Yong-Kee Jun","orcid":"https://orcid.org/0000-0002-4753-3651","observed_orcids":["https://orcid.org/0000-0002-4753-3651"]},"institutions":[{"id":"https://openalex.org/I189442560","display_name":"Gyeongsang National University","ror":"https://ror.org/00saywf64","country_code":"KR","type":"education","lineage":["https://openalex.org/I189442560"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Yong-Kee Jun","raw_affiliation_strings":["Gyeongsang National University, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Gyeongsang National University, South Korea","institution_ids":["https://openalex.org/I189442560"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I189442560"],"apc_list":null,"apc_paid":null,"fwci":1.836,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.85641116,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"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.8490999937057495,"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.8490999937057495,"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.1356000006198883,"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.005799999926239252,"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/data-race-detection","display_name":"data race detection","score":0.9610000252723694},{"id":"https://openalex.org/keywords/openmp","display_name":"OpenMP","score":0.9940000176429749},{"id":"https://openalex.org/keywords/fork-join-parallelism","display_name":"fork-join parallelism","score":0.8579999804496765},{"id":"https://openalex.org/keywords/binary-instrumentation","display_name":"binary instrumentation","score":0.7099999785423279},{"id":"https://openalex.org/keywords/pin","display_name":"pin","score":0.6370000243186951},{"id":"https://openalex.org/keywords/shared-memory-concurrency","display_name":"shared memory concurrency","score":0.5550000071525574},{"id":"https://openalex.org/keywords/false-positive-results","display_name":"false positives","score":0.7360000014305115},{"id":"https://openalex.org/keywords/parallel-program-verification","display_name":"parallel program verification","score":0.4480000138282776}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8778117895126343},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.7298722863197327},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.7179809212684631},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.6653510928153992},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5960281491279602},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5528193116188049},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.42460280656814575},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.4164241552352905},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.41291502118110657},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.41181617975234985},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3240875005722046},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2654518485069275},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2338967.2336808","doi":"https://doi.org/10.1145/2338967.2336808","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2338967.2336808","pdf_url":null,"source":{"id":"https://openalex.org/S4306420678","display_name":"Parallel and Distributed Systems: Testing, Analysis, and Debugging","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W104299029","https://openalex.org/W1487375638","https://openalex.org/W1561114929","https://openalex.org/W1577551647","https://openalex.org/W1865312937","https://openalex.org/W1972544179","https://openalex.org/W1988888548","https://openalex.org/W2025001147","https://openalex.org/W2034256728","https://openalex.org/W2039304376","https://openalex.org/W2040851906","https://openalex.org/W2061239425","https://openalex.org/W2072419942","https://openalex.org/W2086010014","https://openalex.org/W2105391037","https://openalex.org/W2108239731","https://openalex.org/W2111378743","https://openalex.org/W2115968584","https://openalex.org/W2127989655","https://openalex.org/W2135531618","https://openalex.org/W2144249474","https://openalex.org/W2157539713","https://openalex.org/W2170200862","https://openalex.org/W3137220996","https://openalex.org/W4248655060"],"related_works":["https://openalex.org/W3082802377","https://openalex.org/W2902511784","https://openalex.org/W2488548811","https://openalex.org/W1879709894","https://openalex.org/W3212264743","https://openalex.org/W2913879037","https://openalex.org/W4318711069","https://openalex.org/W4389524884","https://openalex.org/W2885472926","https://openalex.org/W2070614040"],"abstract_inverted_index":{"OpenMP":[0,29,54,79,110,161],"provides":[1],"a":[2,15,83,88,96,128,188],"portable":[3],"way":[4],"to":[5,13,24,35,77,119,132,136,175,183],"achieve":[6],"high":[7],"performance":[8],"and":[9,73,153],"simple":[10],"compiler":[11],"directives":[12],"transform":[14],"sequential":[16],"program":[17],"into":[18],"parallel":[19],"program.":[20],"It":[21],"is":[22,70],"important":[23],"detect":[25,45],"data":[26,46,103,169],"races":[27,47,104,170],"in":[28,108],"programs,":[30,55],"because":[31],"they":[32],"may":[33],"lead":[34],"unpredictable":[36],"results":[37,159],"from":[38],"an":[39,51,115],"execution":[40,52],"of":[41,53,91,124,147,185,191],"the":[42,56,121,148,179],"programs.":[43,111],"To":[44],"that":[48,164],"occur":[49],"during":[50],"representative":[57],"on-the-fly":[58],"technique,":[59],"Helgrind+,":[60,176],"mainly":[61],"focuses":[62],"on":[63,145],"reducing":[64,178],"false":[65,106,172],"positives.":[66],"Unfortunately,":[67],"this":[68,143],"technique":[69,166],"still":[71],"imprecise":[72],"inefficient,":[74],"when":[75],"applied":[76],"large":[78,89,109],"programs":[80],"which":[81,99],"use":[82],"structured":[84],"fork-join":[85],"parallelism":[86],"with":[87,127,156,187],"number":[90],"threads.":[92],"This":[93,112],"paper":[94],"presents":[95],"novel":[97],"approach":[98,113,144],"efficiently":[100],"detects":[101,167],"apparent":[102,168],"without":[105,171],"positives":[107,173],"combines":[114],"efficient":[116],"thread":[117,125],"labeling":[118],"maintain":[120],"logical":[122],"concurrency":[123],"segments":[126],"precise":[129],"detection":[130],"protocol":[131],"analyze":[133],"conflicting":[134],"accesses":[135],"every":[137],"shared":[138],"memory":[139],"location.":[140],"We":[141],"implemented":[142],"top":[146],"Pin":[149],"binary":[150],"instrumentation":[151],"framework":[152],"compared":[154],"it":[155],"Helgrind+.":[157],"Empirical":[158],"using":[160],"benchmarks":[162],"show":[163],"our":[165],"contrarily":[174],"while":[177],"average":[180],"runtime":[181],"overhead":[182],"19%":[184],"Helgrind+":[186],"similar":[189],"amount":[190],"space":[192],"overhead.":[193]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":5},{"year":2012,"cited_by_count":1}],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2016-06-24T00:00:00"}