{"id":"https://openalex.org/W3118873362","doi":"https://doi.org/10.1145/3434301","title":"Simplifying dependent reductions in the polyhedral model","display_name":"Simplifying dependent reductions in the polyhedral model","publication_year":2021,"publication_date":"2021-01-04","ids":{"openalex":"https://openalex.org/W3118873362","doi":"https://doi.org/10.1145/3434301","mag":"3118873362"},"language":"en","primary_location":{"id":"doi:10.1145/3434301","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3434301","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3434301","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":null,"license_id":null,"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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3434301","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056418734","display_name":"Cambridge Yang","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":true,"raw_author_name":"Cambridge Yang","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040756298","display_name":"Eric Atkinson","orcid":"https://orcid.org/0000-0002-8396-1258"},"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":"Eric Atkinson","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091194125","display_name":"Michael Carbin","orcid":"https://orcid.org/0000-0002-6928-0456"},"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":"Michael Carbin","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5056418734"],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":1.179,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.75475169,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"5","issue":"POPL","first_page":"1","last_page":"33"},"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.9975000023841858,"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.9975000023841858,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9860000014305115,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.983299970626831,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.7495341897010803},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.6323776841163635},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5494205951690674},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5232012271881104},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5135347843170166},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.4803165793418884},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.44620296359062195},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.43644753098487854},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.43279507756233215},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4232706129550934},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4209868311882019},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.42082691192626953},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4178360104560852},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.38042914867401123},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15900880098342896},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15574464201927185},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11973559856414795}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7495341897010803},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.6323776841163635},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5494205951690674},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5232012271881104},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5135347843170166},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.4803165793418884},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.44620296359062195},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.43644753098487854},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43279507756233215},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4232706129550934},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4209868311882019},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.42082691192626953},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4178360104560852},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.38042914867401123},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15900880098342896},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15574464201927185},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11973559856414795},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3434301","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3434301","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3434301","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":null,"license_id":null,"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:2007.11203","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2007.11203","pdf_url":"https://arxiv.org/pdf/2007.11203","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:dspace.mit.edu:1721.1/134205","is_oa":true,"landing_page_url":"https://hdl.handle.net/1721.1/134205","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-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM","raw_type":"http://purl.org/eprint/type/ConferencePaper"}],"best_oa_location":{"id":"doi:10.1145/3434301","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3434301","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3434301","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":null,"license_id":null,"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/G1735229261","display_name":null,"funder_award_id":"ONR-N00014-17-1-269","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G4353487559","display_name":null,"funder_award_id":"ONR-N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G4504108201","display_name":null,"funder_award_id":"N00014-17-1","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G4751570384","display_name":null,"funder_award_id":"4-17-1-","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8105294677","display_name":null,"funder_award_id":"N00014-17-1-2699","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8653844541","display_name":null,"funder_award_id":"ONR-N00014-17-1-2699","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3118873362.pdf","grobid_xml":"https://content.openalex.org/works/W3118873362.grobid-xml"},"referenced_works_count":84,"referenced_works":["https://openalex.org/W152682494","https://openalex.org/W1503398984","https://openalex.org/W1506806321","https://openalex.org/W1523037784","https://openalex.org/W1555946726","https://openalex.org/W1558370006","https://openalex.org/W1570622790","https://openalex.org/W1580788756","https://openalex.org/W1598202309","https://openalex.org/W1630331242","https://openalex.org/W1880262756","https://openalex.org/W1890754682","https://openalex.org/W1963547452","https://openalex.org/W1968143987","https://openalex.org/W1970141743","https://openalex.org/W1972886883","https://openalex.org/W1999393241","https://openalex.org/W2000203699","https://openalex.org/W2001082470","https://openalex.org/W2007995670","https://openalex.org/W2020999234","https://openalex.org/W2031775479","https://openalex.org/W2033765726","https://openalex.org/W2034761517","https://openalex.org/W2053801811","https://openalex.org/W2056760934","https://openalex.org/W2056859537","https://openalex.org/W2102360969","https://openalex.org/W2104266030","https://openalex.org/W2114479655","https://openalex.org/W2116330964","https://openalex.org/W2121813116","https://openalex.org/W2127256702","https://openalex.org/W2138309709","https://openalex.org/W2139143992","https://openalex.org/W2147543317","https://openalex.org/W2148255965","https://openalex.org/W2149573313","https://openalex.org/W2151646056","https://openalex.org/W2155632873","https://openalex.org/W2156167960","https://openalex.org/W2157099283","https://openalex.org/W2158637909","https://openalex.org/W2180905035","https://openalex.org/W2217569097","https://openalex.org/W2294743625","https://openalex.org/W2296463846","https://openalex.org/W2296703101","https://openalex.org/W2395654200","https://openalex.org/W2515359515","https://openalex.org/W2515471963","https://openalex.org/W2522802439","https://openalex.org/W2528996685","https://openalex.org/W2574963492","https://openalex.org/W2593883698","https://openalex.org/W2595833503","https://openalex.org/W2802998344","https://openalex.org/W2897613819","https://openalex.org/W2902895875","https://openalex.org/W2917309827","https://openalex.org/W2954908332","https://openalex.org/W2963172700","https://openalex.org/W2964321317","https://openalex.org/W2966091573","https://openalex.org/W2983923412","https://openalex.org/W2986748194","https://openalex.org/W3006162436","https://openalex.org/W3147894994","https://openalex.org/W4213255380","https://openalex.org/W4231510805","https://openalex.org/W4233225688","https://openalex.org/W4235951092","https://openalex.org/W4240091400","https://openalex.org/W4241385190","https://openalex.org/W4245429186","https://openalex.org/W4247880210","https://openalex.org/W4248459918","https://openalex.org/W4250405455","https://openalex.org/W4285719527","https://openalex.org/W4297810223","https://openalex.org/W4299846067","https://openalex.org/W4301341292","https://openalex.org/W4301808069","https://openalex.org/W4388320658"],"related_works":["https://openalex.org/W2002505081","https://openalex.org/W2083681681","https://openalex.org/W2577630842","https://openalex.org/W3146558274","https://openalex.org/W1172579163","https://openalex.org/W1488300410","https://openalex.org/W2138790427","https://openalex.org/W4246454774","https://openalex.org/W2162051035","https://openalex.org/W1597127505"],"abstract_inverted_index":{"A":[0],"Reduction":[1],"\u2013":[2,16,96,106],"an":[3,11,67,143,155],"accumulation":[4],"over":[5,259],"a":[6,18,149,183],"set":[7,184],"of":[8,53,102,125,139,159,185,207,217,220,229,245],"values,":[9],"using":[10],"associative":[12],"and":[13,32,78,135],"commutative":[14],"operator":[15],"is":[17],"common":[19],"computation":[20,59,73,85],"in":[21,49,63,99,226,251],"many":[22],"numerical":[23],"computations,":[24,27],"including":[25],"scientific":[26],"machine":[28],"learning,":[29],"computer":[30],"vision,":[31],"financial":[33],"analytics.":[34],"Contemporary":[35],"polyhedral-based":[36],"compilation":[37],"techniques":[38],"make":[39],"it":[40],"possible":[41],"to":[42,162,165,232,258],"optimize":[43],"reductions,":[44],"such":[45,112],"as":[46,142],"prefix":[47],"sums,":[48],"which":[50,224],"each":[51],"component":[52,62],"the":[54,64,72,83,100,103,122,126,137,160,171,177,189,208,218,221,227,243,246],"reduction\u2019s":[55],"output":[56],"potentially":[57],"shares":[58],"with":[60],"another":[61],"reduction.":[65],"Therefore":[66],"optimizing":[68],"compiler":[69],"can":[70,116],"identify":[71,134],"shared":[74,84],"between":[75],"multiple":[76,108],"components":[77],"generate":[79,117],"code":[80,119],"that":[81,95,120,153,176,254],"computes":[82],"only":[86],"once.":[87],"These":[88],"techniques,":[89],"however,":[90],"do":[91],"not":[92],"support":[93],"reductions":[94,141,167],"when":[97],"phrased":[98],"language":[101],"polyhedral":[104],"model":[105],"span":[107],"dependent":[109,140],"statements.":[110],"In":[111,130],"cases,":[113],"existing":[114],"approaches":[115],"incorrect":[118],"violates":[121],"data":[123],"dependences":[124],"original,":[127],"unoptimized":[128],"program.":[129,146],"this":[131],"work,":[132],"we":[133],"formalize":[136],"optimization":[138,151],"integer":[144],"bilinear":[145],"We":[147,174,240],"present":[148],"heuristic":[150],"algorithm":[152,178],"uses":[154],"affine":[156],"sequential":[157],"schedule":[158],"program":[161],"determine":[163],"how":[164],"simplfy":[166],"yet":[168],"still":[169],"preserve":[170],"program\u2019s":[172],"dependences.":[173],"demonstrate":[175],"provides":[179],"optimal":[180],"complexity":[181],"for":[182,205,235],"benchmark":[186],"programs":[187,210],"from":[188,256],"literature":[190],"on":[191,199],"probabilistic":[192],"inference":[193],"algorithms,":[194],"whose":[195],"performance":[196],"critically":[197],"relies":[198],"simplifying":[200],"these":[201],"reductions.":[202],"The":[203],"complexities":[204],"10":[206,230,233,260],"11":[209],"improve":[211],"siginifcantly":[212],"by":[213,248],"factors":[214],"at":[215],"least":[216],"sizes":[219],"input":[222],"data,":[223],"are":[225],"range":[228,255],"4":[231],"6":[234,261],"typical":[236],"real":[237],"application":[238],"inputs.":[239],"also":[241],"confirm":[242],"significance":[244],"improvement":[247],"showing":[249],"speedups":[250],"wall-clock":[252],"time":[253],"1.1x":[257],"x.":[262]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}