{"id":"https://openalex.org/W4409310702","doi":"https://doi.org/10.1145/3720473","title":"Finch: Sparse and Structured Tensor Programming with Control Flow","display_name":"Finch: Sparse and Structured Tensor Programming with Control Flow","publication_year":2025,"publication_date":"2025-04-09","ids":{"openalex":"https://openalex.org/W4409310702","doi":"https://doi.org/10.1145/3720473"},"language":"en","primary_location":{"id":"doi:10.1145/3720473","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720473","pdf_url":null,"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://doi.org/10.1145/3720473","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060063626","display_name":"Willow Ahrens","orcid":"https://orcid.org/0000-0002-4963-0869"},"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":"Willow Ahrens","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA"],"raw_orcid":"https://orcid.org/0000-0002-4963-0869","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069161289","display_name":"Teodoro Fields Collin","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":false,"raw_author_name":"Teodoro Fields Collin","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA"],"raw_orcid":"https://orcid.org/0009-0001-7578-7683","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101072477","display_name":"Radha Patel","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":false,"raw_author_name":"Radha Patel","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA"],"raw_orcid":"https://orcid.org/0009-0004-7715-1322","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044944791","display_name":"Kyle Deeds","orcid":"https://orcid.org/0000-0003-2267-3276"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]},{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kyle Deeds","raw_affiliation_strings":["University of Washington, Seattle, USA"],"raw_orcid":"https://orcid.org/0000-0003-2267-3276","affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, USA","institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027442506","display_name":"Changwan Hong","orcid":"https://orcid.org/0000-0001-9069-8374"},"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":"Changwan Hong","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA"],"raw_orcid":"https://orcid.org/0000-0001-9069-8374","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046791216","display_name":"Saman Amarasinghe","orcid":"https://orcid.org/0000-0002-7231-7643"},"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":"Saman Amarasinghe","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA"],"raw_orcid":"https://orcid.org/0000-0002-7231-7643","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5060063626"],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":5.6048,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.96041308,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"9","issue":"OOPSLA1","first_page":"1042","last_page":"1072"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12303","display_name":"Tensor decomposition and applications","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2605","display_name":"Computational Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12303","display_name":"Tensor decomposition and applications","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2605","display_name":"Computational Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.996399998664856,"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/T13650","display_name":"Computational Physics and Python Applications","score":0.9869999885559082,"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/tensor","display_name":"Tensor (intrinsic definition)","score":0.5089740753173828},{"id":"https://openalex.org/keywords/flow","display_name":"Flow (mathematics)","score":0.4408947229385376},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.41653797030448914},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3525562882423401},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3254922926425934},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.11964276432991028}],"concepts":[{"id":"https://openalex.org/C155281189","wikidata":"https://www.wikidata.org/wiki/Q3518150","display_name":"Tensor (intrinsic definition)","level":2,"score":0.5089740753173828},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.4408947229385376},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41653797030448914},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3525562882423401},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3254922926425934},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.11964276432991028}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3720473","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720473","pdf_url":null,"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:dspace.mit.edu:1721.1/164689","is_oa":true,"landing_page_url":"https://hdl.handle.net/1721.1/164689","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","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Association for Computing Machinery","raw_type":"http://purl.org/eprint/type/JournalArticle"}],"best_oa_location":{"id":"doi:10.1145/3720473","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720473","pdf_url":null,"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":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":91,"referenced_works":["https://openalex.org/W1506342804","https://openalex.org/W1511885491","https://openalex.org/W1516655181","https://openalex.org/W1518969538","https://openalex.org/W1538707437","https://openalex.org/W1972420097","https://openalex.org/W2009654791","https://openalex.org/W2022219663","https://openalex.org/W2034761517","https://openalex.org/W2055312318","https://openalex.org/W2061212083","https://openalex.org/W2061873838","https://openalex.org/W2090438868","https://openalex.org/W2094154930","https://openalex.org/W2102976251","https://openalex.org/W2102987499","https://openalex.org/W2111002549","https://openalex.org/W2112667144","https://openalex.org/W2112796928","https://openalex.org/W2115613939","https://openalex.org/W2127226421","https://openalex.org/W2132087433","https://openalex.org/W2154620002","https://openalex.org/W2169251528","https://openalex.org/W2173213060","https://openalex.org/W2194321275","https://openalex.org/W2252007067","https://openalex.org/W2461193710","https://openalex.org/W2590246587","https://openalex.org/W2604255113","https://openalex.org/W2622428623","https://openalex.org/W2889897289","https://openalex.org/W2898106867","https://openalex.org/W2898123186","https://openalex.org/W2898200251","https://openalex.org/W2944878488","https://openalex.org/W2949967139","https://openalex.org/W2962812689","https://openalex.org/W2963066364","https://openalex.org/W2965423625","https://openalex.org/W2965706220","https://openalex.org/W2977371611","https://openalex.org/W3003257820","https://openalex.org/W3013082216","https://openalex.org/W3032251503","https://openalex.org/W3035965352","https://openalex.org/W3037261029","https://openalex.org/W3038353958","https://openalex.org/W3047091820","https://openalex.org/W3098650335","https://openalex.org/W3099878876","https://openalex.org/W3101826276","https://openalex.org/W3108012228","https://openalex.org/W3121402054","https://openalex.org/W3134529714","https://openalex.org/W3135515481","https://openalex.org/W3155922894","https://openalex.org/W3190695173","https://openalex.org/W3197252934","https://openalex.org/W3205465467","https://openalex.org/W3206343543","https://openalex.org/W3207857196","https://openalex.org/W4205614912","https://openalex.org/W4206026809","https://openalex.org/W4220701587","https://openalex.org/W4220886130","https://openalex.org/W4224319921","https://openalex.org/W4229666556","https://openalex.org/W4241803778","https://openalex.org/W4250331344","https://openalex.org/W4253426709","https://openalex.org/W4255450819","https://openalex.org/W4256588782","https://openalex.org/W4281550828","https://openalex.org/W4281658036","https://openalex.org/W4281707342","https://openalex.org/W4287775541","https://openalex.org/W4290648346","https://openalex.org/W4293329542","https://openalex.org/W4307380766","https://openalex.org/W4307887693","https://openalex.org/W4321500415","https://openalex.org/W4321636673","https://openalex.org/W4327911434","https://openalex.org/W4327911471","https://openalex.org/W4380433265","https://openalex.org/W4387667068","https://openalex.org/W4389491903","https://openalex.org/W4392265899","https://openalex.org/W6949241555","https://openalex.org/W6987932406"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"From":[0],"FORTRAN":[1],"to":[2,63,123,186],"NumPy,":[3],"tensors":[4,12,29,101],"have":[5],"revolutionized":[6],"how":[7],"we":[8,71],"express":[9],"computation.":[10],"However,":[11],"in":[13,189],"these,":[14],"and":[15,49,57,84,106,194,198],"almost":[16],"all":[17],"prominent":[18],"systems,":[19],"can":[20,115,129],"only":[21],"handle":[22],"dense":[23],"rectilinear":[24],"integer":[25],"grids.":[26],"Real":[27],"world":[28],"often":[30],"contain":[31],"underlying":[32],"structure,":[33,171],"such":[34,155,172,191],"as":[35,156,173,192],"sparsity,":[36,157],"runs":[37],"of":[38,97,142,152,170],"repeated":[39,176],"values,":[40,177],"or":[41,162,178],"symmetry.":[42],"Support":[43],"for":[44],"structured":[45,100],"data":[46,86,107,124],"is":[47],"fragmented":[48],"incomplete.":[50],"Existing":[51],"frameworks":[52],"limit":[53],"the":[54,66,95,167],"tensor":[55,153],"structures":[56,108],"program":[58],"control":[59,82,104,121],"flow":[60,83,105,122],"they":[61,114],"support":[62],"better":[64],"simplify":[65],"problem.":[67],"In":[68],"this":[69,184],"work,":[70],"propose":[72],"a":[73,90,110,138,149],"new":[74],"programming":[75,91,140],"language,":[76],"Finch,":[77],"which":[78,93],"supports":[79,137],"both":[80],"flexible":[81],"diverse":[85],"structures.":[87],"Finch":[88,118,136,164],"facilitates":[89],"model":[92],"resolves":[94],"challenges":[96],"computing":[98],"over":[99,148],"by":[102],"combining":[103],"into":[109],"common":[111],"representation":[112],"where":[113],"be":[116],"co-optimized.":[117],"automatically":[119],"specializes":[120],"so":[125],"that":[126,183],"performance":[127],"engineers":[128],"focus":[130],"on":[131],"experimenting":[132],"with":[133],"many":[134],"algorithms.":[135],"familiar":[139],"language":[141],"loops,":[143],"statements,":[144],"ifs,":[145],"breaks,":[146],"etc.,":[147],"wide":[150],"variety":[151],"structures,":[154],"run-length-encoding,":[158],"symmetry,":[159],"triangles,":[160],"padding,":[161],"blocks.":[163],"reliably":[165],"utilizes":[166],"key":[168],"properties":[169],"structural":[174],"zeros,":[175],"clustered":[179],"non-zeros.":[180],"We":[181],"show":[182],"leads":[185],"dramatic":[187],"speedups":[188],"operations":[190],"SpMV":[193],"SpGEMM,":[195],"image":[196],"processing,":[197],"graph":[199],"analytics.":[200]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}