{"id":"https://openalex.org/W4401657015","doi":"https://doi.org/10.1145/3689342","title":"CoNST: Code Generator for Sparse Tensor Networks","display_name":"CoNST: Code Generator for Sparse Tensor Networks","publication_year":2024,"publication_date":"2024-08-17","ids":{"openalex":"https://openalex.org/W4401657015","doi":"https://doi.org/10.1145/3689342"},"language":"en","primary_location":{"id":"doi:10.1145/3689342","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689342","pdf_url":null,"source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"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":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3689342","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055962929","display_name":"Saurabh Raje","orcid":"https://orcid.org/0000-0003-3294-1481"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Saurabh Raje","raw_affiliation_strings":["Kahlert School of Computing, University of Utah, Salt Lake City, United States"],"affiliations":[{"raw_affiliation_string":"Kahlert School of Computing, University of Utah, Salt Lake City, United States","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015151039","display_name":"Yufan Xu","orcid":"https://orcid.org/0000-0002-7787-6460"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yufan Xu","raw_affiliation_strings":["Kahlert School of Computing, University of Utah, Salt Lake City, United States"],"affiliations":[{"raw_affiliation_string":"Kahlert School of Computing, University of Utah, Salt Lake City, United States","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039624297","display_name":"Atanas Rountev","orcid":"https://orcid.org/0000-0003-4556-4937"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Atanas Rountev","raw_affiliation_strings":["Computer Science and Engineering, Ohio State University, Columbus, United States"],"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, Ohio State University, Columbus, United States","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055658408","display_name":"Edward F. Valeev","orcid":"https://orcid.org/0000-0001-9923-6256"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edward F. Valeev","raw_affiliation_strings":["Chemistry, Virginia Tech, Blacksburg, United States"],"affiliations":[{"raw_affiliation_string":"Chemistry, Virginia Tech, Blacksburg, United States","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027517817","display_name":"P. Sadayappan","orcid":"https://orcid.org/0000-0002-4737-2034"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P. Sadayappan","raw_affiliation_strings":["Kahlert School of Computing, University of Utah, Salt Lake City, United States"],"affiliations":[{"raw_affiliation_string":"Kahlert School of Computing, University of Utah, Salt Lake City, United States","institution_ids":["https://openalex.org/I223532165"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5055962929"],"corresponding_institution_ids":["https://openalex.org/I223532165"],"apc_list":null,"apc_paid":null,"fwci":0.9935,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.72473868,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"21","issue":"4","first_page":"1","last_page":"24"},"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.975600004196167,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9174000024795532,"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/computer-science","display_name":"Computer science","score":0.7587740421295166},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.6683185696601868},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6297121047973633},{"id":"https://openalex.org/keywords/tensor","display_name":"Tensor (intrinsic definition)","score":0.5282451510429382},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.4689198136329651},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.44177013635635376},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.4126214385032654},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3453657031059265},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34185880422592163},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30134421586990356},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1400972306728363},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12671613693237305},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.12428709864616394},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.11572921276092529},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10312506556510925}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7587740421295166},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.6683185696601868},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6297121047973633},{"id":"https://openalex.org/C155281189","wikidata":"https://www.wikidata.org/wiki/Q3518150","display_name":"Tensor (intrinsic definition)","level":2,"score":0.5282451510429382},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4689198136329651},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.44177013635635376},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.4126214385032654},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3453657031059265},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34185880422592163},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30134421586990356},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1400972306728363},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12671613693237305},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.12428709864616394},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.11572921276092529},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10312506556510925},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3689342","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689342","pdf_url":null,"source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"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":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},{"id":"pmh:oai:vtechworks.lib.vt.edu:10919/121074","is_oa":true,"landing_page_url":"https://hdl.handle.net/10919/121074","pdf_url":"https://vtechworks.lib.vt.edu/bitstreams/9d5fe12a-c072-4ce6-a1bc-1cca21bcead5/download","source":{"id":"https://openalex.org/S4306400248","display_name":"VTechWorks (Virginia Tech)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I859038795","host_organization_name":"Virginia Tech","host_organization_lineage":["https://openalex.org/I859038795"],"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":"doi:10.5281/zenodo.10807368","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10807368","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"article"}],"best_oa_location":{"id":"doi:10.1145/3689342","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689342","pdf_url":null,"source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"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":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3365037498","display_name":null,"funder_award_id":"2009007, 2216903, 2217081, 2217154","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3753670146","display_name":"Collaborative Research: PPoSS: Large: A comprehensive framework for efficient, scalable, and performance-portable tensor applications","funder_award_id":"2217081","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6139544349","display_name":null,"funder_award_id":"2217154","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6755165505","display_name":null,"funder_award_id":"award","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7069312963","display_name":"OAC: Small: Data Locality Optimization for Sparse Matrix/Tensor Computations","funder_award_id":"2009007","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8181984440","display_name":null,"funder_award_id":"2216903","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1511885491","https://openalex.org/W1550521231","https://openalex.org/W1554563779","https://openalex.org/W1753157579","https://openalex.org/W1971063822","https://openalex.org/W1975277392","https://openalex.org/W1999440372","https://openalex.org/W2015006783","https://openalex.org/W2024165284","https://openalex.org/W2064798852","https://openalex.org/W2098614082","https://openalex.org/W2109626307","https://openalex.org/W2125054186","https://openalex.org/W2127226421","https://openalex.org/W2234552091","https://openalex.org/W2245094585","https://openalex.org/W2268122618","https://openalex.org/W2293244628","https://openalex.org/W2471966094","https://openalex.org/W2588061952","https://openalex.org/W2590246587","https://openalex.org/W2810421208","https://openalex.org/W2898106867","https://openalex.org/W2898123186","https://openalex.org/W2963137752","https://openalex.org/W2985039650","https://openalex.org/W3034310241","https://openalex.org/W3045698985","https://openalex.org/W3101321165","https://openalex.org/W3110816688","https://openalex.org/W3121402054","https://openalex.org/W3126614467","https://openalex.org/W3131379896","https://openalex.org/W3170905359","https://openalex.org/W4248445937","https://openalex.org/W4255450819","https://openalex.org/W4281550828","https://openalex.org/W4290648346","https://openalex.org/W4304165867","https://openalex.org/W4307380766","https://openalex.org/W4318328284","https://openalex.org/W4321500415","https://openalex.org/W4327911434","https://openalex.org/W4379512454","https://openalex.org/W4384263491","https://openalex.org/W4388662112","https://openalex.org/W4395687330","https://openalex.org/W4399852843"],"related_works":["https://openalex.org/W1480878783","https://openalex.org/W3093985743","https://openalex.org/W2795954274","https://openalex.org/W2094248866","https://openalex.org/W2035962245","https://openalex.org/W4293320219","https://openalex.org/W3122369893","https://openalex.org/W2387634031","https://openalex.org/W2048831961","https://openalex.org/W1606349578"],"abstract_inverted_index":{"Sparse":[0],"tensor":[1,60,145,183],"networks":[2,18,31],"represent":[3],"contractions":[4,10],"over":[5,179],"multiple":[6],"sparse":[7,59,182],"tensors.":[8],"Tensor":[9,17],"are":[11,32],"higher-order":[12],"analogs":[13],"of":[14,24,38,51,74,160],"matrix":[15],"multiplication.":[16],"arise":[19],"commonly":[20],"in":[21,48,92],"many":[22],"domains":[23],"scientific":[25],"computing":[26],"and":[27,70,79,110,132,144],"data":[28],"science.":[29],"Such":[30],"typically":[33],"computed":[34],"using":[35,96],"a":[36,55,85,97,103],"tree":[37],"binary":[39],"contractions.":[40],"Several":[41],"critical":[42],"inter-dependent":[43],"aspects":[44],"must":[45],"be":[46],"considered":[47],"the":[49,71,128,133,139,149,158,161],"generation":[50],"efficient":[52],"code":[53],"for":[54,148],"contraction":[56,80,151],"tree,":[57],"including":[58],"layout":[61],"mode":[62,77,146],"order,":[63,76,78],"loop":[64,75,142],"fusion":[65],"to":[66,115,137,157,168],"reduce":[67],"intermediate":[68,118],"tensors,":[69],"mutual":[72],"dependence":[73],"order.":[81],"We":[82],"propose":[83],"CoNST,":[84],"novel":[86],"approach":[87,101],"that":[88,106],"considers":[89],"these":[90,108],"factors":[91],"an":[93],"integrated":[94],"manner":[95],"single":[98],"formulation.":[99],"Our":[100,172],"creates":[102],"constraint":[104,123],"system":[105,124],"encodes":[107],"decisions":[109],"their":[111],"interdependence,":[112],"while":[113],"aiming":[114],"produce":[116],"reduced-order":[117],"tensors":[119],"via":[120],"fusion.":[121],"The":[122],"is":[125,135,155,165],"solved":[126],"by":[127],"Z3":[129],"SMT":[130],"solver":[131],"result":[134],"used":[136,167],"create":[138],"desired":[140],"fused":[141],"structure":[143,154],"layouts":[147],"entire":[150],"tree.":[152],"This":[153],"lowered":[156],"IR":[159],"TACO":[162],"compiler,":[163],"which":[164],"then":[166],"generate":[169],"executable":[170],"code.":[171],"experimental":[173],"evaluation":[174],"demonstrates":[175],"significant":[176],"performance":[177],"improvements":[178],"current":[180],"state-of-the-art":[181],"compiler/library":[184],"alternatives.":[185]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}