{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T22:29:48Z","timestamp":1769207388111,"version":"3.49.0"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"16","license":[{"start":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T00:00:00Z","timestamp":1762300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T00:00:00Z","timestamp":1762300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"funder":[{"DOI":"10.13039\/100006192","name":"Advanced Scientific Computing Research","doi-asserted-by":"publisher","award":["ERKJ332"],"award-info":[{"award-number":["ERKJ332"]}],"id":[{"id":"10.13039\/100006192","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006192","name":"Advanced Scientific Computing Research","doi-asserted-by":"publisher","award":["ERKJ332"],"award-info":[{"award-number":["ERKJ332"]}],"id":[{"id":"10.13039\/100006192","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006192","name":"Advanced Scientific Computing Research","doi-asserted-by":"publisher","award":["ERKJ332"],"award-info":[{"award-number":["ERKJ332"]}],"id":[{"id":"10.13039\/100006192","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006192","name":"Advanced Scientific Computing Research","doi-asserted-by":"publisher","award":["ERKJ332"],"award-info":[{"award-number":["ERKJ332"]}],"id":[{"id":"10.13039\/100006192","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006192","name":"Advanced Scientific Computing Research","doi-asserted-by":"publisher","award":["ERKJ332"],"award-info":[{"award-number":["ERKJ332"]}],"id":[{"id":"10.13039\/100006192","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006192","name":"Advanced Scientific Computing Research","doi-asserted-by":"publisher","award":["ERKJ332"],"award-info":[{"award-number":["ERKJ332"]}],"id":[{"id":"10.13039\/100006192","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006192","name":"Advanced Scientific Computing Research","doi-asserted-by":"publisher","award":["ERKJ332"],"award-info":[{"award-number":["ERKJ332"]}],"id":[{"id":"10.13039\/100006192","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006192","name":"Advanced Scientific Computing Research","doi-asserted-by":"publisher","award":["ERKJ332"],"award-info":[{"award-number":["ERKJ332"]}],"id":[{"id":"10.13039\/100006192","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006192","name":"Advanced Scientific Computing Research","doi-asserted-by":"publisher","award":["ERKJ332"],"award-info":[{"award-number":["ERKJ332"]}],"id":[{"id":"10.13039\/100006192","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"DOI":"10.1007\/s11227-025-07969-2","type":"journal-article","created":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T13:30:27Z","timestamp":1762349427000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A cross-platform execution engine for the quantum intermediate representation"],"prefix":"10.1007","volume":"81","author":[{"given":"Elaine","family":"Wong","sequence":"first","affiliation":[]},{"given":"Vicente","family":"Leyton-Ortega","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Claudino","sequence":"additional","affiliation":[]},{"given":"Seth R.","family":"Johnson","sequence":"additional","affiliation":[]},{"given":"Austin J.","family":"Adams","sequence":"additional","affiliation":[]},{"given":"Sharmin","family":"Afrose","sequence":"additional","affiliation":[]},{"given":"Meenambika","family":"Gowrishankar","sequence":"additional","affiliation":[]},{"given":"Anthony","family":"Cabrera","sequence":"additional","affiliation":[]},{"given":"Travis S.","family":"Humble","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,5]]},"reference":[{"issue":"12","key":"7969_CR1","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1038\/s42254-020-00245-7","volume":"2","author":"B Heim","year":"2020","unstructured":"Heim B, Soeken M, Marshall S, Granade C, Roetteler M, Geller A, Troyer M, Svore K (2020) Quantum programming languages. Nature Rev Phys 2(12):709\u2013722","journal-title":"Nature Rev Phys"},{"issue":"2","key":"7969_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3462670","volume":"2","author":"A McCaskey","year":"2021","unstructured":"McCaskey A, Nguyen T, Santana A, Claudino D, Kharazi T, Finkel H (2021) Extending C++ for heterogeneous quantum-classical computing. ACM Transa Quantum Comput 2(2):1\u201336","journal-title":"ACM Transa Quantum Comput"},{"issue":"2","key":"7969_CR3","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab6bf6","volume":"5","author":"AI McCaskey","year":"2020","unstructured":"McCaskey AI, Lyakh DI, Dumitrescu EF, Powers SS, Humble TS (2020) XACC: a system-level software infrastructure for heterogeneous quantum-classical computing. Quantum Sci Technol 5(2):024002","journal-title":"Quantum Sci Technol"},{"key":"7969_CR4","doi-asserted-by":"publisher","unstructured":"McCaskey A, Dumitrescu E, Lyakh D, Humble T (2018) Hybrid Programming for Near-Term Quantum Computing Systems. In: 2018 IEEE International Conference on Rebooting Computing (ICRC), vol. NA, pp. 1\u201312. IEEE eXpress Conference Publishing, Tysons, Virginia. https:\/\/doi.org\/10.1109\/ICRC.2018.8638598","DOI":"10.1109\/ICRC.2018.8638598"},{"issue":"3","key":"7969_CR5","doi-asserted-by":"publisher","DOI":"10.7566\/JPSJ.90.032001","volume":"90","author":"S Endo","year":"2021","unstructured":"Endo S, Cai Z, Benjamin SC, Yuan X (2021) Hybrid quantum-classical algorithms and quantum error mitigation. J Phys Soc Jpn 90(3):032001","journal-title":"J Phys Soc Jpn"},{"issue":"1","key":"7969_CR6","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.106.010101","volume":"106","author":"A Callison","year":"2022","unstructured":"Callison A, Chancellor N (2022) Hybrid quantum-classical algorithms in the noisy intermediate-scale quantum era and beyond. Phys Rev A 106(1):010101","journal-title":"Phys Rev A"},{"key":"7969_CR7","unstructured":"QIR Alliance: QIR Specification. QIR Alliance: https:\/\/qir-alliance.org, (2024). Last accessed: 2024-11-07. https:\/\/github.com\/qir-alliance\/qir-spec"},{"issue":"3","key":"7969_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3505636","volume":"3","author":"A Cross","year":"2022","unstructured":"Cross A, Javadi-Abhari A, Alexander T, Beaudrap N, Bishop LS, Heidel S, Ryan CA, Sivarajah P, Smolin J, Gambetta JM (2022) Others: Openqasm 3: A broader and deeper quantum assembly language. ACM Transa Quantum Comput 3(3):1\u201350","journal-title":"ACM Transa Quantum Comput"},{"issue":"7671","key":"7969_CR9","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1038\/nature23459","volume":"549","author":"FT Chong","year":"2017","unstructured":"Chong FT, Franklin D, Martonosi M (2017) Programming languages and compiler design for realistic quantum hardware. Nature 549(7671):180\u2013187","journal-title":"Nature"},{"issue":"3","key":"7969_CR10","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8c2c","volume":"5","author":"A Litteken","year":"2020","unstructured":"Litteken A, Fan Y, Singh D, Martonosi M, Chong FT (2020) An updated LLVM-based quantum research compiler with further OpenQASM support. Quantum Sci Technol 5(3):034013","journal-title":"Quantum Sci Technol"},{"issue":"8","key":"7969_CR11","doi-asserted-by":"publisher","first-page":"1353","DOI":"10.1109\/JPROC.2020.2994765","volume":"108","author":"Y Shi","year":"2020","unstructured":"Shi Y, Gokhale P, Murali P, Baker JM, Duckering C, Ding Y, Brown NC, Chamberland C, Javadi-Abhari A, Cross AW, Schuster DI, Brown KR, Martonosi M, Chong FT (2020) Resource-efficient quantum computing by breaking abstractions. Proc IEEE 108(8):1353\u20131370. https:\/\/doi.org\/10.1109\/JPROC.2020.2994765","journal-title":"Proc IEEE"},{"key":"7969_CR12","doi-asserted-by":"publisher","unstructured":"Lattner C, Adve V (2004) LLVM: A compilation framework for lifelong program analysis and transformation. In: ACM\/IEEE International Symposium on Code Generation and Optimization, pp. 75\u201386. IEEE, San Jose, CA, USA. https:\/\/doi.org\/10.1109\/CGO.2004.1281665","DOI":"10.1109\/CGO.2004.1281665"},{"key":"7969_CR13","doi-asserted-by":"publisher","unstructured":"QIR-EE Developers: QIR-EE. [Computer Software] (2025). https:\/\/doi.org\/10.11578\/qiree\/dc.20250114.1https:\/\/github.com\/ORNL-QCI\/qiree","DOI":"10.11578\/qiree\/dc.20250114.1"},{"key":"7969_CR14","doi-asserted-by":"publisher","unstructured":"Nguyen T, Santana A, Kharazi T, Claudino D, Finkel H, McCaskey A (2021) Extending C++ for heterogeneous quantum-classical computing. ACM Transactions on Quantum Computing 2(2). https:\/\/doi.org\/10.1145\/3462670","DOI":"10.1145\/3462670"},{"issue":"2","key":"7969_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3380964","volume":"16","author":"T Mintz","year":"2020","unstructured":"Mintz T, McCaskey A, Dumitrescu E, Moore S, Powers S, Lougovski P (2020) QCOR: A language extension specification for the heterogeneous quantum-classical model of computation. ACM J Emerg Technol Comput Syst (JETC) 16(2):1\u201317","journal-title":"ACM J Emerg Technol Comput Syst (JETC)"},{"key":"7969_CR16","unstructured":"QIR Alliance: QIR Alliance Ecosystem (2024). https:\/\/www.qir-alliance.org\/projects\/. Accessed: 2023-07-10"},{"key":"7969_CR17","unstructured":"Nvidia: CUDA Quantum (2023). https:\/\/nvidia.github.io\/cuda-quantum\/latest\/using\/advanced\/cudaq_ir.html. Accessed: 2023-12-18"},{"key":"7969_CR18","unstructured":"Gupta H, Hill RJ (2025) qBraid-QIR: Python package for QIR conversions, integrations, and utilities. https:\/\/github.com\/qBraid\/qbraid-qir"},{"key":"7969_CR19","unstructured":"Microsoft: qiskit-qir (2023). https:\/\/github.com\/microsoft\/qiskit-qir. Accessed: 2024-03-08"},{"key":"7969_CR20","doi-asserted-by":"publisher","unstructured":"McCaskey A, Nguyen T (2021) A MLIR Dialect for Quantum Assembly Languages. In: 2021 IEEE International Conference on Quantum Computing and Engineering (QCE), pp. 255\u2013264. IEEE Computer Society, Los Alamitos, CA, USA. https:\/\/doi.org\/10.1109\/QCE52317.2021.00043","DOI":"10.1109\/QCE52317.2021.00043"},{"key":"7969_CR21","unstructured":"Xanadu: Catalyst Quantum Compiler (2023). https:\/\/docs.pennylane.ai\/projects\/catalyst\/en\/latest\/modules\/mlir.html. Accessed: 2023-12-18"},{"key":"7969_CR22","unstructured":"Nvidia: \u2018nvgpu\u2019 Dialect (2024). https:\/\/mlir.llvm.org\/docs\/Dialects\/NVGPU\/. Accessed: 2024-03-15"},{"issue":"1","key":"7969_CR23","doi-asserted-by":"publisher","DOI":"10.3389\/fphy.2022.940293","volume":"10","author":"T Lubinski","year":"2022","unstructured":"Lubinski T, Granade C, Anderson A, Geller A, Roetteler M, Petrenko A, Heim B (2022) Advancing hybrid quantum-classical computation with real-time execution. Front Phys 10(1):940293. https:\/\/doi.org\/10.3389\/fphy.2022.940293","journal-title":"Front Phys"},{"key":"7969_CR24","unstructured":"Microsoft: Tutorial: Submit a QIR program to the Azure Quantum Resource Estimator (2024). https:\/\/learn.microsoft.com\/en-us\/azure\/quantum\/tutorial-resource-estimator-qir. Accessed: 2024-04-05"},{"key":"7969_CR25","doi-asserted-by":"publisher","unstructured":"Wu XC, Premaratne SP, Rasch K (2023) A comprehensive introduction to the Intel quantum SDK. In: Proceedings of the 2023 Introduction on Hybrid Quantum-Classical Programming Using C++ Quantum Extension. HybridQC \u201823, pp. 1\u20132. Association for Computing Machinery, New York, NY, USA. https:\/\/doi.org\/10.1145\/3589014.3595066","DOI":"10.1145\/3589014.3595066"},{"key":"7969_CR26","unstructured":"Intel: Intel Quantum SDK (2024). https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/tools\/quantum-sdk\/overview.html. Accessed: 2024-04-05"},{"key":"7969_CR27","unstructured":"Microsoft: qir-runner (2023). https:\/\/github.com\/qir-alliance\/qir-runner. Accessed: 2024-01-06"},{"key":"7969_CR28","unstructured":"Inkwell Developers: It\u2019s a New Kind of Wrapper for Exposing LLVM (Safely) (2024). https:\/\/github.com\/TheDan64\/inkwell. Accessed: 2024-04-05"},{"key":"7969_CR29","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.5.040308","volume":"5","author":"H Harada","year":"2024","unstructured":"Harada H, Wada K, Yamamoto N (2024) Doubly optimal parallel wire cutting without ancilla qubits. PRX Quantum 5:040308. https:\/\/doi.org\/10.1103\/PRXQuantum.5.040308","journal-title":"PRX Quantum"},{"key":"7969_CR30","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.125.150504","volume":"125","author":"T Peng","year":"2020","unstructured":"Peng T, Harrow AW, Ozols M, Wu X (2020) Simulating large quantum circuits on a small quantum computer. Phys. Rev. Lett. 125:150504. https:\/\/doi.org\/10.1103\/PhysRevLett.125.150504","journal-title":"Phys. Rev. Lett."},{"key":"7969_CR31","unstructured":"XACC Developers: XACC (2024). https:\/\/github.com\/ORNL-QCI\/xacc. Accessed: 2024-09-06"},{"key":"7969_CR32","unstructured":"ORNL: Quantum Computing User Program (QCUP) (2024 https:\/\/www.olcf.ornl.gov\/olcf-resources\/compute-systems\/quantum-computing-user-program\/. Accessed: 2024-03-15 )"},{"key":"7969_CR33","doi-asserted-by":"publisher","unstructured":"Quantum AI Team and Collaborators: qsim. Zenodo (2020). https:\/\/doi.org\/10.5281\/zenodo.4023103","DOI":"10.5281\/zenodo.4023103"},{"key":"7969_CR34","doi-asserted-by":"publisher","unstructured":"Javadi-Abhari A, Treinish M, Krsulich K, Wood CJ, Lishman J, Gacon J, Martiel S, Nation PD, Bishop LS, Cross AW, Johnson BR, Gambetta JM (2024) Quantum computing with Qiskit. https:\/\/doi.org\/10.48550\/arXiv.2405.08810","DOI":"10.48550\/arXiv.2405.08810"},{"issue":"12","key":"7969_CR35","doi-asserted-by":"publisher","first-page":"0208073","DOI":"10.1371\/journal.pone.0208073","volume":"13","author":"V Gheorghiu","year":"2018","unstructured":"Gheorghiu V (2018) Quantum++: A modern C++ quantum computing library. PLoS ONE 13(12):0208073","journal-title":"PLoS ONE"},{"key":"7969_CR36","unstructured":"QIR-EE Developers: Data from QIR-EE experiments (2024). https:\/\/github.com\/wongey\/qiree-data. Accessed: 2024-04-22"},{"key":"7969_CR37","volume-title":"Quantum Computation and Quantum Information: 10th, Anniversary","author":"MA Nielsen","year":"2010","unstructured":"Nielsen MA, Chuang IL (2010) Quantum Computation and Quantum Information: 10th, Anniversary. Cambridge University Press, New York"},{"key":"7969_CR38","unstructured":"Microsoft: pyQIR (2024). https:\/\/github.com\/qir-alliance\/pyqir. Accessed: 2024-04-04"},{"issue":"4","key":"7969_CR39","volume":"13","author":"M DeCross","year":"2023","unstructured":"DeCross M, Chertkov E, Kohagen M, Foss-Feig M (2023) Qubit-reuse compilation with mid-circuit measurement and reset. Phys Rev X 13(4):041057","journal-title":"Phys Rev X"},{"key":"7969_CR40","doi-asserted-by":"crossref","unstructured":"Graham T, Phuttitarn L, Chinnarasu R, Song Y, Poole C, Jooya K, Scott J, Scott A, Eichler P, Saffman M (2023) Mid-circuit measurements on a neutral atom quantum processor. arXiv preprint arXiv:2303.10051","DOI":"10.1103\/PhysRevX.13.041051"},{"key":"7969_CR41","unstructured":"Koh JM, Koh DE, Thompson J (2024) Readout error mitigation for mid-circuit measurements and feedforward. arXiv preprint arXiv:2406.07611"},{"issue":"7906","key":"7969_CR42","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1038\/s41586-022-04592-6","volume":"604","author":"D Bluvstein","year":"2022","unstructured":"Bluvstein D, Levine H, Semeghini G, Wang TT, Ebadi S, Kalinowski M, Keesling A, Maskara N, Pichler H, Greiner M et al (2022) A quantum processor based on coherent transport of entangled atom arrays. Nature 604(7906):451\u2013456","journal-title":"Nature"},{"issue":"13","key":"7969_CR43","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.126.130502","volume":"126","author":"S Langenfeld","year":"2021","unstructured":"Langenfeld S, Welte S, Hartung L, Daiss S, Thomas P, Morin O, Distante E, Rempe G (2021) Quantum teleportation between remote qubit memories with only a single photon as a resource. Phys Rev Lett 126(13):130502","journal-title":"Phys Rev Lett"},{"key":"7969_CR44","doi-asserted-by":"crossref","unstructured":"Kang H, Kam JF, Mooney GJ, Hollenberg LC (2024) Teleporting two-qubit entanglement across 19 qubits on a superconducting quantum computer. arXiv preprint arXiv:2407.02858","DOI":"10.1103\/PhysRevApplied.23.014057"},{"issue":"6","key":"7969_CR45","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1038\/s42254-023-00588-x","volume":"5","author":"X-M Hu","year":"2023","unstructured":"Hu X-M, Guo Y, Liu B-H, Li C-F, Guo G-C (2023) Progress in quantum teleportation. Nature Rev Phys 5(6):339\u2013353","journal-title":"Nature Rev Phys"},{"key":"7969_CR46","unstructured":"Hua F, Jin Y, Chen Y, Vittal S, Krsulich K, Bishop LS, Lapeyre J, Javadi-Abhari A, Zhang EZ (2022) Exploiting qubit reuse through mid-circuit measurement and reset. arXiv preprint arXiv:2211.01925"},{"key":"7969_CR47","unstructured":"Adams AJ, Khan S, Young JS, Conte TM (2024) Qwerty: A Basis-Oriented Quantum Programming Language. arXiv preprint arxiv:2404.12603"},{"key":"7969_CR48","doi-asserted-by":"crossref","unstructured":"Adams AJ, Khan S, Bhamra A, Abusaada R, Cabrera AM, Hoechst C, Young JS, Conte TM (2025) Compiling qwerty, a basis-oriented quantum programming language. In: Proceedings of the IEEE\/ACM International Symposium on Code Generation and Optimization (CGO \u201825)","DOI":"10.1145\/3696443.3708966"},{"key":"7969_CR49","unstructured":"Xanadu: Pennylane Lightning Simulator (2025). https:\/\/docs.pennylane.ai\/projects\/lightning\/en\/stable\/index.html. Accessed: 2025-03-28"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-025-07969-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-025-07969-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-025-07969-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T13:31:03Z","timestamp":1762349463000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-025-07969-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,5]]},"references-count":49,"journal-issue":{"issue":"16","published-online":{"date-parts":[[2025,11]]}},"alternative-id":["7969"],"URL":"https:\/\/doi.org\/10.1007\/s11227-025-07969-2","relation":{},"ISSN":["1573-0484"],"issn-type":[{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,5]]},"assertion":[{"value":"2 April 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 November 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"All of the material is owned by the authors and\/or no permissions are required.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval and consent to participate"}},{"value":"The authors declare no Conflict of interest.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"The corresponding author has read and understood the publishing policy, and submit this manuscript in accordance with this policy.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}}],"article-number":"1521"}}