{"id":"https://openalex.org/W3175716530","doi":"https://doi.org/10.1145/3473596","title":"Efficient tree-traversals: reconciling parallelism and dense data representations","display_name":"Efficient tree-traversals: reconciling parallelism and dense data representations","publication_year":2021,"publication_date":"2021-08-19","ids":{"openalex":"https://openalex.org/W3175716530","doi":"https://doi.org/10.1145/3473596","mag":"3175716530"},"language":"en","primary_location":{"id":"doi:10.1145/3473596","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3473596","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3473596","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3473596","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062189530","display_name":"Chaitanya Koparkar","orcid":"https://orcid.org/0000-0002-4515-8499"},"institutions":[{"id":"https://openalex.org/I592451","display_name":"Indiana University","ror":"https://ror.org/01kg8sb98","country_code":"US","type":"education","lineage":["https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chaitanya Koparkar","raw_affiliation_strings":["Indiana University, USA","Indiana University; USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indiana University, USA","institution_ids":["https://openalex.org/I592451"]},{"raw_affiliation_string":"Indiana University; USA","institution_ids":["https://openalex.org/I592451"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009476343","display_name":"Mike Rainey","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mike Rainey","raw_affiliation_strings":["Carnegie Mellon University, USA","Carnegie -Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Carnegie -Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061674934","display_name":"Michael Vollmer","orcid":"https://orcid.org/0000-0002-0496-8268"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Vollmer","raw_affiliation_strings":["University of Kent, UK","University of Kent , UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Kent, UK","institution_ids":["https://openalex.org/I20581793"]},{"raw_affiliation_string":"University of Kent , UK","institution_ids":["https://openalex.org/I20581793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075916086","display_name":"Milind Kulkarni","orcid":"https://orcid.org/0000-0001-6827-345X"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Milind Kulkarni","raw_affiliation_strings":["Purdue University, USA","Purdue Univ (USA)"],"raw_orcid":"https://orcid.org/0000-0001-6827-345X","affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]},{"raw_affiliation_string":"Purdue Univ (USA)","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078145335","display_name":"Ryan Newton","orcid":"https://orcid.org/0000-0003-3934-9165"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ryan R. Newton","raw_affiliation_strings":["Purdue University, USA","Purdue Univ (USA)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]},{"raw_affiliation_string":"Purdue Univ (USA)","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09016129,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":"ICFP","first_page":"1","last_page":"29"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9936000108718872,"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.8266861438751221},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7687702775001526},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6326864957809448},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.6175538301467896},{"id":"https://openalex.org/keywords/serialization","display_name":"Serialization","score":0.6012774109840393},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5466599464416504},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4476892650127411},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.43556010723114014},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4311661720275879},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41703730821609497},{"id":"https://openalex.org/keywords/data-parallelism","display_name":"Data parallelism","score":0.4129060208797455},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15119552612304688}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8266861438751221},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7687702775001526},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6326864957809448},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.6175538301467896},{"id":"https://openalex.org/C52723943","wikidata":"https://www.wikidata.org/wiki/Q1127410","display_name":"Serialization","level":2,"score":0.6012774109840393},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5466599464416504},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4476892650127411},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.43556010723114014},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4311661720275879},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41703730821609497},{"id":"https://openalex.org/C61483411","wikidata":"https://www.wikidata.org/wiki/Q3124522","display_name":"Data parallelism","level":3,"score":0.4129060208797455},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15119552612304688},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3473596","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3473596","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3473596","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2107.00522","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2107.00522","pdf_url":"https://arxiv.org/pdf/2107.00522","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:kar.kent.ac.uk:95504","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3473596>)","pdf_url":"https://kar.kent.ac.uk/95504/1/parallel_gibbon.pdf","source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"mag:3175716530","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/2107.00522","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2107.00522","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2107.00522","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.1145/3473596","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3473596","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3473596","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1481545318","display_name":"SPX: Collaborative Research: Eat your Wheaties: Multi-Grain Compilers for Parallel Builds at Every Scale","funder_award_id":"1725679","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G18070154","display_name":null,"funder_award_id":"CCF-1725672,CCF-1725679,CCF-1919197","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G363745060","display_name":null,"funder_award_id":"EP/T013516/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4484280681","display_name":null,"funder_award_id":"CCF-1725672","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6928604103","display_name":"Verifying Resource-like Data Use in Programs via Types","funder_award_id":"EP/T013516/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8345018822","display_name":"SPX: Write Once, Run on Anything: Verified, Tuned Accelerator Kernels from High Level Specifications","funder_award_id":"1919197","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8362124273","display_name":null,"funder_award_id":"CCF-1725672, CCF-1725679","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8377180531","display_name":"SPX: Collaborative Research: Eat your Wheaties: Multi-Grain Compilers for Parallel Builds at Every Scale","funder_award_id":"1725672","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G93225853","display_name":null,"funder_award_id":"CCF-1919197","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/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3175716530.pdf","grobid_xml":"https://content.openalex.org/works/W3175716530.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W1518650316","https://openalex.org/W1583210003","https://openalex.org/W1829244603","https://openalex.org/W1972872690","https://openalex.org/W1975579741","https://openalex.org/W1983587324","https://openalex.org/W1984698918","https://openalex.org/W1985239701","https://openalex.org/W1986804682","https://openalex.org/W1988888548","https://openalex.org/W2024668293","https://openalex.org/W2025442455","https://openalex.org/W2033540531","https://openalex.org/W2045983162","https://openalex.org/W2064446724","https://openalex.org/W2078238087","https://openalex.org/W2087875803","https://openalex.org/W2098297530","https://openalex.org/W2104861744","https://openalex.org/W2104958979","https://openalex.org/W2111534760","https://openalex.org/W2117848302","https://openalex.org/W2120497510","https://openalex.org/W2145893337","https://openalex.org/W2151958460","https://openalex.org/W2155762556","https://openalex.org/W2508222108","https://openalex.org/W2511610649","https://openalex.org/W2625760763","https://openalex.org/W2728247669","https://openalex.org/W2766220735","https://openalex.org/W2783280912","https://openalex.org/W2799001871","https://openalex.org/W2911902296","https://openalex.org/W2913324528","https://openalex.org/W2954068387","https://openalex.org/W2970971581","https://openalex.org/W2995576800","https://openalex.org/W3019259517","https://openalex.org/W3098874119","https://openalex.org/W3121479906","https://openalex.org/W3122002490","https://openalex.org/W3173502039","https://openalex.org/W3193826150","https://openalex.org/W4240599878","https://openalex.org/W4250338787","https://openalex.org/W4256011414"],"related_works":["https://openalex.org/W3193826150","https://openalex.org/W1593354502","https://openalex.org/W2011324058","https://openalex.org/W140723400","https://openalex.org/W1535231444","https://openalex.org/W2912612703","https://openalex.org/W2153534748","https://openalex.org/W1505492495","https://openalex.org/W2146015688","https://openalex.org/W2087933650","https://openalex.org/W204882796","https://openalex.org/W2126220043","https://openalex.org/W2995576800","https://openalex.org/W1982372305","https://openalex.org/W2579698105","https://openalex.org/W2964940032","https://openalex.org/W2644985445","https://openalex.org/W1966195122","https://openalex.org/W49830493","https://openalex.org/W1965519689"],"abstract_inverted_index":{"Recent":[0],"work":[1],"showed":[2],"that":[3,38,50,63,89,106],"compiling":[4],"functional":[5,104],"programs":[6,105],"to":[7],"use":[8,107],"dense,":[9],"serialized":[10],"memory":[11],"representations":[12],"for":[13,22,102],"recursive":[14,108],"algebraic":[15,109],"datatypes":[16],"can":[17],"yield":[18],"significant":[19],"constant-factor":[20],"speedups":[21],"sequential":[23],"programs.":[24],"But":[25],"serializing":[26],"data":[27,69],"in":[28,116],"a":[29,41,51,61],"maximally":[30],"dense":[31,68],"format":[32],"consequently":[33],"serializes":[34],"the":[35,65,75,78,96],"processing":[36],"of":[37,67,77,99],"data,":[39],"yielding":[40],"tension":[42],"between":[43],"density":[44],"and":[45,71,87],"parallelism.":[46,72],"This":[47],"paper":[48],"shows":[49],"disciplined,":[52],"practical":[53],"compromise":[54],"is":[55,91],"possible.":[56],"We":[57,73],"present":[58],"Parallel":[59,93],"Gibbon,":[60],"compiler":[62],"obtains":[64],"benefits":[66],"formats":[70],"formalize":[74],"semantics":[76],"parallel":[79,97],"location":[80],"calculus":[81],"underpinning":[82],"this":[83],"novel":[84],"implementation":[85],"strategy,":[86],"show":[88],"it":[90],"type-safe.":[92],"Gibbon":[94],"exceeds":[95],"performance":[98],"existing":[100],"compilers":[101],"purely":[103],"datatypes,":[110],"including,":[111],"notably,":[112],"abstract-syntax-tree":[113],"traversals":[114],"as":[115],"compilers.":[117]},"counts_by_year":[],"updated_date":"2026-07-03T08:13:44.112507","created_date":"2025-10-10T00:00:00"}