{"id":"https://openalex.org/W4390604611","doi":"https://doi.org/10.1145/3632880","title":"Automatic Parallelism Management","display_name":"Automatic Parallelism Management","publication_year":2024,"publication_date":"2024-01-02","ids":{"openalex":"https://openalex.org/W4390604611","doi":"https://doi.org/10.1145/3632880"},"language":"en","primary_location":{"id":"doi:10.1145/3632880","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632880","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632880","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":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3632880","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052738437","display_name":"Sam Westrick","orcid":"https://orcid.org/0000-0003-2848-9808"},"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":"Sam Westrick","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, USA"],"raw_orcid":"https://orcid.org/0000-0003-2848-9808","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029478793","display_name":"Matthew Fluet","orcid":"https://orcid.org/0000-0002-4194-7618"},"institutions":[{"id":"https://openalex.org/I155173764","display_name":"Rochester Institute of Technology","ror":"https://ror.org/00v4yb702","country_code":"US","type":"education","lineage":["https://openalex.org/I155173764"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew Fluet","raw_affiliation_strings":["Rochester Institute of Technology, Rochester, USA"],"raw_orcid":"https://orcid.org/0000-0002-4194-7618","affiliations":[{"raw_affiliation_string":"Rochester Institute of Technology, Rochester, USA","institution_ids":["https://openalex.org/I155173764"]}]},{"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, Pittsburgh, USA"],"raw_orcid":"https://orcid.org/0009-0002-9659-1636","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015051107","display_name":"Umut A. Acar","orcid":"https://orcid.org/0000-0002-2623-4986"},"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":"Umut A. Acar","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, USA"],"raw_orcid":"https://orcid.org/0000-0002-2623-4986","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2878,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.88412611,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"8","issue":"POPL","first_page":"1118","last_page":"1149"},"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9994999766349792,"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":"Advanced Data Storage Technologies","score":0.9975000023841858,"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.8787188529968262},{"id":"https://openalex.org/keywords/task-parallelism","display_name":"Task parallelism","score":0.7940871119499207},{"id":"https://openalex.org/keywords/data-parallelism","display_name":"Data parallelism","score":0.6870354413986206},{"id":"https://openalex.org/keywords/instruction-level-parallelism","display_name":"Instruction-level parallelism","score":0.6838394403457642},{"id":"https://openalex.org/keywords/implicit-parallelism","display_name":"Implicit parallelism","score":0.5719375014305115},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.5658332109451294},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5413581728935242},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.5298725366592407},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.4639188051223755},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.43871358036994934},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.4320109784603119},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36765289306640625}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8787188529968262},{"id":"https://openalex.org/C42992933","wikidata":"https://www.wikidata.org/wiki/Q691169","display_name":"Task parallelism","level":3,"score":0.7940871119499207},{"id":"https://openalex.org/C61483411","wikidata":"https://www.wikidata.org/wiki/Q3124522","display_name":"Data parallelism","level":3,"score":0.6870354413986206},{"id":"https://openalex.org/C140763907","wikidata":"https://www.wikidata.org/wiki/Q2714055","display_name":"Instruction-level parallelism","level":3,"score":0.6838394403457642},{"id":"https://openalex.org/C3543717","wikidata":"https://www.wikidata.org/wiki/Q6007302","display_name":"Implicit parallelism","level":4,"score":0.5719375014305115},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.5658332109451294},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5413581728935242},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.5298725366592407},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4639188051223755},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.43871358036994934},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.4320109784603119},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36765289306640625}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3632880","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632880","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632880","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"}],"best_oa_location":{"id":"doi:10.1145/3632880","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632880","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632880","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/G1562374711","display_name":"SHF: Small: Solving the Parallel Functional Programming Challenge","funder_award_id":"2115104","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5360328037","display_name":"Collaborative Research: PPoSS: LARGE: Unifying Software and Hardware to Achieve Performant and Scalable Frictionless Parallelism in the Heterogeneous Future","funder_award_id":"2119352","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G753685075","display_name":"Collaborative Research: SHF: Medium: Responsive Parallelism for Interactive Applications: Theory and Practice","funder_award_id":"2107241","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7587430710","display_name":"SHF: Medium: Algorithmic lambda-Calculus for the Design, Analysis, and Implementation of Parallel Algorithms","funder_award_id":"1901381","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4390604611.pdf","grobid_xml":"https://content.openalex.org/works/W4390604611.grobid-xml"},"referenced_works_count":82,"referenced_works":["https://openalex.org/W1577551647","https://openalex.org/W1578086264","https://openalex.org/W1582046123","https://openalex.org/W1651122320","https://openalex.org/W1972174903","https://openalex.org/W1972200437","https://openalex.org/W1974146675","https://openalex.org/W1975579741","https://openalex.org/W1986804682","https://openalex.org/W1993621349","https://openalex.org/W1994257154","https://openalex.org/W1995873479","https://openalex.org/W1999241319","https://openalex.org/W2000058275","https://openalex.org/W2002209075","https://openalex.org/W2016323637","https://openalex.org/W2016559894","https://openalex.org/W2043003055","https://openalex.org/W2043416466","https://openalex.org/W2056656593","https://openalex.org/W2062273873","https://openalex.org/W2066952803","https://openalex.org/W2072725684","https://openalex.org/W2095849445","https://openalex.org/W2095951614","https://openalex.org/W2105794846","https://openalex.org/W2109065830","https://openalex.org/W2112123380","https://openalex.org/W2115968584","https://openalex.org/W2116718945","https://openalex.org/W2121783057","https://openalex.org/W2125650214","https://openalex.org/W2127523684","https://openalex.org/W2127989655","https://openalex.org/W2130566259","https://openalex.org/W2135490589","https://openalex.org/W2143028982","https://openalex.org/W2149663533","https://openalex.org/W2152971387","https://openalex.org/W2157542044","https://openalex.org/W2159430067","https://openalex.org/W2163496769","https://openalex.org/W2163672025","https://openalex.org/W2170200862","https://openalex.org/W2171046571","https://openalex.org/W2176686728","https://openalex.org/W2436525433","https://openalex.org/W2470978318","https://openalex.org/W2472681217","https://openalex.org/W2507118912","https://openalex.org/W2508222108","https://openalex.org/W2508784218","https://openalex.org/W2581356531","https://openalex.org/W2606910946","https://openalex.org/W2624869780","https://openalex.org/W2783280912","https://openalex.org/W2799001871","https://openalex.org/W2900105606","https://openalex.org/W2913324528","https://openalex.org/W2965448248","https://openalex.org/W2995576800","https://openalex.org/W3007400938","https://openalex.org/W3033203490","https://openalex.org/W3098874119","https://openalex.org/W3114438252","https://openalex.org/W3119775030","https://openalex.org/W3133271864","https://openalex.org/W3147172531","https://openalex.org/W3173502039","https://openalex.org/W3175048289","https://openalex.org/W4236306709","https://openalex.org/W4237877977","https://openalex.org/W4238347373","https://openalex.org/W4238388226","https://openalex.org/W4244157805","https://openalex.org/W4248655060","https://openalex.org/W4252947628","https://openalex.org/W4293812587","https://openalex.org/W4379536863","https://openalex.org/W4379537137","https://openalex.org/W6649120592","https://openalex.org/W6677247591"],"related_works":["https://openalex.org/W2003935582","https://openalex.org/W2950520577","https://openalex.org/W74409296","https://openalex.org/W2105992728","https://openalex.org/W2494130044","https://openalex.org/W2468095077","https://openalex.org/W305742777","https://openalex.org/W1554644772","https://openalex.org/W1229628","https://openalex.org/W2567390125"],"abstract_inverted_index":{"On":[0],"any":[1],"modern":[2],"computer":[3],"architecture":[4],"today,":[5],"parallelism":[6,37,123,169,187,241,257],"comes":[7],"with":[8,165,202,233],"a":[9,45,137,144,150,207,234],"modest":[10],"cost,":[11],"born":[12],"from":[13],"the":[14,34,81,97,108,158,171,198,216,220,247,254,274,289,294,306],"creation":[15,224],"and":[16,64,67,99,107,131,192,205,218,249,276,281,300],"management":[17,185],"of":[18,36,58,101,111,162,186,222,256,278,308],"threads":[19],"or":[20],"tasks.":[21,245],"Today,":[22],"programmers":[23,48],"battle":[24,82],"this":[25,230],"cost":[26,35,98,130,221,255],"by":[27,104,167,188,225,292],"manually":[28],"optimizing/tuning":[29],"their":[30,68,284],"codes":[31],"to":[32,94,121,127,175],"minimize":[33,128],"without":[38,170,260],"harming":[39],"its":[40,129,133,262],"benefit,":[41],"performance.":[42,177,315],"This":[43,135,178],"is":[44,136],"difficult":[46],"battle:":[47],"must":[49],"reason":[50,95],"about":[51,96],"architectural":[52],"constant":[53],"factors":[54],"hidden":[55],"behind":[56],"layers":[57],"software":[59],"abstractions,":[60],"including":[61],"thread":[62],"schedulers":[63],"memory":[65],"managers,":[66],"impact":[69,272],"on":[70,143,273],"performance,":[71],"also":[72],"at":[73],"scale.":[74],"In":[75],"languages":[76,164],"that":[77,116,210,237,253,266,302],"support":[78],"higher-order":[79],"functions,":[80],"hardens:":[83],"higher":[84],"order":[85],"functions":[86],"can":[87,304],"make":[88],"it":[89,117,155,303],"difficult,":[90],"if":[91,149],"not":[92],"impossible,":[93],"benefits":[100,161],"parallelism.":[102],"Motivated":[103],"these":[105],"challenges":[106],"numerous":[109],"advantages":[110],"high-level":[112,163],"languages,":[113],"we":[114,196],"believe":[115],"has":[118],"become":[119],"essential":[120],"manage":[122],"automatically":[124],"so":[125],"as":[126],"maximize":[132],"benefit.":[134,263],"challenging":[138],"problem,":[139],"even":[140],"when":[141],"considered":[142],"case-by-case,":[145],"application-specific":[146],"basis.":[147],"But":[148],"solution":[151],"were":[152],"possible,":[153],"then":[154,228],"could":[156],"combine":[157],"many":[159],"correctness":[160],"performance":[166],"managing":[168],"programmer":[172],"effort":[173],"needed":[174],"ensure":[176],"paper":[179],"proposes":[180],"techniques":[181,268,291],"for":[182,297],"such":[183],"automatic":[184],"combining":[189],"static":[190],"(compilation)":[191],"run-time":[193,235,250],"techniques.":[194],"Specifically,":[195],"consider":[197],"Parallel":[199,298],"ML":[200,299],"language":[201],"task":[203,223],"parallelism,":[204],"describe":[206],"compiler":[208,248,296],"pipeline":[209,232],"embeds":[211],"\u201cpotential":[212],"parallelism\u201d":[213],"directly":[214],"into":[215,242],"call-stack":[217],"avoids":[219],"default.":[226],"We":[227,264,287],"pair":[229],"compilation":[231],"system":[236,251],"dynamically":[238],"converts":[239],"potential":[240],"actual":[243],"parallel":[244,279],"Together,":[246],"guarantee":[252],"remains":[258],"low":[259],"losing":[261],"prove":[265],"our":[267],"have":[269],"no":[270],"asymptotic":[271,285],"work":[275],"span":[277],"programs":[280],"thus":[282],"preserve":[283],"properties.":[286],"implement":[288],"proposed":[290],"extending":[293],"MPL":[295],"show":[301],"eliminate":[305],"burden":[307],"manual":[309],"optimization":[310],"while":[311],"delivering":[312],"good":[313],"practical":[314]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}