{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T03:35:33Z","timestamp":1769657733548,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,1,28]]},"DOI":"10.1145\/3771775.3786281","type":"proceedings-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T14:46:23Z","timestamp":1769611583000},"page":"106-118","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Accelerating Sparse Algebra with Program Synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2767-1130","authenticated-orcid":false,"given":"Jos\u00e9 Wesley","family":"de Souza Magalh\u00e3es","sequence":"first","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-3787-3136","authenticated-orcid":false,"given":"Shideh","family":"Hashemian","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5774-3970","authenticated-orcid":false,"given":"Alexander","family":"Brauckmann","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2650-9596","authenticated-orcid":false,"given":"Jackson","family":"Woodruff","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9032-7661","authenticated-orcid":false,"given":"Elizabeth","family":"Polgreen","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1619-5052","authenticated-orcid":false,"given":"Michael F. P.","family":"O\u2019Boyle","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2026,1,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. cuSPARSE [n. d.]. Basic Linear Algebra for Sparse Matrices on NVIDIA GPUs.. https:\/\/developer.nvidia.com\/cusparse."},{"key":"e_1_3_2_1_2_1","unstructured":"[n. d.]. Intel\u00ae oneAPI Math Kernel Librar. https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/tools\/oneapi\/onemkl.html."},{"key":"e_1_3_2_1_3_1","unstructured":"[n. d.]. QuantLib: a free\/open-source library for quantitative finance. https:\/\/www.quantlib.org\/"},{"key":"e_1_3_2_1_4_1","unstructured":"[n. d.]. Scimark 2.0. https:\/\/math.nist.gov\/scimark2\/"},{"key":"e_1_3_2_1_5_1","unstructured":"Nabil Abubaker and Torsten Hoefler. 2024. SpComm3D: A Framework for Enabling Sparse Communication in 3D Sparse Kernels. arxiv:2404.19638."},{"key":"e_1_3_2_1_6_1","volume-title":"Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, et al.","author":"Achiam Josh","year":"2023","unstructured":"Josh Achiam, Steven Adler, Sandhini Agarwal, Lama Ahmad, Ilge Akkaya, Florencia Leoni Aleman, Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, et al. 2023. Gpt-4 technical report. arXiv preprint arXiv:2303.08774."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3720473"},{"key":"e_1_3_2_1_8_1","volume-title":"Column-Segmented Sparse Matrix-Matrix Multiplication. In HiPC21: 28th IEEE International Conference on High Performance Computing, Data, & Analytics.","author":"Xiaojing","unstructured":"Xiaojing An and \u00dcmit V. \u00c7ataly\u00fcrek. 2021. Column-Segmented Sparse Matrix-Matrix Multiplication. In HiPC21: 28th IEEE International Conference on High Performance Computing, Data, & Analytics."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3480935"},{"key":"e_1_3_2_1_10_1","unstructured":"Igor A Baratta Joseph P Dean J\u00f8rgen S Dokken Michal Habera Jack HALE Chris N Richardson Marie E Rognes Matthew W Scroggs Nathan Sime and Garth N Wells. 2023. DOLFINx: the next generation FEniCS problem solving environment."},{"key":"e_1_3_2_1_11_1","volume-title":"Elizabeth Polgreen, and Michael FP O\u2019Boyle.","author":"Brauckmann Alexander","year":"2025","unstructured":"Alexander Brauckmann, Luc Jaulmes, Jos\u00e9 W de Souza Magalh\u00e3es, Elizabeth Polgreen, and Michael FP O\u2019Boyle. 2025. Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving. In ACM\/IEEE CGO."},{"key":"e_1_3_2_1_12_1","volume-title":"2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT). 39\u201350","author":"Brauckmann Alexander","year":"2023","unstructured":"Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, and Michael FP O\u2019Boyle. 2023. mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis. In 2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT). 39\u201350."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering. 90\u2013102","author":"Collie Bruce","year":"2020","unstructured":"Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, and Michael FP O\u2019Boyle. 2020. M3: Semantic api migrations. In Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering. 90\u2013102."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT52795.2021.00012"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3425898.3426952"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Timothy A Davis. 2006. Direct methods for sparse linear systems. SIAM.","DOI":"10.1137\/1.9780898718881"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3459010"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Adhitha Dias Kirshanthan Sundararajah Charitha Saumya and Milind Kulkarni. 2022. SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring. ICS.","DOI":"10.1145\/3524059.3532386"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1155\/2001\/527931"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness49594.2019.00010"},{"key":"e_1_3_2_1_21_1","first-page":"769","article-title":"The foundation of the general theory of relativity","volume":"49","author":"Albert Einstein","year":"1916","unstructured":"Albert Einstein et al. 1916. The foundation of the general theory of relativity. Annalen Phys, 49, 7 (1916), 769\u2013822.","journal-title":"Annalen Phys"},{"key":"e_1_3_2_1_22_1","unstructured":"Philip Ginsbach. 2020. https:\/\/github.com\/ginsbach\/llvm\/tree\/linearalgebra"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 29th International Conference on Compiler Construction. 179\u2013190","author":"Ginsbach Philip","year":"2020","unstructured":"Philip Ginsbach, Bruce Collie, and Michael FP O\u2019Boyle. 2020. Automatically harnessing sparse acceleration. In Proceedings of the 29th International Conference on Compiler Construction. 179\u2013190."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3173182"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3173182"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Fredrik Kjolstad Shoaib Kamil Stephen Chou David Lugato and Saman Amarasinghe. 2017. The Tensor Algebra Compiler. OOPSLA.","DOI":"10.1145\/3133901"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Avery Laird. 2024. SpEQ: Translation of Sparse Codes using Equivalences.. https:\/\/zenodo.org\/records\/10906216","DOI":"10.1145\/3656445"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3656445"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s42514-019-00012-w"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","unstructured":"Xiaoye Sherry Li James Demmel John Gilbert Laura Grigori and Meiyue Shao. 2011. SuperLU. Springer US Boston MA. 1955\u20131962. isbn:978-0-387-09766-4 https:\/\/doi.org\/10.1007\/978-0-387-09766-4_95 10.1007\/978-0-387-09766-4_95","DOI":"10.1007\/978-0-387-09766-4_95"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3729330"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2021.07.021"},{"key":"e_1_3_2_1_33_1","volume-title":"34th International Conference on Parallel Architectures and Compilation Techniques (PACT).","author":"de Souza Magalh\u00e3es Jos\u00e9 Wesley","year":"2025","unstructured":"Jos\u00e9 Wesley de Souza Magalh\u00e3es, Jackson Woodruff, Jordi Armengol-Estap\u00e9, Alexander Brauckmann, Luc Jaulmes, Elizabeth Polgreen, and Michael FP O\u2019Boyle. 2025. Guess, Measure & Edit: Using Lowering to Lift Tensor Code. In 34th International Conference on Parallel Architectures and Compilation Techniques (PACT)."},{"key":"e_1_3_2_1_34_1","volume-title":"O\u2019Boyle","author":"de Souza Magalh\u00e3es Jos\u00e9 Wesley","year":"2023","unstructured":"Jos\u00e9 Wesley de Souza Magalh\u00e3es, Jackson Woodruff, Elizabeth Polgreen, and Michael F.P. O\u2019Boyle. 2023. C2TACO: Lifting Tensor Code to TACO. GPCE."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3578360.3580262"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","unstructured":"Charith Mendis Jeffrey Bosboom Kevin Wu Shoaib Kamil Jonathan Ragan-Kelley Sylvain Paris Qin Zhao and Saman Amarasinghe. 2015. Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code. PLDI isbn:[\u20199781450334686\u2019] https:\/\/doi.org\/10.1145\/2737924.2737974 10.1145\/2737924.2737974","DOI":"10.1145\/2737924.2737974"},{"key":"e_1_3_2_1_37_1","volume-title":"Yakun Sophia Shao, and Alvin Cheung","author":"Nishida Yuto","year":"2023","unstructured":"Yuto Nishida, Sahil Bhatia, Shahdaj Laddad, Hasan Genc, Yakun Sophia Shao, and Alvin Cheung. 2023. Code Transpilation for Hardware Accelerators. CoRR, Available at arxiv:2308.06410"},{"key":"e_1_3_2_1_38_1","volume-title":"Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations. In 38th European Conference on Object-Oriented Programming (ECOOP","author":"Qiu Jie","year":"2024","unstructured":"Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A Seshia, and Alvin Cheung. 2024. Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations. In 38th European Conference on Object-Oriented Programming (ECOOP 2024)."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3517034"},{"key":"e_1_3_2_1_40_1","volume-title":"SPLATT: The Surprisingly ParalleL spArse Tensor Toolkit","author":"Smith Shaden","year":"2016","unstructured":"Shaden Smith and George Karypis. 2016. SPLATT: The Surprisingly ParalleL spArse Tensor Toolkit. http:\/\/cs.umn.edu\/ splatt\/"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3490422.3502357"},{"key":"e_1_3_2_1_42_1","first-page":"7","article-title":"Parboil: A revised benchmark suite for scientific and commercial throughput computing","volume":"127","author":"Stratton John A","year":"2012","unstructured":"John A Stratton, Christopher Rodrigues, I-Jui Sung, Nady Obeid, Li-Wen Chang, Nasser Anssari, Geng Daniel Liu, and Wen-mei W Hwu. 2012. Parboil: A revised benchmark suite for scientific and commercial throughput computing. Center for Reliable and High-Performance Computing, 127, 7.2 (2012).","journal-title":"Center for Reliable and High-Performance Computing"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Adilla Susungi Norman A Rink Albert Cohen Jeronimo Castrillon and Claude Tadonki. 2018. Meta-programming for Cross-Domain Tensor Optimizations. GPCE.","DOI":"10.1145\/3278122.3278131"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575742"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523439"},{"key":"e_1_3_2_1_46_1","volume-title":"DISTAL: The Distributed Tensor Algebra Compiler. PLDI.","author":"Yadav Rohan","year":"2022","unstructured":"Rohan Yadav, Alex Aiken, and Fredrik Kjolstad. 2022. DISTAL: The Distributed Tensor Algebra Compiler. PLDI."},{"key":"e_1_3_2_1_47_1","volume-title":"Sigma: Compiling Einstein Summations to Locatlity-Aware Dataflow. ASPLOS.","author":"Zhao Tian","year":"2023","unstructured":"Tian Zhao, Alexander Rucker, and Kunle Olukotun. 2023. Sigma: Compiling Einstein Summations to Locatlity-Aware Dataflow. ASPLOS."}],"event":{"name":"CC '26: 35th ACM SIGPLAN International Conference on Compiler Construction","location":"Sydney NSW Australia","acronym":"CC '26","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3771775.3786281","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T14:47:20Z","timestamp":1769611640000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3771775.3786281"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,28]]},"references-count":47,"alternative-id":["10.1145\/3771775.3786281","10.1145\/3771775"],"URL":"https:\/\/doi.org\/10.1145\/3771775.3786281","relation":{},"subject":[],"published":{"date-parts":[[2026,1,28]]},"assertion":[{"value":"2026-01-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}