{"id":"https://openalex.org/W2084790705","doi":"https://doi.org/10.1145/2338967.2336809","title":"A static analysis tool using a three-step approach for data races in HPC programs","display_name":"A static analysis tool using a three-step approach for data races in HPC programs","publication_year":2012,"publication_date":"2012-07-16","ids":{"openalex":"https://openalex.org/W2084790705","doi":"https://doi.org/10.1145/2338967.2336809","mag":"2084790705"},"language":"en","primary_location":{"id":"doi:10.1145/2338967.2336809","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2338967.2336809","pdf_url":null,"source":null,"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"},"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/A5090981513","display_name":"Yasushi Negishi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210145865","display_name":"IBM Research - Tokyo","ror":"https://ror.org/04915qk43","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210145865"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Yasushi Negishi","raw_affiliation_strings":["IBM Research, Japan","IBM Research, Japan#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Research, Japan","institution_ids":["https://openalex.org/I4210145865"]},{"raw_affiliation_string":"IBM Research, Japan#TAB#","institution_ids":["https://openalex.org/I4210145865"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033971988","display_name":"Hiroki Murata","orcid":null},"institutions":[{"id":"https://openalex.org/I4210145865","display_name":"IBM Research - Tokyo","ror":"https://ror.org/04915qk43","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210145865"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hiroki Murata","raw_affiliation_strings":["IBM Research, Japan","IBM Research, Japan#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Research, Japan","institution_ids":["https://openalex.org/I4210145865"]},{"raw_affiliation_string":"IBM Research, Japan#TAB#","institution_ids":["https://openalex.org/I4210145865"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089801879","display_name":"Guojing Cong","orcid":"https://orcid.org/0000-0003-0850-7714"},"institutions":[{"id":"https://openalex.org/I4210156936","display_name":"IBM Research - Austin","ror":"https://ror.org/05gjbbg60","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210156936"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guojing Cong","raw_affiliation_strings":["IBM Research, USA","IBM Research - USA"],"affiliations":[{"raw_affiliation_string":"IBM Research, USA","institution_ids":[]},{"raw_affiliation_string":"IBM Research - USA","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103577287","display_name":"Hui-Fang Wen","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156936","display_name":"IBM Research - Austin","ror":"https://ror.org/05gjbbg60","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210156936"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hui-Fang Wen","raw_affiliation_strings":["IBM Research, USA","IBM Research - USA"],"affiliations":[{"raw_affiliation_string":"IBM Research, USA","institution_ids":[]},{"raw_affiliation_string":"IBM Research - USA","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108479300","display_name":"I\u2010Hsin Chung","orcid":"https://orcid.org/0000-0003-4555-9257"},"institutions":[{"id":"https://openalex.org/I4210156936","display_name":"IBM Research - Austin","ror":"https://ror.org/05gjbbg60","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210156936"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"I-Hsin Chung","raw_affiliation_strings":["IBM Research, USA","IBM Research - USA"],"affiliations":[{"raw_affiliation_string":"IBM Research, USA","institution_ids":[]},{"raw_affiliation_string":"IBM Research - USA","institution_ids":["https://openalex.org/I4210156936"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5090981513"],"corresponding_institution_ids":["https://openalex.org/I4210145865"],"apc_list":null,"apc_paid":null,"fwci":0.2901,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.58206858,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"11","last_page":"17"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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":0.9998999834060669,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9973000288009644,"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.9943000078201294,"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/computer-science","display_name":"Computer science","score":0.8271762132644653},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7492159008979797},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.7244280576705933},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.6515558362007141},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6177461743354797},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6035749912261963},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6008909344673157},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5988546013832092},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.5378576517105103},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48496270179748535},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.4822738468647003},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.4607570767402649},{"id":"https://openalex.org/keywords/multithreading","display_name":"Multithreading","score":0.44915738701820374},{"id":"https://openalex.org/keywords/supercomputer","display_name":"Supercomputer","score":0.4479585587978363},{"id":"https://openalex.org/keywords/dynamic-program-analysis","display_name":"Dynamic program analysis","score":0.42224007844924927},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.41174018383026123},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.2266291379928589},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.18592295050621033},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.17905649542808533},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09890544414520264}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8271762132644653},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7492159008979797},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.7244280576705933},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.6515558362007141},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6177461743354797},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6035749912261963},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6008909344673157},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5988546013832092},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.5378576517105103},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48496270179748535},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.4822738468647003},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.4607570767402649},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.44915738701820374},{"id":"https://openalex.org/C83283714","wikidata":"https://www.wikidata.org/wiki/Q121117","display_name":"Supercomputer","level":2,"score":0.4479585587978363},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.42224007844924927},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.41174018383026123},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.2266291379928589},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.18592295050621033},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.17905649542808533},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09890544414520264},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2338967.2336809","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2338967.2336809","pdf_url":null,"source":null,"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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W343901682","https://openalex.org/W1510263988","https://openalex.org/W1996378164","https://openalex.org/W2094439101","https://openalex.org/W2152777241","https://openalex.org/W2157532442","https://openalex.org/W2162084078","https://openalex.org/W2168272209","https://openalex.org/W2171464342","https://openalex.org/W3188158268"],"related_works":["https://openalex.org/W2165750732","https://openalex.org/W3111646971","https://openalex.org/W2005835674","https://openalex.org/W1811150425","https://openalex.org/W2084564572","https://openalex.org/W2389359574","https://openalex.org/W2515962675","https://openalex.org/W48604291","https://openalex.org/W4285814480","https://openalex.org/W2081659623"],"abstract_inverted_index":{"Multicore":[0],"processors":[1],"are":[2,73],"becoming":[3,18],"dominant":[4],"in":[5,87,90,122,191],"the":[6,70,97,104,119,128,217,221,228],"high":[7],"performance":[8,23],"computing":[9],"(HPC)":[10],"area,":[11],"so":[12],"multithread":[13],"programming":[14],"with":[15,42,153,159],"OpenMP":[16,88],"is":[17,34,210],"a":[19,78,139,154],"key":[20],"to":[21,36,49,57,68,83,112,126,142,189,234],"good":[22],"on":[24],"such":[25],"processors,":[26],"though":[27],"debugging":[28],"problems":[29],"remain.":[30],"In":[31],"particular,":[32],"it":[33],"difficult":[35],"detect":[37,50,84,143],"data":[38,51,85,144],"races":[39,86],"among":[40],"threads":[41],"nondeterministic":[43],"results,":[44],"thus":[45],"calling":[46],"for":[47,59,168,173,213,220],"tools":[48,63,110],"races.":[52,145],"Because":[53,107],"HPC":[54],"programs":[55,72],"tend":[56,111],"run":[58,69],"long":[60],"periods,":[61],"detection":[62],"that":[64],"do":[65],"not":[66],"need":[67],"target":[71,105],"strongly":[74],"preferred.":[75],"We":[76,136,157,194],"developed":[77],"static":[79,108,133],"program":[80,150],"analysis":[81,109,134,151,178,209,218],"tool":[82,98],"loops":[89],"FORTRAN":[91],"programs.":[92],"Programmers":[93],"can":[94],"quickly":[95],"use":[96],"at":[99],"compile":[100],"time":[101,219,230],"without":[102],"executing":[103],"program.":[106],"report":[113],"many":[114],"false":[115,120],"positives,":[116],"we":[117],"counted":[118],"positives":[121],"some":[123],"large":[124],"applications":[125],"assess":[127],"utility":[129],"and":[130,163,171],"limits":[131],"of":[132,183,201],"tools.":[135],"have":[137],"devised":[138],"new":[140,155,177],"approach":[141,147],"Our":[146,176,208],"combines":[148],"existing":[149],"methods":[152],"analysis.":[156],"experimented":[158],"NAS":[160,222],"parallel":[161,223],"benchmarks":[162],"two":[164],"real":[165],"applications,":[166],"GTC":[167],"plasma":[169],"physics":[170],"GFMC":[172],"nuclear":[174],"physics.":[175],"method":[179],"also":[180],"reduces":[181],"number":[182],"reported":[184,204],"candidates":[185,203],"from":[186],"totally":[187],"97":[188],"33":[190,202],"these":[192],"applications.":[193],"found":[195],"13":[196],"previously":[197],"unknown":[198],"bugs":[199],"out":[200],"by":[205],"our":[206],"prototype.":[207],"fast":[211],"enough":[212],"practical":[214],"use,":[215],"since":[216],"benchmark":[224],"was":[225],"shorter":[226],"than":[227],"compilation":[229],"(18.5":[231],"seconds":[232],"compared":[233],"33.0":[235],"seconds).":[236]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}