{"id":"https://openalex.org/W2022059877","doi":"https://doi.org/10.1145/2755573.2755599","title":"Efficiently Detecting Races in Cilk Programs That Use Reducer Hyperobjects","display_name":"Efficiently Detecting Races in Cilk Programs That Use Reducer Hyperobjects","publication_year":2015,"publication_date":"2015-06-12","ids":{"openalex":"https://openalex.org/W2022059877","doi":"https://doi.org/10.1145/2755573.2755599","mag":"2022059877"},"language":"en","primary_location":{"id":"doi:10.1145/2755573.2755599","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2755573.2755599","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures","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/A5083447315","display_name":"I-Ting Angelina Lee","orcid":"https://orcid.org/0000-0002-0687-5508"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"I-Ting Angelina Lee","raw_affiliation_strings":["Washington University in St. Louis, St. Louis, MO, USA"],"affiliations":[{"raw_affiliation_string":"Washington University in St. Louis, St. Louis, MO, USA","institution_ids":["https://openalex.org/I204465549"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018454153","display_name":"Tao B. Schardl","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tao B. Schardl","raw_affiliation_strings":["MIT CSAIL, Cambridge, MA, USA"],"affiliations":[{"raw_affiliation_string":"MIT CSAIL, Cambridge, MA, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5083447315"],"corresponding_institution_ids":["https://openalex.org/I204465549"],"apc_list":null,"apc_paid":null,"fwci":3.6281,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.9285776,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"111","last_page":"122"},"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.9994999766349792,"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.9994999766349792,"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/T10126","display_name":"Logic, programming, and type systems","score":0.991599977016449,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9894000291824341,"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.8069995641708374},{"id":"https://openalex.org/keywords/reducer","display_name":"Reducer","score":0.7722852230072021},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.654033362865448},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.6255165338516235},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5836303234100342},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.5149081945419312},{"id":"https://openalex.org/keywords/runtime-system","display_name":"Runtime system","score":0.5098466277122498},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.49300023913383484},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37766778469085693}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8069995641708374},{"id":"https://openalex.org/C2776985865","wikidata":"https://www.wikidata.org/wiki/Q26820931","display_name":"Reducer","level":2,"score":0.7722852230072021},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.654033362865448},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.6255165338516235},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5836303234100342},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.5149081945419312},{"id":"https://openalex.org/C2780870223","wikidata":"https://www.wikidata.org/wiki/Q1004415","display_name":"Runtime system","level":2,"score":0.5098466277122498},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.49300023913383484},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37766778469085693},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C147176958","wikidata":"https://www.wikidata.org/wiki/Q77590","display_name":"Civil engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2755573.2755599","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2755573.2755599","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.702.1255","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.702.1255","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.wustl.edu/%7Eangelee/papers/redrace.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5338205543","display_name":null,"funder_award_id":"1314547","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W1048515","https://openalex.org/W97749504","https://openalex.org/W1483476483","https://openalex.org/W1507039213","https://openalex.org/W1536852470","https://openalex.org/W1568532261","https://openalex.org/W1572187826","https://openalex.org/W1577551647","https://openalex.org/W1967882079","https://openalex.org/W1972544179","https://openalex.org/W1977899806","https://openalex.org/W1995085071","https://openalex.org/W1995902175","https://openalex.org/W2002179840","https://openalex.org/W2016323637","https://openalex.org/W2016559894","https://openalex.org/W2019611783","https://openalex.org/W2025819261","https://openalex.org/W2034256728","https://openalex.org/W2045238089","https://openalex.org/W2066952803","https://openalex.org/W2072725684","https://openalex.org/W2103560923","https://openalex.org/W2103957752","https://openalex.org/W2105391037","https://openalex.org/W2105794846","https://openalex.org/W2115968584","https://openalex.org/W2127989655","https://openalex.org/W2133662847","https://openalex.org/W2135063076","https://openalex.org/W2141832493","https://openalex.org/W2141975313","https://openalex.org/W2149984854","https://openalex.org/W2152907584","https://openalex.org/W2154557525","https://openalex.org/W2161038602","https://openalex.org/W2161600851","https://openalex.org/W2166615267","https://openalex.org/W2167744164","https://openalex.org/W2169875292","https://openalex.org/W2170200862","https://openalex.org/W2172013743","https://openalex.org/W2752573522","https://openalex.org/W3141930102","https://openalex.org/W3142915758","https://openalex.org/W3145128584","https://openalex.org/W4248655060","https://openalex.org/W4251803824","https://openalex.org/W4300810260"],"related_works":["https://openalex.org/W2943236215","https://openalex.org/W2394411596","https://openalex.org/W2737431648","https://openalex.org/W2349055795","https://openalex.org/W4226030716","https://openalex.org/W2599888081","https://openalex.org/W2971039361","https://openalex.org/W2725465928","https://openalex.org/W2358616404","https://openalex.org/W2361961910"],"abstract_inverted_index":{"A":[0],"multithreaded":[1],"Cilk":[2,21,33,53,75],"program":[3,22,76,98],"that":[4,23,66,123,156],"is":[5],"ostensibly":[6],"deterministic":[7],"may":[8,111],"nevertheless":[9],"behave":[10],"nondeterministically":[11],"due":[12],"to":[13,41,81,100,145,155,165],"programming":[14,36],"errors":[15,37,45],"in":[16,31,50,73,150,179,186],"the":[17,44,48,52,88,97,109,126,135,160,205],"code.":[18],"For":[19],"a":[20,26,57,74,102,106,113,143,197,214],"uses":[24],"reducers,":[25],"general":[27],"reduction":[28],"mechanism":[29],"supported":[30],"various":[32],"dialects,":[34],"such":[35,116],"are":[38,169],"especially":[39],"challenging":[40],"debug,":[42],"because":[43],"can":[46,175],"expose":[47],"nondeterminism":[49],"how":[51],"runtime":[54],"system":[55],"manages":[56],"reducer.":[58],"We":[59,181],"identify":[60],"two":[61,79],"unique":[62],"types":[63],"of":[64,71,105,201,218],"races":[65],"arise":[67],"from":[68],"incorrect":[69],"use":[70],"reducers":[72],"and":[77,174],"present":[78],"algorithms":[80,168,185],"catch":[82],"them.":[83],"The":[84,131],"first":[85],"algorithm,":[86,90,133,137],"called":[87,134],"Peer-Set":[89],"detects":[91,138],"view-read":[92],"races,":[93,140],"which":[94],"occur":[95],"when":[96,108,159],"attempts":[99],"retrieve":[101],"value":[103],"out":[104],"reducer":[107,127],"read":[110],"result":[112],"nondeterministic":[114],"value,":[115],"as":[117],"before":[118],"all":[119],"previously":[120],"spawned":[121],"subcomputations":[122],"might":[124],"update":[125],"have":[128,182],"necessarily":[129],"returned.":[130],"second":[132],"SP+":[136],"determinacy":[139],"instances":[141],"where":[142],"write":[144],"memory":[146,162],"location":[147],"occurs":[148],"logically":[149],"parallel":[151],"with":[152],"another":[153],"access":[154],"location,":[157],"even":[158],"raced-on":[161],"locations":[163],"relate":[164],"reducers.":[166],"Both":[167],"provably":[170],"correct,":[171],"asymptotically":[172],"efficient,":[173],"be":[176],"implemented":[177,183],"efficiently":[178],"practice.":[180],"both":[184],"our":[187],"prototype":[188],"race":[189],"detector,":[190],"Rader.":[191],"When":[192,209],"running":[193,204,210],"Peer-Set,":[194],"Rader":[195,212],"incurs":[196,213],"geometric-mean":[198,215],"multiplicative":[199,216],"overhead":[200,217],"2.32":[202],"over":[203],"benchmark":[206],"without":[207],"instrumentation.":[208],"SP+,":[211],"16.76.":[219]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":5}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}