{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,22]],"date-time":"2026-03-22T22:43:33Z","timestamp":1774219413309,"version":"3.50.1"},"reference-count":104,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA1","license":[{"start":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T00:00:00Z","timestamp":1744156800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Intel and NSF PPoSS","award":["CCF-2217064"],"award-info":[{"award-number":["CCF-2217064"]}]},{"name":"DARPA PROWESS Award","award":["HR0011-23-C-0101"],"award-info":[{"award-number":["HR0011-23-C-0101"]}]},{"name":"NSF SHF","award":["CCF-2107244"],"award-info":[{"award-number":["CCF-2107244"]}]},{"name":"DoE PSAAP Center","award":["DE-NA0003965"],"award-info":[{"award-number":["DE-NA0003965"]}]},{"name":"DARPA SBIR","award":["HR001123C0139"],"award-info":[{"award-number":["HR001123C0139"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2025,4,9]]},"abstract":"<jats:p>From FORTRAN to NumPy, tensors have revolutionized how we express computation. However, tensors in these, and almost all prominent systems, can only handle dense rectilinear integer grids. Real world tensors often contain underlying structure, such as sparsity, runs of repeated values, or symmetry. Support for structured data is fragmented and incomplete. Existing frameworks limit the tensor structures and program control flow they support to better simplify the problem.\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \nIn this work, we propose a new programming language, Finch, which supports both flexible control flow and diverse data structures. Finch facilitates a programming model which resolves the challenges of computing over structured tensors by combining control flow and data structures into a common representation where they can be co-optimized. Finch automatically specializes control flow to data so that performance engineers can focus on experimenting with many algorithms. Finch supports a familiar programming language of loops, statements, ifs, breaks, etc., over a wide variety of tensor structures, such as sparsity, run-length-encoding, symmetry, triangles, padding, or blocks. Finch reliably utilizes the key properties of structure, such as structural zeros, repeated values, or clustered non-zeros. We show that this leads to dramatic speedups in operations such as SpMV and SpGEMM, image processing, and graph analytics.<\/jats:p>","DOI":"10.1145\/3720473","type":"journal-article","created":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:48:26Z","timestamp":1744206506000},"page":"1042-1072","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Finch: Sparse and Structured Tensor Programming with Control Flow"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4963-0869","authenticated-orcid":false,"given":"Willow","family":"Ahrens","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-7578-7683","authenticated-orcid":false,"given":"Teodoro Fields","family":"Collin","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-7715-1322","authenticated-orcid":false,"given":"Radha","family":"Patel","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2267-3276","authenticated-orcid":false,"given":"Kyle","family":"Deeds","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9069-8374","authenticated-orcid":false,"given":"Changwan","family":"Hong","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7231-7643","authenticated-orcid":false,"given":"Saman","family":"Amarasinghe","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,4,9]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"2024. Developer Reference for Intel\u00ae oneAPI Math Kernel Library for Fortran. April https:\/\/www.intel.com\/content\/www\/us\/en\/docs\/onemkl\/developer-reference-fortran\/2024-0\/overview.html"},{"key":"e_1_2_1_2_1","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Abadi Mart\u00edn","year":"2016","unstructured":"Mart\u00edn Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. 2016. TensorFlow: A system for large-scale machine learning. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). 265\u2013283. https:\/\/www.usenix.org\/system\/files\/conference\/osdi16\/osdi16-abadi.pdf"},{"key":"e_1_2_1_3_1","unstructured":"Hameer Abbasi. 2023. Plans for new sparse compilation backend \u00b7 pydata\/sparse \u00b7 Discussion #618. https:\/\/github.com\/pydata\/sparse\/discussions\/618"},{"key":"e_1_2_1_4_1","volume-title":"Structure and Interpretation of Computer Programs","author":"Abelson Harold","unstructured":"Harold Abelson and Gerald Jay Sussman. 1996. Structure and Interpretation of Computer Programs. The MIT Press. isbn:978-0-262-51087-5 978-0-262-31091-8 https:\/\/library.oapen.org\/handle\/20.500.12657\/26092 Accepted: 2019-01-17 23:55"},{"key":"e_1_2_1_5_1","unstructured":"Shrirang Abhyankar Getnet Betrie Daniel A Maldonado Lois C Mcinnes Barry Smith and Hong Zhang. [n. d.]. PETSc DMNetwork: A Scalable Network PDE-Based Multiphysics Simulator."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2005.12414"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3579990.3580020"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523442"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.14735207"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","unstructured":"E. Anderson Z. Bai C. Bischof L. S. Blackford J. Demmel J. Dongarra J. Du Croz A. Greenbaum S. Hammarling A. McKenney and D. Sorensen. 1999. LAPACK Users\u2019 Guide. Society for Industrial and Applied Mathematics. isbn:978-0-89871-960-4 https:\/\/doi.org\/10.1137\/1.9780898719604 10.1137\/1.9780898719604","DOI":"10.1137\/1.9780898719604"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","unstructured":"J. W. Backus R. J. Beeber S. Best R. Goldberg L. M. Haibt H. L. Herrick R. A. Nelson D. Sayre P. B. Sheridan H. Stern I. Ziller R. A. Hughes and R. Nutt. 1957. The FORTRAN automatic coding system. In Papers presented at the February 26-28 1957 western joint computer conference: Techniques for reliability (IRE-AIEE-ACM \u201957 (Western)). Association for Computing Machinery New York NY USA. 188\u2013198. isbn:978-1-4503-7861-1 https:\/\/doi.org\/10.1145\/1455567.1455599 10.1145\/1455567.1455599","DOI":"10.1145\/1455567.1455599"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2019.8661197"},{"key":"e_1_2_1_13_1","doi-asserted-by":"crossref","unstructured":"S Balay S Abhyankar Mark F Adams J Brown P Brune K Buschelman L Dalcin A Dener V Eijkhout W Gropp and others. 2020. PETSc Users Manual (Rev. 3.13). Argonne National Lab.(ANL) Argonne IL (United States).","DOI":"10.2172\/1614847"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1498698.1564507"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1186\/s40537-020-00399-2"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2012.50"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345448.1345465"},{"key":"e_1_2_1_18_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2892632","article-title":"Ebb: A DSL for physical simulation on CPUs and GPUs","volume":"35","author":"Bernstein Gilbert Louis","year":"2016","unstructured":"Gilbert Louis Bernstein, Chinmayee Shah, Crystal Lemire, Zachary Devito, Matthew Fisher, Philip Levis, and Pat Hanrahan. 2016. Ebb: A DSL for physical simulation on CPUs and GPUs. ACM Transactions on Graphics (TOG), 35, 2 (2016), 1\u201312.","journal-title":"ACM Transactions on Graphics (TOG)"},{"key":"e_1_2_1_19_1","volume-title":"Julia: A Fast Dynamic Language for Technical Computing. arXiv:1209.5145 [cs], Sept., arxiv:1209.5145 arXiv: 1209.5145","author":"Bezanson Jeff","year":"2012","unstructured":"Jeff Bezanson, Stefan Karpinski, Viral B. Shah, and Alan Edelman. 2012. Julia: A Fast Dynamic Language for Technical Computing. arXiv:1209.5145 [cs], Sept., arxiv:1209.5145 arXiv: 1209.5145"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3544559"},{"key":"e_1_2_1_21_1","first-page":"21","article-title":"Vectorwise: Beyond column stores","volume":"35","author":"Boncz PA","year":"2012","unstructured":"PA Boncz and M Zukowski. 2012. Vectorwise: Beyond column stores. IEEE Data Engineering Bulletin, 35, 1 (2012), 21\u201327.","journal-title":"IEEE Data Engineering Bulletin"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375595"},{"key":"e_1_2_1_23_1","volume-title":"Dobb\u2019s journal of software tools, 3, 2","author":"Bradski Gary","year":"2000","unstructured":"Gary Bradski, Adrian Kaehler, and others. 2000. OpenCV. Dr. Dobb\u2019s journal of software tools, 3, 2 (2000)."},{"key":"e_1_2_1_24_1","volume-title":"Design of the GraphBLAS API for C. In 2017 IEEE international parallel and distributed processing symposium workshops (IPDPSW)","author":"Bulu\u00e7 Aydin","unstructured":"Aydin Bulu\u00e7, Tim Mattson, Scott McMillan, Jos\u00e9 Moreira, and Carl Yang. 2017. Design of the GraphBLAS API for C. In 2017 IEEE international parallel and distributed processing symposium workshops (IPDPSW). IEEE, 643\u2013652."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevResearch.2.023068"},{"key":"e_1_2_1_26_1","unstructured":"Chun Chen Jacqueline Chame and Mary Hall. 2008. A framework for composing high-level loop transformations. Technical Report 08\u2013897 USC Computer Science Technical Report."},{"key":"e_1_2_1_27_1","volume-title":"TVM: An Automated End-to-End Optimizing Compiler for Deep Learning. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Chen Tianqi","year":"2018","unstructured":"Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Yan, Haichen Shen, Meghan Cowan, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, and Arvind Krishnamurthy. 2018. TVM: An Automated End-to-End Optimizing Compiler for Deep Learning. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). 578\u2013594. isbn:978-1-939133-08-3 https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/chen"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563338"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276493"},{"key":"e_1_2_1_30_1","volume-title":"International Conference on Machine Learning. PMLR, 4690\u20134721","author":"Dao Tri","year":"2022","unstructured":"Tri Dao, Beidi Chen, Nimit S Sohoni, Arjun Desai, Michael Poli, Jessica Grogan, Alexander Liu, Aniruddh Rao, Atri Rudra, and Christopher R\u00e9. 2022. Monarch: Expressive structured matrices for efficient and accurate training. In International Conference on Machine Learning. PMLR, 4690\u20134721."},{"key":"e_1_2_1_31_1","volume-title":"A Guide to the SQL Standard","author":"Date Chris J","unstructured":"Chris J Date. 1989. A Guide to the SQL Standard. Addison-Wesley Longman Publishing Co., Inc.."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3524059.3532386"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO53902.2022.9741282"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2017.05.138"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185520.2185540"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","unstructured":"Pratik Fegade. 2022. The CoRa Tensor Compiler: Compilation for Ragged Tensors with Minimal Padding. https:\/\/doi.org\/10.5281\/zenodo.6326456 10.5281\/zenodo.6326456","DOI":"10.5281\/zenodo.6326456"},{"key":"e_1_2_1_38_1","volume-title":"Proceedings of Machine Learning and Systems, D. Marculescu, Y. Chi, and C. Wu (Eds.). 4, 721\u2013747","author":"Fegade Pratik","year":"2022","unstructured":"Pratik Fegade, Tianqi Chen, Phillip Gibbons, and Todd Mowry. 2022. The CoRa Tensor Compiler: Compilation for Ragged Tensors with Minimal Padding. In Proceedings of Machine Learning and Systems, D. Marculescu, Y. Chi, and C. Wu (Eds.). 4, 721\u2013747. https:\/\/proceedings.mlsys.org\/paper_files\/paper\/2022\/file\/afe8a4577080504b8bec07bbe4b2b9cc-Paper.pdf"},{"key":"e_1_2_1_39_1","volume-title":"Hypermedia image processing reference","author":"Fisher Robert","unstructured":"Robert Fisher, Simon Perkins, Ashley Walker, and Erik Wolfart. 1996. Hypermedia image processing reference. England: John Wiley & Sons Ltd, 118\u2013130."},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03034-5_18"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2873289"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3622804"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1966.1053907"},{"key":"e_1_2_1_44_1","volume-title":"Woods","author":"Gonzalez Rafael C.","year":"2006","unstructured":"Rafael C. Gonzalez and Richard E. Woods. 2006. Digital Image Processing (3rd Edition). Prentice-Hall, Inc., USA. isbn:978-0-13-168728-8"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626412500107"},{"key":"e_1_2_1_46_1","unstructured":"Ga\u00ebl Guennebaud Beno\u00eet Jacob and others. 2010. Eigen v3. http:\/\/eigen.tuxfamily.org"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408974"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-020-2649-2"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485505"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3582016.3582051"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3355089.3356506"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3070607.3070608"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523446"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45545-0_22"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2020408.2020580"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2016.7761646"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2019.8661185"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133901"},{"key":"e_1_2_1_59_1","volume-title":"The Art of Computer Programming: Fundamental Algorithms","author":"Knuth Donald E.","unstructured":"Donald E. Knuth. 1997. The Art of Computer Programming: Fundamental Algorithms, Volume 1. Addison-Wesley Professional. isbn:978-0-321-63574-7 Google-Books-ID: x9AsAwAAQBAJ"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0002751"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.aab3050"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2015.2401575"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.726791"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772690.1772755"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498717"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2751205.2751209"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3277006.3277013"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW.2019.00053"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2507157.2507163"},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO57630.2024.10444817"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386331"},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180143"},{"key":"e_1_2_1_73_1","doi-asserted-by":"crossref","unstructured":"Dianne P O\u2019Leary. 2009. Scientific computing with case studies. SIAM.","DOI":"10.1137\/9780898717723"},{"key":"e_1_2_1_74_1","volume-title":"PyTorch: An Imperative Style","author":"Paszke Adam","unstructured":"Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, Alban Desmaison, Andreas Kopf, Edward Yang, Zachary DeVito, Martin Raison, Alykhan Tejani, Sasank Chilamkurthy, Benoit Steiner, Lu Fang, Junjie Bai, and Soumith Chintala. 2019. PyTorch: An Imperative Style, High-Performance Deep Learning Library. In Advances in Neural Information Processing Systems. 32, Curran Associates, Inc.. https:\/\/proceedings.neurips.cc\/paper\/2019\/hash\/bdbca288fee7f92f2bfa9f7012727740-Abstract.html"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3549935"},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462176"},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.21105\/joss.03051"},{"key":"e_1_2_1_78_1","volume-title":"Iterative methods for sparse linear systems","author":"Saad Yousef","unstructured":"Yousef Saad. 2003. Iterative methods for sparse linear systems (2nd ed.). SIAM, Philadelphia. isbn:978-0-89871-534-7","edition":"2"},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3588717"},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428226"},{"key":"e_1_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/3527333"},{"key":"e_1_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3384413"},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2015.27"},{"key":"e_1_2_1_84_1","unstructured":"Edgar Solomonik and Torsten Hoefler. 2015. Sparse Tensor Algebra as a Parallel Programming Model. arXiv:1512.00066 [cs] Nov. arxiv:1512.00066 arXiv: 1512.00066"},{"key":"e_1_2_1_85_1","doi-asserted-by":"publisher","unstructured":"Edgar Solomonik Devin Matthews Jeff Hammond and James Demmel. 2013. Cyclops Tensor Framework: Reducing Communication and Eliminating Load Imbalance in Massively Parallel Contractions. In 2013 IEEE 27th International Symposium on Parallel and Distributed Processing. 813\u2013824. https:\/\/doi.org\/10.1109\/IPDPS.2013.112 ISSN: 1530-2075 10.1109\/IPDPS.2013.112","DOI":"10.1109\/IPDPS.2013.112"},{"key":"e_1_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2013.19"},{"key":"e_1_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2857721"},{"key":"e_1_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.2200\/S01004ED1V01Y202004CAC050"},{"key":"e_1_2_1_89_1","first-page":"302","article-title":"TorchSparse: Efficient Point Cloud Inference Engine","volume":"4","author":"Tang Haotian","year":"2022","unstructured":"Haotian Tang, Zhijian Liu, Xiuyu Li, Yujun Lin, and Song Han. 2022. TorchSparse: Efficient Point Cloud Inference Engine. Proceedings of Machine Learning and Systems, 4 (2022), April, 302\u2013315. https:\/\/proceedings.mlsys.org\/paper_files\/paper\/2022\/hash\/c48e820389ae2420c1ad9d5856e1e41c-Abstract.html","journal-title":"Proceedings of Machine Learning and Systems"},{"key":"e_1_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/3613424.3614303"},{"key":"e_1_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007780050018"},{"key":"e_1_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/2764454"},{"key":"e_1_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.5441\/002\/ICDT.2014.13"},{"key":"e_1_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41592-019-0686-2"},{"key":"e_1_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2002.10025"},{"key":"e_1_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/16\/1\/071"},{"key":"e_1_2_1_97_1","first-page":"666","article-title":"Unified Convolution Framework: A compiler-based approach to support sparse convolutions","volume":"5","author":"Won Jaeyeon","year":"2023","unstructured":"Jaeyeon Won, Changwan Hong, Charith Mendis, Joel Emer, and Saman Amarasinghe. 2023. Unified Convolution Framework: A compiler-based approach to support sparse convolutions. Proceedings of Machine Learning and Systems, 5 (2023), March, 666\u2013679. https:\/\/proceedings.mlsys.org\/paper_files\/paper\/2023\/hash\/ccf7262fb986e4367ccd3903960c57a0-Abstract-mlsys2023.html","journal-title":"Proceedings of Machine Learning and Systems"},{"key":"e_1_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC41404.2022.00064"},{"key":"e_1_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/3225058.3225122"},{"key":"e_1_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1145\/3582016.3582047"},{"key":"e_1_2_1_101_1","volume-title":"International Workshop on Languages and Compilers for Parallel Computing. Springer, 17\u201331","author":"Yuki Tomofumi","year":"2012","unstructured":"Tomofumi Yuki, Gautam Gupta, DaeGon Kim, Tanveer Pathan, and Sanjay Rajopadhye. 2012. Alphaz: A system for design space exploration in the polyhedral model. In International Workshop on Languages and Compilers for Parallel Computing. Springer, 17\u201331."},{"key":"e_1_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446702"},{"key":"e_1_2_1_103_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3566054","article-title":"Polyhedral specification and code generation of sparse tensor contraction with co-iteration","volume":"20","author":"Zhao Tuowen","year":"2022","unstructured":"Tuowen Zhao, Tobi Popoola, Mary Hall, Catherine Olschanowsky, and Michelle Strout. 2022. Polyhedral specification and code generation of sparse tensor contraction with co-iteration. ACM Transactions on Architecture and Code Optimization, 20, 1 (2022), 1\u201326.","journal-title":"ACM Transactions on Architecture and Code Optimization"},{"key":"e_1_2_1_104_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2019.2932931"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3720473","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3720473","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T17:10:19Z","timestamp":1760029819000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3720473"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,9]]},"references-count":104,"journal-issue":{"issue":"OOPSLA1","published-print":{"date-parts":[[2025,4,9]]}},"alternative-id":["10.1145\/3720473"],"URL":"https:\/\/doi.org\/10.1145\/3720473","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4,9]]},"assertion":[{"value":"2024-10-15","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-02-18","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-04-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}