{"id":"https://openalex.org/W4321446115","doi":"https://doi.org/10.1145/3572848.3577515","title":"Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence","display_name":"Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence","publication_year":2023,"publication_date":"2023-02-21","ids":{"openalex":"https://openalex.org/W4321446115","doi":"https://doi.org/10.1145/3572848.3577515"},"language":"en","primary_location":{"id":"doi:10.1145/3572848.3577515","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3572848.3577515","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3572848.3577515","source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming","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/3572848.3577515","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101680564","display_name":"Michael Bauer","orcid":"https://orcid.org/0009-0000-5475-7293"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Michael Bauer","raw_affiliation_strings":["NVIDIA"],"affiliations":[{"raw_affiliation_string":"NVIDIA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001695305","display_name":"Elliott Slaughter","orcid":"https://orcid.org/0000-0001-9725-1305"},"institutions":[{"id":"https://openalex.org/I2801935854","display_name":"SLAC National Accelerator Laboratory","ror":"https://ror.org/05gzmn429","country_code":"US","type":"facility","lineage":["https://openalex.org/I1330989302","https://openalex.org/I2801935854","https://openalex.org/I39565521","https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Elliott Slaughter","raw_affiliation_strings":["SLAC National Accelerator Laboratory"],"affiliations":[{"raw_affiliation_string":"SLAC National Accelerator Laboratory","institution_ids":["https://openalex.org/I2801935854"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005774998","display_name":"Sean Treichler","orcid":"https://orcid.org/0000-0003-2189-4026"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sean Treichler","raw_affiliation_strings":["NVIDIA"],"affiliations":[{"raw_affiliation_string":"NVIDIA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103167846","display_name":"Wonchan Lee","orcid":"https://orcid.org/0000-0001-8364-5784"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wonchan Lee","raw_affiliation_strings":["NVIDIA"],"affiliations":[{"raw_affiliation_string":"NVIDIA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024606205","display_name":"Michael Garland","orcid":"https://orcid.org/0000-0001-6093-7602"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Garland","raw_affiliation_strings":["NVIDIA"],"affiliations":[{"raw_affiliation_string":"NVIDIA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087402475","display_name":"Alex Aiken","orcid":"https://orcid.org/0000-0002-3723-9555"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alex Aiken","raw_affiliation_strings":["Stanford University"],"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5101680564"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5368,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.80201958,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"218","last_page":"231"},"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.9995999932289124,"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.9995999932289124,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9976999759674072,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8275619745254517},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6311807632446289},{"id":"https://openalex.org/keywords/visibility","display_name":"Visibility","score":0.6063454747200012},{"id":"https://openalex.org/keywords/aliasing","display_name":"Aliasing","score":0.5919367671012878},{"id":"https://openalex.org/keywords/coherence","display_name":"Coherence (philosophical gambling strategy)","score":0.5630025863647461},{"id":"https://openalex.org/keywords/graphics","display_name":"Graphics","score":0.496232807636261},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.46328893303871155},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.44716888666152954},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.445382297039032},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3769451677799225},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.33359163999557495},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3205319046974182},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29120421409606934},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15748122334480286},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.11417505145072937},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0896112322807312}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8275619745254517},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6311807632446289},{"id":"https://openalex.org/C123403432","wikidata":"https://www.wikidata.org/wiki/Q654068","display_name":"Visibility","level":2,"score":0.6063454747200012},{"id":"https://openalex.org/C4069607","wikidata":"https://www.wikidata.org/wiki/Q868732","display_name":"Aliasing","level":3,"score":0.5919367671012878},{"id":"https://openalex.org/C2781181686","wikidata":"https://www.wikidata.org/wiki/Q4226068","display_name":"Coherence (philosophical gambling strategy)","level":2,"score":0.5630025863647461},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.496232807636261},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46328893303871155},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.44716888666152954},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.445382297039032},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3769451677799225},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33359163999557495},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3205319046974182},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29120421409606934},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15748122334480286},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.11417505145072937},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0896112322807312},{"id":"https://openalex.org/C136536468","wikidata":"https://www.wikidata.org/wiki/Q1225894","display_name":"Undersampling","level":2,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3572848.3577515","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3572848.3577515","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3572848.3577515","source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3572848.3577515","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3572848.3577515","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3572848.3577515","source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1319584452","display_name":null,"funder_award_id":"Exascale Computing Project (17-SC-20-SC)","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G1796307089","display_name":null,"funder_award_id":"17- SC-20-SC","funder_id":"https://openalex.org/F4320332369","funder_display_name":"National Nuclear Security Administration"},{"id":"https://openalex.org/G3232922872","display_name":null,"funder_award_id":"17-SC-20-SC","funder_id":"https://openalex.org/F4320332369","funder_display_name":"National Nuclear Security Administration"},{"id":"https://openalex.org/G5001603810","display_name":null,"funder_award_id":"17-SC-20-S","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G6859237865","display_name":null,"funder_award_id":"17-SC-20-SC","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G8052219770","display_name":null,"funder_award_id":"17-SC-20-SC","funder_id":"https://openalex.org/F4320337506","funder_display_name":"Advanced Scientific Computing Research"},{"id":"https://openalex.org/G8253304997","display_name":null,"funder_award_id":"17-SC-20-SC","funder_id":"https://openalex.org/F4320332359","funder_display_name":"Office of Science"},{"id":"https://openalex.org/G8681167732","display_name":null,"funder_award_id":"Exascale Computing Project (17-SC-20-SC)","funder_id":"https://openalex.org/F4320332359","funder_display_name":"Office of Science"}],"funders":[{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320331518","display_name":"Centro Svizzero di Calcolo Scientifico","ror":null},{"id":"https://openalex.org/F4320331617","display_name":"National Supercomputing Centre Singapore","ror":null},{"id":"https://openalex.org/F4320332359","display_name":"Office of Science","ror":"https://ror.org/00mmn6b08"},{"id":"https://openalex.org/F4320332369","display_name":"National Nuclear Security Administration","ror":"https://ror.org/03sk1we31"},{"id":"https://openalex.org/F4320337506","display_name":"Advanced Scientific Computing Research","ror":"https://ror.org/0012c7r22"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4321446115.pdf","grobid_xml":"https://content.openalex.org/works/W4321446115.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1982661771","https://openalex.org/W1983977904","https://openalex.org/W1984689820","https://openalex.org/W1986338560","https://openalex.org/W1989988531","https://openalex.org/W2050422177","https://openalex.org/W2051314392","https://openalex.org/W2087440962","https://openalex.org/W2165558283","https://openalex.org/W2189465200","https://openalex.org/W2766943539","https://openalex.org/W2767476262","https://openalex.org/W2984884442","https://openalex.org/W3129271022","https://openalex.org/W4231715478","https://openalex.org/W4244157805","https://openalex.org/W6687322159"],"related_works":["https://openalex.org/W2392812199","https://openalex.org/W4200176076","https://openalex.org/W598185802","https://openalex.org/W2355516524","https://openalex.org/W2361471170","https://openalex.org/W2025616642","https://openalex.org/W1954972543","https://openalex.org/W2954738200","https://openalex.org/W4226107239","https://openalex.org/W4280562100"],"abstract_inverted_index":{"Implicitly":[0],"parallel":[1],"programming":[2,52],"systems":[3,44],"must":[4],"solve":[5],"the":[6,29,48,55,74],"joint":[7],"problems":[8,27,69],"of":[9,31,50,57,65],"dependence":[10],"analysis":[11],"and":[12,35],"coherence":[13],"to":[14,67,73],"ensure":[15],"apparently-sequential":[16],"semantics":[17],"for":[18],"applications":[19],"run":[20],"on":[21],"distributed":[22],"memory":[23],"machines.":[24],"Solving":[25],"these":[26,68],"in":[28],"presence":[30],"data-dependent":[32],"control":[33],"flow":[34],"arbitrary":[36],"aliasing":[37],"is":[38],"a":[39,62,71],"challenge":[40],"that":[41],"most":[42],"existing":[43],"eschew":[45],"by":[46],"compromising":[47],"expressivity":[49],"their":[51,58],"models":[53],"and/or":[54],"performance":[56],"implementations.":[59],"We":[60],"demonstrate":[61],"general":[63],"class":[64],"solutions":[66],"via":[70],"reduction":[72],"visibility":[75],"problem":[76],"from":[77],"computer":[78],"graphics.":[79]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-16T09:10:04.655348","created_date":"2025-10-10T00:00:00"}