{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T15:27:53Z","timestamp":1781018873810,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T00:00:00Z","timestamp":1774224000000},"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,3,23]]},"DOI":"10.1145\/3748522.3779947","type":"proceedings-article","created":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T14:17:49Z","timestamp":1781014669000},"page":"1359-1366","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Quantum Circuit Synthesis from C via Multi-Level Intermediate Representation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-0405-6073","authenticated-orcid":false,"given":"Giacomo","family":"Lancellotti","sequence":"first","affiliation":[{"name":"DEIB, Politecnico di Milano, Milano, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-8955-679X","authenticated-orcid":false,"given":"Francesco","family":"Rosnati","sequence":"additional","affiliation":[{"name":"DEIB, Politecnico di Milano, Milano, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-0996-0072","authenticated-orcid":false,"given":"Leonardo Ignazio","family":"Pagliochini","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,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539705447311"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2244643"},{"key":"e_1_3_2_1_3_1","unstructured":"Li-ming Bao. 2023. Implementing an Intermediate Representation for Quantum Computing based on MLIR. Bachelor's Thesis. Technische Universit\u00e4t M\u00fcnchen."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8588-8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/QCE60285.2024.00017"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3505636"},{"key":"e_1_3_2_1_7_1","unstructured":"Steven A. Cuccaro Thomas G. Draper Samuel A. Kutin and David Petrie Moulton. 2004. A new quantum ripple-carry addition circuit. (2004). arXiv: quant-ph\/0410184 [quant-ph]."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2022.3211430"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3743149"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3696443.3708945"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586110"},{"key":"e_1_3_2_1_12_1","unstructured":"Craig Gidney. 2019. Windowed quantum arithmetic. arXiv preprint arXiv:1905.07682."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3677035"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Jaroslav Hrdina Dietmar Hildenbrand and Ale\u0161 N\u00e1vrat. 2022. Quantum register algebra: the mathematical language for quantum computing. arXiv preprint arXiv:2208.02608.","DOI":"10.1007\/s11128-023-04086-y"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3491247"},{"key":"e_1_3_2_1_16_1","unstructured":"Murat Kurt Ayda Kaltehei Azmi Gen\u00e7ten and Sel\u00e7uk \u00c7akmak. 2024. Scalable quantum circuit design for qft-based arithmetic. arXiv preprint arXiv:2411.00260."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-03-25-130"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370308"},{"key":"e_1_3_2_1_19_1","unstructured":"LLVM Project. [n. d.] Clang: a C language family frontend for LLVM. https:\/\/clang.llvm.org\/. Accessed: 2025-08-28. ()."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3391699"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/QCE52317.2021.00043"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab6bf6"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","unstructured":"Masoud Mohseni et al. 2024. How to build a quantum supercomputer: scaling from hundreds to millions of qubits. CoRR abs\/2411.10406. arXiv: 2411.10406. 10.48550\/ARXIV.2411.10406","DOI":"10.48550\/ARXIV.2411.10406"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81042-9"},{"key":"e_1_3_2_1_27_1","volume-title":"Chuang","author":"Nielsen Michael A.","year":"2011","unstructured":"Michael A. Nielsen and Isaac L. Chuang. 2011. Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press. isbn: 9781107002173."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1038\/404130a0"},{"key":"e_1_3_2_1_29_1","unstructured":"Qiskit Development Team. 2025. Qiskit: an open-source framework for quantum computing. https:\/\/qiskit.org. Accessed: 2025-07-30. (2025)."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0219749920500197"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539795293172"},{"key":"e_1_3_2_1_32_1","volume-title":"Zeng","author":"Smith Robert S.","year":"2016","unstructured":"Robert S. Smith, Michael J. Curtis, and William J. Zeng. 2016. A practical quantum instruction set architecture. arXiv preprint arXiv:1608.03355."},{"key":"e_1_3_2_1_33_1","volume-title":"Svore et al","author":"Krysta","year":"2018","unstructured":"Krysta M. Svore et al. 2018. Q#: Enabling scalable quantum computing and development with a high-level domain-specific language. Tech. rep. Microsoft. https:\/\/www.microsoft.com\/en-us\/research\/publication\/q-enabling-scalable-quantum-computing-and-development-with-a-high-level-dsl\/."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","unstructured":"W. K. Wootters and W. H. Zurek. 1982. A single quantum cannot be cloned. Nature 299 5886 802\u2013803. 10.1038\/299802a0","DOI":"10.1038\/299802a0"},{"key":"e_1_3_2_1_35_1","volume-title":"Lizard: an extensible cyclomatic complexity analyzer. https:\/\/github.com\/terryyin\/lizard","author":"Yin T.","year":"2019","unstructured":"T. Yin. 2019. Lizard: an extensible cyclomatic complexity analyzer. https:\/\/github.com\/terryyin\/lizard. Accessed: YYYY-MM-DD. (2019)."}],"event":{"name":"SAC '26: 41st ACM\/SIGAPP Symposium on Applied Computing","location":"Grand Hotel Palace Thessaloniki Greece","acronym":"SAC '26","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 41st ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3748522.3779947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T14:47:19Z","timestamp":1781016439000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3748522.3779947"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,23]]},"references-count":35,"alternative-id":["10.1145\/3748522.3779947","10.1145\/3748522"],"URL":"https:\/\/doi.org\/10.1145\/3748522.3779947","relation":{},"subject":[],"published":{"date-parts":[[2026,3,23]]},"assertion":[{"value":"2026-06-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}