{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T09:15:21Z","timestamp":1783674921990,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T00:00:00Z","timestamp":1779148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,5,19]]},"DOI":"10.1145\/3801488.3806071","type":"proceedings-article","created":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T08:40:14Z","timestamp":1783672814000},"page":"66-73","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Compiling Linear Algebra Workloads from C to Quantum Circuits via Multi Level Intermediate Representation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-5386-9045","authenticated-orcid":false,"given":"Salvatore Pio","family":"Conte","sequence":"first","affiliation":[{"name":"DEIB, Politecnico di Milano, Milano, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4890-3753","authenticated-orcid":false,"given":"Simone","family":"Cosenza","sequence":"additional","affiliation":[{"name":"DEIB, Politecnico di Milano, Milano, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0405-6073","authenticated-orcid":false,"given":"Giacomo","family":"Lancellotti","sequence":"additional","affiliation":[{"name":"DEIB, Politecnico di Milano, Milano, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0255-4475","authenticated-orcid":false,"given":"Giovanni","family":"Agosta","sequence":"additional","affiliation":[{"name":"DEIB, Politecnico di Milano, Milano, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,10]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","unstructured":"Anna Bernasconi Alessandro Berti Gianna Maria\u00a0Del Corso and Alessandro Poggiali. 2024. Quantum Subroutine for Efficient Matrix Multiplication. IEEE Access 12 (2024) 116274\u2013116284. 10.1109\/ACCESS.2024.3446176","DOI":"10.1109\/ACCESS.2024.3446176"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2024.23067"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","unstructured":"Aart\u00a0J.C. Bik Penporn Koanantakool Tatiana Shpeisman Nicolas Vasilache Bixia Zheng and Fredrik Kjolstad. 2022. Compiler Support for Sparse Tensor Computations in MLIR. ACM Transactions on Architecture and Code Optimization 19 4 Article 50 (2022) 25\u00a0pages. 10.1145\/3544559","DOI":"10.1145\/3544559"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","unstructured":"Andrew\u00a0W. Cross et\u00a0al. 2022. OpenQASM 3: A Broader and Deeper Quantum Assembly Language. ACM Transactions on Quantum Computing 3 3 Article 12 (2022) 50\u00a0pages. 10.1145\/3505636","DOI":"10.1145\/3505636"},{"key":"e_1_3_3_1_6_2","unstructured":"Steven\u00a0A. Cuccaro Thomas\u00a0G. Draper Samuel\u00a0A. Kutin and David\u00a0Petrie Moulton. 2004. A New Quantum Ripple-Carry Addition Circuit. arxiv:https:\/\/arXiv.org\/abs\/quant-ph\/0410184"},{"key":"e_1_3_3_1_7_2","unstructured":"Thomas\u00a0G. Draper. 2000. Addition on a Quantum Computer. arxiv:https:\/\/arXiv.org\/abs\/quant-ph\/0008033"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","unstructured":"Alhussein Fawzi Matej Balog Aja Huang Thomas Hubert Bernardino Romera-Paredes Mohammadamin Barekatain Alexander Novikov Francisco J.\u00a0R. Ruiz Julian Schrittwieser Grzegorz Swirszcz David Silver Demis Hassabis and Pushmeet Kohli. 2022. Discovering Faster Matrix Multiplication Algorithms with Reinforcement Learning. Nature 610 7930 (2022) 47\u201353. 10.1038\/s41586-022-05172-4","DOI":"10.1038\/s41586-022-05172-4"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/3696443.3708945"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.5555\/3086952"},{"key":"e_1_3_3_1_11_2","series-title":"(ICLR \u201916)","volume-title":"Proceedings of the 4th International Conference on Learning Representations","author":"Han Song","year":"2016","unstructured":"Song Han, Huizi Mao, and William\u00a0J. Dally. 2016. Deep Compression: Compressing Deep Neural Networks with Pruning, Trained Quantization and Huffman Coding. In Proceedings of the 4th International Conference on Learning Representations(ICLR \u201916). OpenReview.net, San Juan, Puerto Rico. arXiv:https:\/\/arXiv.org\/abs\/1510.00149."},{"key":"e_1_3_3_1_12_2","volume-title":"Computer Graphics: Principles and Practice (3rd ed.)","author":"Hughes John\u00a0F.","year":"2013","unstructured":"John\u00a0F. Hughes, Andries van Dam, Morgan McGuire, David\u00a0F. Sklar, James\u00a0D. Foley, Steven\u00a0K. Feiner, and Kurt Akeley. 2013. Computer Graphics: Principles and Practice (3rd ed.). Addison-Wesley, Upper Saddle River, NJ, USA."},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","unstructured":"David Ittah Thomas H\u00e4ner Vadym Kliuchnikov and Torsten Hoefler. 2022. QIRO: A Static Single Assignment-Based Quantum Program Representation for Optimization. ACM Transactions on Quantum Computing 3 3 Article 14 (2022) 32\u00a0pages. 10.1145\/3491247","DOI":"10.1145\/3491247"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","unstructured":"Ali JavadiAbhari Shruti Patil Daniel Kudrow Jeff Heckey Alexey Lvov Frederic\u00a0T. Chong and Margaret Martonosi. 2015. ScaffCC: Scalable Compilation and Analysis of Quantum Programs. Parallel Comput. 45 (2015) 2\u201317. 10.1016\/j.parco.2014.12.001","DOI":"10.1016\/j.parco.2014.12.001"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC66049.2026.11420750"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3748522.3779947"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370308"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Hong Li Nan Jiang Zichen Wang Jian Wang and Rigui Zhou. 2021. Quantum Matrix Multiplier. International Journal of Theoretical Physics 60 6 (2021) 2037\u20132048. 10.1007\/s10773-021-04816-x","DOI":"10.1007\/s10773-021-04816-x"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","unstructured":"Seth Lloyd. 1996. Universal Quantum Simulators. Science 273 5278 (1996) 1073\u20131078. 10.1126\/science.273.5278.1073","DOI":"10.1126\/science.273.5278.1073"},{"key":"e_1_3_3_1_21_2","unstructured":"LLVM Project. 2025. Clang: A C Language Family Frontend for LLVM. https:\/\/clang.llvm.org\/ Accessed: 2025."},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","unstructured":"Yao Lu Christian Pilato and Kanad Basu. 2024. QHLS: An HLS Framework to Convert High-Level Descriptions to Quantum Circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 43 10 (2024) 3015\u20133026. 10.1109\/TCAD.2024.3391699","DOI":"10.1109\/TCAD.2024.3391699"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715092"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.5555\/1972505"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3497776.3517772"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","unstructured":"Simone Perriello Alessandro Barenghi and Gerardo Pelosi. 2023. Improving the Efficiency of Quantum Circuits for Information Set Decoding. ACM Transactions on Quantum Computing 4 4 Article 25 (Aug. 2023) 40\u00a0pages. 10.1145\/3607256","DOI":"10.1145\/3607256"},{"key":"e_1_3_3_1_27_2","unstructured":"Qiskit Development Team. 2025. Qiskit: An Open-Source Framework for Quantum Computing. https:\/\/qiskit.org\/"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"crossref","unstructured":"Neil\u00a0J. Ross and Peter Selinger. 2016. Optimal ancilla-free Clifford+T approximation of z-rotations. Quantum Information & Computation 16 11-12 (2016) 901\u2013953. arXiv:https:\/\/arXiv.org\/abs\/1403.2975.","DOI":"10.26421\/QIC16.11-12-1"}],"event":{"name":"CF '26 Companion: 23rd ACM International Conference on Computing Frontiers","location":"Catania Italy","acronym":"CF '26 Companion","sponsor":["SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the 23rd ACM International Conference on Computing Frontiers: Workshops and Special Sessions"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3801488.3806071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T08:40:18Z","timestamp":1783672818000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3801488.3806071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,19]]},"references-count":27,"alternative-id":["10.1145\/3801488.3806071","10.1145\/3801488"],"URL":"https:\/\/doi.org\/10.1145\/3801488.3806071","relation":{},"subject":[],"published":{"date-parts":[[2026,5,19]]},"assertion":[{"value":"2026-07-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}