{"id":"https://openalex.org/W3174684347","doi":"https://doi.org/10.1145/3409964.3461825","title":"Efficient Access History for Race Detection","display_name":"Efficient Access History for Race Detection","publication_year":2021,"publication_date":"2021-06-30","ids":{"openalex":"https://openalex.org/W3174684347","doi":"https://doi.org/10.1145/3409964.3461825","mag":"3174684347"},"language":"en","primary_location":{"id":"doi:10.1145/3409964.3461825","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3409964.3461825","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3409964.3461825","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3409964.3461825","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101858368","display_name":"Yifan Xu","orcid":"https://orcid.org/0009-0005-2706-0972"},"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":"Yifan Xu","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":"middle","author":{"id":"https://openalex.org/A5028956410","display_name":"Anchengcheng Zhou","orcid":null},"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":false,"raw_author_name":"Anchengcheng Zhou","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":"middle","author":{"id":"https://openalex.org/A5082621292","display_name":"Grace Q. Yin","orcid":null},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Grace Q. Yin","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, MA, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035990793","display_name":"Kunal Agrawal","orcid":"https://orcid.org/0000-0001-5882-6647"},"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":false,"raw_author_name":"Kunal Agrawal","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":"middle","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":false,"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":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tao B. Schardl","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, MA, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5101858368"],"corresponding_institution_ids":["https://openalex.org/I204465549"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08587727,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"449","last_page":"451"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","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 Optimization Techniques","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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9972000122070312,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9947999715805054,"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/computer-science","display_name":"Computer science","score":0.8683154582977295},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.6118814945220947},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5919111967086792},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.5907478332519531},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5606781244277954},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.499037504196167},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.484785258769989},{"id":"https://openalex.org/keywords/data-access","display_name":"Data access","score":0.477723091840744},{"id":"https://openalex.org/keywords/access-time","display_name":"Access time","score":0.4693520963191986},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.44883012771606445},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.420853853225708},{"id":"https://openalex.org/keywords/access-method","display_name":"Access method","score":0.41908180713653564},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3286897838115692},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23802036046981812},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14727264642715454}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8683154582977295},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.6118814945220947},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5919111967086792},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5907478332519531},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5606781244277954},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.499037504196167},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.484785258769989},{"id":"https://openalex.org/C47487241","wikidata":"https://www.wikidata.org/wiki/Q5227230","display_name":"Data access","level":2,"score":0.477723091840744},{"id":"https://openalex.org/C194080101","wikidata":"https://www.wikidata.org/wiki/Q46306","display_name":"Access time","level":2,"score":0.4693520963191986},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.44883012771606445},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.420853853225708},{"id":"https://openalex.org/C70000936","wikidata":"https://www.wikidata.org/wiki/Q4672467","display_name":"Access method","level":2,"score":0.41908180713653564},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3286897838115692},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23802036046981812},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14727264642715454},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3409964.3461825","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3409964.3461825","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3409964.3461825","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures","raw_type":"proceedings-article"},{"id":"pmh:oai:dspace.mit.edu:1721.1/145965","is_oa":true,"landing_page_url":"https://hdl.handle.net/1721.1/145965","pdf_url":null,"source":{"id":"https://openalex.org/S4306400425","display_name":"DSpace@MIT (Massachusetts Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I63966007","host_organization_name":"Massachusetts Institute of Technology","host_organization_lineage":["https://openalex.org/I63966007"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM|Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures CD-ROM","raw_type":"http://purl.org/eprint/type/ConferencePaper"}],"best_oa_location":{"id":"doi:10.1145/3409964.3461825","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3409964.3461825","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3409964.3461825","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1033621328","display_name":null,"funder_award_id":"CCF-1733873,CCF-1910568,CCF-1943456,AitF-1733873,SPX-1725647,XPS-1439062,XPS-1533644","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1865479960","display_name":null,"funder_award_id":"CCF-1910568, CCF-1943456","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2673416368","display_name":null,"funder_award_id":"CCF-1733873","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2876153101","display_name":"CAREER: A Task-Parallel Platform for Interactive Applications","funder_award_id":"1943456","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3370376639","display_name":"SHF: Small: Provably Efficient Dynamic Analysis Tools for Task Parallel Computations","funder_award_id":"1910568","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3948691215","display_name":null,"funder_award_id":"CCF-1725647","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4314255917","display_name":"XPS: FULL: FP: Collaborative Research: Taming parallelism: optimally exploiting high-throughput parallel architectures","funder_award_id":"1439062","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4728703731","display_name":null,"funder_award_id":"A8750-19-2-1000","funder_id":"https://openalex.org/F4320332467","funder_display_name":"U.S. Air Force"},{"id":"https://openalex.org/G5921281487","display_name":null,"funder_award_id":"number","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6188232864","display_name":null,"funder_award_id":"1533644","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6681485391","display_name":"SPX: Collaborative Research: Eat your Wheaties: Multi-Grain Compilers for Parallel Builds at Every Scale","funder_award_id":"1725647","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7361967927","display_name":"AITF: Applied Algorithmic Foundation for Scheduling Multiprogrammed Parallelizable Workloads","funder_award_id":"1733873","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7647474342","display_name":null,"funder_award_id":"FA8750-19-2-1000","funder_id":"https://openalex.org/F4320332467","funder_display_name":"U.S. Air Force"},{"id":"https://openalex.org/G782747244","display_name":null,"funder_award_id":"17256","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","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"},{"id":"https://openalex.org/F4320332467","display_name":"U.S. Air Force","ror":"https://ror.org/006gmme17"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3174684347.pdf","grobid_xml":"https://content.openalex.org/works/W3174684347.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W1995085071","https://openalex.org/W2034256728","https://openalex.org/W2170200862","https://openalex.org/W2470978318","https://openalex.org/W2523223668","https://openalex.org/W2780385762","https://openalex.org/W2788980059","https://openalex.org/W2906726523","https://openalex.org/W3007400938","https://openalex.org/W3099303552","https://openalex.org/W4238347373"],"related_works":["https://openalex.org/W3165129262","https://openalex.org/W4206506422","https://openalex.org/W1552854834","https://openalex.org/W3138885233","https://openalex.org/W4288916633","https://openalex.org/W2066011280","https://openalex.org/W2098819332","https://openalex.org/W4388620453","https://openalex.org/W2905752331","https://openalex.org/W4311300652"],"abstract_inverted_index":{"While":[0],"there":[1],"has":[2,16,37],"been":[3,38],"extensive":[4],"research":[5,15],"on":[6,18,95],"race-detection":[7],"algorithms":[8],"for":[9],"task-parallel":[10],"programs,":[11],"most":[12,73],"of":[13,76,107,111,119,129,183,192],"this":[14,92,136],"focused":[17],"optimizing":[19],"a":[20,156],"particular":[21],"component,":[22,44],"namely,":[23],"reachability":[24],"analysis,":[25],"which":[26,48],"checks":[27],"whether":[28],"two":[29],"instructions":[30,54],"are":[31],"logically":[32],"in":[33,67],"parallel.":[34],"Little":[35],"attention":[36],"paid":[39],"to":[40,149,188],"the":[41,45,59,72,96,113,117,127,181,189,193],"other":[42],"important":[43],"access":[46,104,114,137],"history,":[47,138],"stores":[49],"all":[50],"memory":[51,88,121],"locations":[52],"previous":[53],"have":[55],"accessed.":[56],"In":[57],"theory,":[58],"access-history":[60,158],"component":[61,75,93],"adds":[62],"no":[63],"asymptotic":[64],"overhead;":[65],"however,":[66],"practice,":[68],"it":[69,80,125],"is":[70,81,185],"often":[71],"expensive":[74],"race":[77],"detection":[78],"since":[79],"queried":[82],"and":[83,143,154,164],"(possibly)":[84],"updated":[85],"at":[86,116,126,166],"each":[87],"access.":[89],"We":[90],"optimize":[91],"based":[94],"observation":[97],"that,":[98],"typically,":[99],"strands":[100],"within":[101],"parallel":[102],"programs":[103],"contiguous":[105],"blocks":[106],"memory.":[108],"Therefore,":[109],"instead":[110],"maintaining":[112],"history":[115],"granularity":[118,128],"individual":[120],"locations,":[122],"we":[123,139],"maintain":[124],"these":[130,152],"(varying":[131],"size)":[132],"intervals.":[133],"To":[134],"enable":[135],"propose":[140],"(1)":[141],"compiler":[142],"runtime":[144],"mechanisms":[145],"that":[146,161],"allow":[147],"us":[148],"efficiently":[150],"collect":[151],"intervals":[153,184],"(2)":[155],"tree-based":[157],"data":[159],"structure":[160],"allows":[162],"updates":[163],"queries":[165],"interval":[167],"granularity.":[168],"The":[169],"resulting":[170],"tool":[171],"can":[172],"race-detect":[173],"fork-join":[174],"code":[175],"with":[176],"amortized":[177],"constant":[178],"overhead,":[179],"assuming":[180],"number":[182],"small":[186],"compared":[187],"total":[190],"work":[191],"computation.":[194]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}