{"id":"https://openalex.org/W3207707001","doi":"https://doi.org/10.1145/3485507","title":"Coarsening optimization for differentiable programming","display_name":"Coarsening optimization for differentiable programming","publication_year":2021,"publication_date":"2021-10-15","ids":{"openalex":"https://openalex.org/W3207707001","doi":"https://doi.org/10.1145/3485507","mag":"3207707001"},"language":"en","primary_location":{"id":"doi:10.1145/3485507","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485507","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485507","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":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3485507","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100624451","display_name":"Xipeng Shen","orcid":"https://orcid.org/0000-0003-3599-8010"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]},{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Xipeng Shen","raw_affiliation_strings":["North Carolina State University, USA / Facebook, USA"],"raw_orcid":"https://orcid.org/0000-0003-3599-8010","affiliations":[{"raw_affiliation_string":"North Carolina State University, USA / Facebook, USA","institution_ids":["https://openalex.org/I4210114444","https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100392510","display_name":"Guoqiang Zhang","orcid":"https://orcid.org/0000-0003-4521-542X"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]},{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guoqiang Zhang","raw_affiliation_strings":["North Carolina State University, USA / Facebook, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"North Carolina State University, USA / Facebook, USA","institution_ids":["https://openalex.org/I4210114444","https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015471400","display_name":"Irene Dea","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Irene Dea","raw_affiliation_strings":["Facebook, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook, USA","institution_ids":["https://openalex.org/I4210114444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057612463","display_name":"Samantha Andow","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samantha Andow","raw_affiliation_strings":["Facebook, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook, USA","institution_ids":["https://openalex.org/I4210114444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043994380","display_name":"Emilio Arroyo-Fang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Emilio Arroyo-Fang","raw_affiliation_strings":["Facebook, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook, USA","institution_ids":["https://openalex.org/I4210114444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047019253","display_name":"Neal Gafter","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Neal Gafter","raw_affiliation_strings":["Facebook, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook, USA","institution_ids":["https://openalex.org/I4210114444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030296859","display_name":"Johann George","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Johann George","raw_affiliation_strings":["Facebook, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook, USA","institution_ids":["https://openalex.org/I4210114444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077256004","display_name":"Melissa Grueter","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Melissa Grueter","raw_affiliation_strings":["Facebook, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook, USA","institution_ids":["https://openalex.org/I4210114444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074555535","display_name":"Erik Meijer","orcid":"https://orcid.org/0000-0001-7959-4670"},"institutions":[{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Erik Meijer","raw_affiliation_strings":["Facebook, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook, USA","institution_ids":["https://openalex.org/I4210114444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022683458","display_name":"Olin Shivers","orcid":"https://orcid.org/0000-0001-8171-386X"},"institutions":[{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Olin Grigsby Shivers","raw_affiliation_strings":["Facebook, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook, USA","institution_ids":["https://openalex.org/I4210114444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036992721","display_name":"Steffi Stumpos","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steffi Stumpos","raw_affiliation_strings":["Facebook, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook, USA","institution_ids":["https://openalex.org/I4210114444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042681590","display_name":"Alanna Tempest","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alanna Tempest","raw_affiliation_strings":["Facebook, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook, USA","institution_ids":["https://openalex.org/I4210114444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024290087","display_name":"Christy Warden","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christy Warden","raw_affiliation_strings":["Facebook, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook, USA","institution_ids":["https://openalex.org/I4210114444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037725211","display_name":"Shannon Yang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shannon Yang","raw_affiliation_strings":["Facebook, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook, USA","institution_ids":["https://openalex.org/I4210114444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":14,"corresponding_author_ids":["https://openalex.org/A5100624451"],"corresponding_institution_ids":["https://openalex.org/I137902535","https://openalex.org/I4210114444"],"apc_list":null,"apc_paid":null,"fwci":0.2358,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.51694006,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"5","issue":"OOPSLA","first_page":"1","last_page":"27"},"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.9976999759674072,"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.9976999759674072,"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.9916999936103821,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.991599977016449,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/automatic-differentiation","display_name":"Automatic differentiation","score":0.8110799789428711},{"id":"https://openalex.org/keywords/differentiable-function","display_name":"Differentiable function","score":0.7752339243888855},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6762180924415588},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.6696752309799194},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6653096675872803},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.6469611525535583},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4519285559654236},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.44800102710723877},{"id":"https://openalex.org/keywords/optimization-problem","display_name":"Optimization problem","score":0.4272763133049011},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.29057690501213074},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28318631649017334},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24649348855018616}],"concepts":[{"id":"https://openalex.org/C133512626","wikidata":"https://www.wikidata.org/wiki/Q787371","display_name":"Automatic differentiation","level":3,"score":0.8110799789428711},{"id":"https://openalex.org/C202615002","wikidata":"https://www.wikidata.org/wiki/Q783507","display_name":"Differentiable function","level":2,"score":0.7752339243888855},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6762180924415588},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.6696752309799194},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6653096675872803},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.6469611525535583},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4519285559654236},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.44800102710723877},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.4272763133049011},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29057690501213074},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28318631649017334},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24649348855018616},{"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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3485507","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485507","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485507","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"}],"best_oa_location":{"id":"doi:10.1145/3485507","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485507","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485507","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":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3207707001.pdf","grobid_xml":"https://content.openalex.org/works/W3207707001.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W621546036","https://openalex.org/W624564079","https://openalex.org/W1491178396","https://openalex.org/W1526743513","https://openalex.org/W1840847274","https://openalex.org/W1964926112","https://openalex.org/W2049316772","https://openalex.org/W2071746250","https://openalex.org/W2078738604","https://openalex.org/W2089294198","https://openalex.org/W2610309919","https://openalex.org/W2761619692","https://openalex.org/W2901943374","https://openalex.org/W2962727772","https://openalex.org/W2966295917","https://openalex.org/W2980367702","https://openalex.org/W3105664040","https://openalex.org/W4241202945","https://openalex.org/W4251704173","https://openalex.org/W6638908295"],"related_works":["https://openalex.org/W2931688134","https://openalex.org/W4230546540","https://openalex.org/W2377919138","https://openalex.org/W1543341614","https://openalex.org/W1718642889","https://openalex.org/W2378857091","https://openalex.org/W4256502920","https://openalex.org/W4287329596","https://openalex.org/W166200282","https://openalex.org/W4318903784"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,14,43,76,116],"novel":[4,77],"optimization":[5,124],"for":[6],"differentiable":[7],"programming":[8],"named":[9],"coarsening":[10,104,123],"optimization.":[11],"It":[12,92],"offers":[13],"systematic":[15],"way":[16],"to":[17,49,67,79,134],"synergize":[18],"symbolic":[19,68,81,98],"differentiation":[20,23,69,84,99],"and":[21,46,54,83,90,100,103],"algorithmic":[22],"(AD).":[24],"Through":[25],"it,":[26],"the":[27,30,61,106],"granularity":[28],"of":[29,85,108,111,118,137],"computations":[31,53,86],"differentiated":[32],"by":[33],"each":[34],"step":[35],"in":[36,57,70,97,127],"AD":[37],"can":[38],"become":[39],"much":[40,50],"larger":[41],"than":[42],"single":[44],"operation,":[45],"hence":[47],"lead":[48],"reduced":[51],"runtime":[52],"data":[55],"allocations":[56],"AD.":[58],"To":[59],"circumvent":[60],"difficulties":[62],"that":[63,87,122],"control":[64],"flow":[65],"creates":[66],"coarsening,":[71],"this":[72],"work":[73],"introduces":[74],"phi-calculus,":[75],"method":[78],"allow":[80],"reasoning":[82],"involve":[88],"branches":[89],"loops.":[91],"further":[93],"avoids":[94],"\"expression":[95],"swell\"":[96],"balance":[101],"reuse":[102],"through":[105],"design":[107],"reuse-centric":[109],"segment":[110],"interest":[112],"identification.":[113],"Experiments":[114],"on":[115],"collection":[117],"real-world":[119],"applications":[120],"show":[121],"is":[125],"effective":[126],"speeding":[128],"up":[129],"AD,":[130],"producing":[131],"several":[132],"times":[133],"two":[135],"orders":[136],"magnitude":[138],"speedups.":[139]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}