{"id":"https://openalex.org/W2143078813","doi":"https://doi.org/10.1145/1390630.1390649","title":"Dynamic recognition of synchronization operations for improved data race detection","display_name":"Dynamic recognition of synchronization operations for improved data race detection","publication_year":2008,"publication_date":"2008-07-20","ids":{"openalex":"https://openalex.org/W2143078813","doi":"https://doi.org/10.1145/1390630.1390649","mag":"2143078813"},"language":"en","primary_location":{"id":"doi:10.1145/1390630.1390649","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1390630.1390649","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2008 international symposium on Software testing and analysis","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/A5100751736","display_name":"Chen Tian","orcid":"https://orcid.org/0000-0003-2710-7628"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Chen Tian","raw_affiliation_strings":["University of California at Riverside, Riverside, CA, USA","[University of California at Riverside, Riverside, CA, USA]"],"affiliations":[{"raw_affiliation_string":"University of California at Riverside, Riverside, CA, USA","institution_ids":["https://openalex.org/I103635307"]},{"raw_affiliation_string":"[University of California at Riverside, Riverside, CA, USA]","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056071760","display_name":"Vijay Nagarajan","orcid":"https://orcid.org/0009-0000-5045-4754"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vijay Nagarajan","raw_affiliation_strings":["University of California at Riverside, Riverside, CA, USA","[University of California at Riverside, Riverside, CA, USA]"],"affiliations":[{"raw_affiliation_string":"University of California at Riverside, Riverside, CA, USA","institution_ids":["https://openalex.org/I103635307"]},{"raw_affiliation_string":"[University of California at Riverside, Riverside, CA, USA]","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100699251","display_name":"Rajiv Gupta","orcid":"https://orcid.org/0000-0002-9348-3974"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajiv Gupta","raw_affiliation_strings":["University of California at Riverside, Riverside, CA, USA","[University of California at Riverside, Riverside, CA, USA]"],"affiliations":[{"raw_affiliation_string":"University of California at Riverside, Riverside, CA, USA","institution_ids":["https://openalex.org/I103635307"]},{"raw_affiliation_string":"[University of California at Riverside, Riverside, CA, USA]","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076081070","display_name":"Sriraman Tallam","orcid":"https://orcid.org/0000-0002-6303-8132"},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sriraman Tallam","raw_affiliation_strings":["Google Inc., Mountain View, CA, USA","Google Inc., Mountain View, CA USA"],"affiliations":[{"raw_affiliation_string":"Google Inc., Mountain View, CA, USA","institution_ids":["https://openalex.org/I1291425158"]},{"raw_affiliation_string":"Google Inc., Mountain View, CA USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100751736"],"corresponding_institution_ids":["https://openalex.org/I103635307"],"apc_list":null,"apc_paid":null,"fwci":3.799,"has_fulltext":false,"cited_by_count":62,"citation_normalized_percentile":{"value":0.93790134,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"143","last_page":"154"},"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.9998000264167786,"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.9998000264167786,"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/T12127","display_name":"Software System Performance and Reliability","score":0.995199978351593,"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/T10260","display_name":"Software Engineering Research","score":0.9900000095367432,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8870579600334167},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.8003225326538086},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.762250542640686},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.6537290215492249},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.644162118434906},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5669569969177246},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.5661365985870361},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.5106514096260071},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.47658273577690125},{"id":"https://openalex.org/keywords/multithreading","display_name":"Multithreading","score":0.4592553973197937},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4564693868160248},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41169652342796326},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.37322282791137695},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35206863284111023},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1107209324836731}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8870579600334167},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.8003225326538086},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.762250542640686},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.6537290215492249},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.644162118434906},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5669569969177246},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5661365985870361},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.5106514096260071},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.47658273577690125},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.4592553973197937},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4564693868160248},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41169652342796326},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.37322282791137695},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35206863284111023},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1107209324836731},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1390630.1390649","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1390630.1390649","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2008 international symposium on Software testing and analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.181.885","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.181.885","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hiper.cis.udel.edu/lp/lib/exe/fetch.php/courses/issta08-tian-dataracedetect.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.297.8435","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.8435","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ucr.edu/~gupta/research/Publications/Comp/issta08b.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4399999976158142,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W17332244","https://openalex.org/W134182469","https://openalex.org/W1971849938","https://openalex.org/W1972544179","https://openalex.org/W1994305220","https://openalex.org/W2001738739","https://openalex.org/W2002179840","https://openalex.org/W2016323637","https://openalex.org/W2036093091","https://openalex.org/W2040851906","https://openalex.org/W2047229718","https://openalex.org/W2059385647","https://openalex.org/W2061239425","https://openalex.org/W2082766667","https://openalex.org/W2095469619","https://openalex.org/W2105391037","https://openalex.org/W2108806129","https://openalex.org/W2109875364","https://openalex.org/W2127989655","https://openalex.org/W2129663982","https://openalex.org/W2134205263","https://openalex.org/W2134633067","https://openalex.org/W2135023759","https://openalex.org/W2135531618","https://openalex.org/W2138404963","https://openalex.org/W2145021036","https://openalex.org/W2146280225","https://openalex.org/W2147506153","https://openalex.org/W2152423679","https://openalex.org/W2156428492","https://openalex.org/W2170200862","https://openalex.org/W3137220996","https://openalex.org/W4233497262","https://openalex.org/W4240506541","https://openalex.org/W4241124529","https://openalex.org/W4246906397","https://openalex.org/W4248655060","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1591836442","https://openalex.org/W2357517130","https://openalex.org/W1990697576","https://openalex.org/W1520405624","https://openalex.org/W1582361381","https://openalex.org/W2115269980","https://openalex.org/W1600422503","https://openalex.org/W4303183859","https://openalex.org/W3089117407","https://openalex.org/W2023373638"],"abstract_inverted_index":{"Debugging":[0],"multithreaded":[1,64],"programs,":[2,65],"which":[3],"involves":[4],"detection":[5],"and":[6,73],"identification":[7],"of":[8,11,27,45,86,88,96,125,156],"the":[9,40,47,67,78,84,140,167],"cause":[10],"data":[12],"races,":[13,158],"has":[14,23],"proved":[15],"to":[16,93,118,165],"be":[17,43],"a":[18,54,60,134,146,162],"hard":[19],"problem.":[20],"Although":[21],"there":[22],"been":[24],"significant":[25,61],"amount":[26],"research":[28],"on":[29,35,113],"this":[30],"topic,":[31],"prior":[32],"works":[33],"rely":[34],"one":[36],"important":[37],"assumption":[38,58],"-":[39],"debuggers":[41],"must":[42],"aware":[44],"all":[46],"synchronization":[48,90],"operations":[49,91],"that":[50,83,106,138],"take":[51],"place":[52],"during":[53,145],"program":[55,147],"run.":[56,148],"This":[57,149],"is":[59],"limitation":[62],"as":[63],"including":[66],"popular":[68],"SPLASH-2":[69,102],"benchmark,":[70],"have":[71],"barriers":[72],"flag":[74],"synchronizations":[75,143],"implemented":[76],"in":[77,110],"user":[79,141],"code.":[80],"We":[81,132],"show":[82,105],"lack":[85],"knowledge":[87],"these":[89,130],"leads":[92],"unnecessary":[94,157],"reporting":[95,155],"numerous":[97],"races.":[98],"Our":[99],"experiments":[100],"with":[101],"benchmark":[103],"suite":[104],"12-131":[107],"distinct":[108],"segments":[109],"source":[111],"code,":[112],"an":[114],"average,":[115],"give":[116],"rise":[117],"well":[119],"over":[120],"4":[121],"million":[122],"dynamic":[123,135],"instances":[124],"falsely":[126],"reported":[127],"races":[128],"for":[129],"programs.":[131],"propose":[133],"software":[136],"technique":[137],"identifies":[139],"defined":[142],"exercised":[144],"information":[150],"not":[151],"only":[152],"helps":[153,161],"avoids":[154],"but":[159],"also":[160],"record/replay":[163],"system":[164],"speedup":[166],"replay.":[168]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":11},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":11},{"year":2012,"cited_by_count":6}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}