{"id":"https://openalex.org/W3153626425","doi":"https://doi.org/10.1145/3445814.3446711","title":"C11Tester: a race detector for C/C++ atomics","display_name":"C11Tester: a race detector for C/C++ atomics","publication_year":2021,"publication_date":"2021-04-11","ids":{"openalex":"https://openalex.org/W3153626425","doi":"https://doi.org/10.1145/3445814.3446711","mag":"3153626425"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3445814.3446711","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3445814.3446711","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3445814.3446711","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059259933","display_name":"Weiyu Luo","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Weiyu Luo","raw_affiliation_strings":["University of California at Irvine, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016315666","display_name":"Brian Demsky","orcid":"https://orcid.org/0000-0003-1210-3130"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brian Demsky","raw_affiliation_strings":["University of California at Irvine, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.362,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":15,"citation_normalized_percentile":{"value":0.803733,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":92},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Performance Optimization","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 Performance Optimization","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 Fault Tolerance and Consistency in Systems","score":0.9996,"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":"Distributed Storage Systems and Network Coding","score":0.9986,"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/benchmark","display_name":"Benchmark (surveying)","score":0.6267977},{"id":"https://openalex.org/keywords/benchmarking","display_name":"Benchmarking","score":0.493147},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.44817978}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7106895},{"id":"https://openalex.org/C94915269","wikidata":"https://www.wikidata.org/wiki/Q1834857","display_name":"Detector","level":2,"score":0.641823},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6267977},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5130578},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4949264},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.44817978},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.44606203},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42765278},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09192574},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"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/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3445814.3446711","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3445814.3446711","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3445814.3446711","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3445814.3446711","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":55,"referenced_works":["https://openalex.org/W1600817717","https://openalex.org/W1600980603","https://openalex.org/W1719093023","https://openalex.org/W1893845610","https://openalex.org/W192267309","https://openalex.org/W1972544179","https://openalex.org/W1976695554","https://openalex.org/W1983206712","https://openalex.org/W1988877888","https://openalex.org/W2008078972","https://openalex.org/W2014708731","https://openalex.org/W2024875714","https://openalex.org/W2036316394","https://openalex.org/W2046368282","https://openalex.org/W2051016152","https://openalex.org/W2054391605","https://openalex.org/W2096343842","https://openalex.org/W2096527448","https://openalex.org/W2103982836","https://openalex.org/W2107529624","https://openalex.org/W2120339165","https://openalex.org/W2138074470","https://openalex.org/W2138640277","https://openalex.org/W2141710443","https://openalex.org/W2149074552","https://openalex.org/W2149984854","https://openalex.org/W2150650310","https://openalex.org/W2152795747","https://openalex.org/W2153174073","https://openalex.org/W2158124716","https://openalex.org/W2160781056","https://openalex.org/W2164288303","https://openalex.org/W2167744164","https://openalex.org/W2169870841","https://openalex.org/W2169958633","https://openalex.org/W2273610566","https://openalex.org/W2347106652","https://openalex.org/W2410648606","https://openalex.org/W2534587298","https://openalex.org/W2556205142","https://openalex.org/W2738891045","https://openalex.org/W2778029444","https://openalex.org/W2887814217","https://openalex.org/W2952024620","https://openalex.org/W2953899265","https://openalex.org/W2980176182","https://openalex.org/W2997323435","https://openalex.org/W3016213579","https://openalex.org/W3030797280","https://openalex.org/W3101794866","https://openalex.org/W3137220996","https://openalex.org/W4234066571","https://openalex.org/W4242194760","https://openalex.org/W4251803824","https://openalex.org/W867008410"],"related_works":["https://openalex.org/W4253208712","https://openalex.org/W3132641048","https://openalex.org/W2984753899","https://openalex.org/W2805502594","https://openalex.org/W2783178962","https://openalex.org/W2525971763","https://openalex.org/W2217679042","https://openalex.org/W1973480752","https://openalex.org/W1896179566","https://openalex.org/W1603677234"],"abstract_inverted_index":{"Writing":[0],"correct":[1],"concurrent":[2],"code":[3],"that":[4,26,53,69,103,116],"uses":[5,60],"atomics":[6],"under":[7],"the":[8,22,35,97,100,110,113],"C/C++":[9,23,36],"memory":[10,24,37],"model":[11,25,38],"is":[12,70],"extremely":[13],"difficult.":[14],"We":[15,83],"present":[16],"C11Tester,":[17],"a":[18,31,61],"race":[19,41],"detector":[20,42],"for":[21,106],"can":[27],"explore":[28],"executions":[29],"in":[30,78],"larger":[32,49],"fragment":[33,50],"of":[34,80,99,112],"than":[39],"previous":[40,46],"tools.":[43],"Relative":[44],"to":[45,65,72,75,94],"work,":[47],"C11Tester's":[48,92],"includes":[51],"behaviors":[52],"are":[54],"exhibited":[55],"by":[56],"ARM":[57],"processors.":[58],"C11Tester":[59,74,85],"new":[62],"constraint-based":[63],"algorithm":[64],"implement":[66],"modification":[67],"order":[68],"optimized":[71],"allow":[73],"make":[76],"decisions":[77],"terms":[79],"application-visible":[81],"behaviors.":[82],"evaluate":[84],"on":[86],"several":[87],"benchmark":[88],"applications,":[89],"and":[90,108],"compare":[91],"performance":[93],"both":[95],"tsan11rec,":[96],"state":[98,111],"art":[101,114],"tool":[102,115],"controls":[104],"scheduling":[105],"C/C++;":[107],"tsan11,":[109],"does":[117],"not":[118],"control":[119],"scheduling.":[120]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3153626425","counts_by_year":[{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":1}],"updated_date":"2024-10-18T06:47:06.885703","created_date":"2021-04-26"}
