{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T16:57:01Z","timestamp":1775667421127,"version":"3.50.1"},"reference-count":168,"publisher":"Association for Computing Machinery (ACM)","issue":"3","funder":[{"name":"Munich Quantum Valley"},{"name":"Bavarian state government with funds from the Hightech Agenda Bayern Plus"},{"DOI":"10.13039\/100021130","name":"Federal Ministry for Economic Affairs and Climate Action","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100021130","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Quantum Comput."],"published-print":{"date-parts":[[2025,9,30]]},"abstract":"<jats:p>Quantum computing (QC) introduces a novel mode of computation with the possibility of greater computational power that remains to be exploitedpresenting exciting opportunities for high-performance computing (HPC) applications. However, recent advancements in the field have made clear that QC does not supplant conventional HPC, but can rather be incorporated into current heterogeneous HPC infrastructures as an additional accelerator, thereby enabling the optimal utilization of both paradigms. The desire for such integration significantly affects the development of software for quantum computers, which in turn influences the necessary software infrastructure. To date, previous review articles have investigated various quantum programming tools (QPTs) (such as languages, libraries, frameworks) in their ability to program, compile, and execute quantum circuits. However, the integration effort with classical HPC frameworks or systems has not been addressed. This study aims to characterize existing QPTs from an HPC perspective, investigating if existing QPTs have the potential to be efficiently integrated with classical computing models and determining where work is still required. This work structures a set of criteria into an analysis blueprint that enables HPC scientists to assess whether a QPT is suitable for a high-performance computing quantum computing (HPCQC) environment.<\/jats:p>","DOI":"10.1145\/3743149","type":"journal-article","created":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T07:35:31Z","timestamp":1749540931000},"page":"1-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Integration of Quantum Accelerators with High Performance Computing\u2014A Review of Quantum Programming Tools"],"prefix":"10.1145","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5797-0820","authenticated-orcid":false,"given":"Amr","family":"Elsharkawy","sequence":"first","affiliation":[{"name":"TUM School of Computation, Information and Technology, Department of Computer Science., Technical University of Munich","place":["Garching, Germany"]}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2407-7892","authenticated-orcid":false,"given":"Xiao-Ting Michelle","family":"To","sequence":"additional","affiliation":[{"name":"Computer Science, MNM Team, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","place":["Munich, Germany"]}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3856-4090","authenticated-orcid":false,"given":"Philipp","family":"Seitz","sequence":"additional","affiliation":[{"name":"TUM School of Computation, Information and Technology, Department of Computer Science., Technical University of Munich","place":["Garching, Germany"]}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1123-1432","authenticated-orcid":false,"given":"Yanbin","family":"Chen","sequence":"additional","affiliation":[{"name":"TUM School of Computation, Information and Technology, Department of Computer Science., Technical University of Munich","place":["Garching, Germany"]}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5785-2528","authenticated-orcid":false,"given":"Yannick","family":"Stade","sequence":"additional","affiliation":[{"name":"TUM School of Computation, Information and Technology, Department of Computer Science., Technical University of Munich","place":["Garching, Germany"]}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3514-8657","authenticated-orcid":false,"given":"Manuel","family":"Geiger","sequence":"additional","affiliation":[{"name":"TUM School of Computation, Information and Technology, Department of Computer Science, Technical University of Munich","place":["Garching, Germany"]}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1289-6559","authenticated-orcid":false,"given":"Qunsheng","family":"Huang","sequence":"additional","affiliation":[{"name":"TUM School of Computation, Information and Technology, Department of Computer Science, Technical University of Munich","place":["Garching, Germany"]}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1697-817X","authenticated-orcid":false,"given":"Xiaorang","family":"Guo","sequence":"additional","affiliation":[{"name":"TUM School of Computation, Information and Technology, Department of Computer Science., Technical University of Munich","place":["Garching, Germany"]}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1833-6170","authenticated-orcid":false,"given":"Muhammad Arslan","family":"Ansari","sequence":"additional","affiliation":[{"name":"TUM School of Computation, Information and Technology, Department of Computer Science., Technical University of Munich","place":["Garching, Germany"]}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6386-0230","authenticated-orcid":false,"given":"Christian B.","family":"Mendl","sequence":"additional","affiliation":[{"name":"TUM School of Computation, Information and Technology, Department of Computer Science, Technical University of Munich","place":["Garching, Germany"]},{"name":"Institute for Advanced Study, Technical University of Munich","place":["Garching, Germany"]}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8319-0123","authenticated-orcid":false,"given":"Dieter","family":"Kranzlm\u00fcller","sequence":"additional","affiliation":[{"name":"Computer Science, MNM Team, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","place":["Munich, Germany"]},{"name":"Bavarian Academy of Sciences and Humanities Leibniz Supercomputing Centre","place":["Munich, Germany"]}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9013-435X","authenticated-orcid":false,"given":"Martin","family":"Schulz","sequence":"additional","affiliation":[{"name":"TUM School of Computation, Information and Technology, Department of Computer Science, Technical University of Munich","place":["Garching, Germany"]},{"name":"Bavarian Academy of Sciences and Humanities Leibniz Supercomputing Centre","place":["Garching, Germany"]}]}],"member":"320","published-online":{"date-parts":[[2025,7,12]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1612.05903"},{"key":"e_1_3_2_3_2","volume-title":"Structure and Interpretation of Computer Programs (2 ed.)","author":"Abelson Harold","year":"1996","unstructured":"Harold Abelson and Gerald Jay Sussman. 1996. Structure and Interpretation of Computer Programs (2 ed.). MIT Press, London, England. Retrieved from http:\/\/library.oapen.org\/handle\/20.500.12657\/26092"},{"key":"e_1_3_2_4_2","first-page":"43","volume-title":"Scaffold: Quantum Programming Language","author":"Abhari Ali Javadi","year":"2012","unstructured":"Ali Javadi Abhari, Arvin Faruque, Mohammad Javad Dousti, Lukas Svec, Oana Catu, Amlan Chakrabati, Chen-Fu Chiang, Seth Vanderwilt, John Black, Fred Chong, Margaret Martonosi, Martin Suchara, Ken Brown, Massoud Pedram, and Todd Brun. 2012. Scaffold: Quantum Programming Language. Technical Report. Princeton Univ NJ Dept of Computer Science. 43 pages. Retrieved from https:\/\/www.cs.princeton.edu\/research\/techreps\/TR-934-12"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","unstructured":"Gadi Aleksandrowicz Thomas Alexander Panagiotis Barkoutsos Luciano Bello Yael Ben-Haim David Bucher Francisco Jose Cabrera-Hern\u00e1ndez Jorge Carballo-Franquis Adrian Chen Chun-Fu Chen Jerry M. Chow Antonio D. C\u00f3rcoles-Gonzales Abigail J. Cross Andrew Cross Juan Cruz-Benito Chris Culver Salvador De La Puente Gonz\u00e1lez Enrique De La Torre Delton Ding Eugene Dumitrescu Ivan Duran Pieter Eendebak Mark Everitt Ismael Faro Sertage Albert Frisch Andreas Fuhrer Jay Gambetta Borja Godoy Gago Juan Gomez-Mosquera Donny Greenberg Ikko Hamamura Vojtech Havlicek Joe Hellmers \u0139ukasz Herok Hiroshi Horii Shaohan Hu Takashi Imamichi Toshinari Itoko Ali Javadi-Abhari Naoki Kanazawa Anton Karazeev Kevin Krsulich Peng Liu Yang Luh Yunho Maeng Manoel Marques Francisco Jose Mart\u00edn-Fern\u00e1ndez Douglas T. McClure David McKay Srujan Meesala Antonio Mezzacapo Nikolaj Moll Diego Moreda Rodr\u00edguez Giacomo Nannicini Paul Nation Pauline Ollitrault Lee James O\u2019Riordan Hanhee Paik Jes\u00fas P\u00e9rez Anna Phan Marco Pistoia Viktor Prutyanov Max Reuter Julia Rice Abd\u00f3n Rodr\u00edguez Davila Raymond Harry Putra Rudy Mingi Ryu Ninad Sathaye Chris Schnabel Eddie Schoute Kanav Setia Yunong Shi Adenilton Silva Yukio Siraichi Seyon Sivarajah John A. Smolin Mathias Soeken Hitomi Takahashi Ivano Tavernelli Charles Taylor Pete Taylour Kenso Trabing Matthew Treinish Wes Turner Desiree Vogt-Lee Christophe Vuillot Jonathan A. Wildstrom Jessica Wilson Erick Winston Christopher Wood Stephen Wood Stefan W\u00f6rner Ismail Yunus Akhalwaya and Christa Zoufal. 2019. Qiskit: An Open-source Framework for Quantum Computing. Version 0.7.2. Zenodo. 10.5281\/zenodo.2562111","DOI":"10.5281\/zenodo.2562111"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","unstructured":"Thorsten Altenkirch and Jonathan Grattage. 2005. A functional quantum programming language. In Proceedings of the Twentieth Annual IEEE Symposium on Logic in Computer Science (LICS 2005). IEEE Computer Society Press 249\u2013258. DOI:10.1109\/lics.2005.1","DOI":"10.1109\/lics.2005.1"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139193313.006"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2019.102584"},{"key":"e_1_3_2_9_2","volume-title":"Amazon Braket: Developer Guide","author":"Amazon Web Services, Inc","year":"2023","unstructured":"Amazon Web Services, Inc 2023. Amazon Braket: Developer Guide. Amazon Web Services, Inc. Retrieved from https:\/\/docs.aws.amazon.com\/braket\/latest\/developerguide\/braket-get-started.html"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab9359"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41567-020-0920-y"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-019-1666-5"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110848"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1038\/nphys2253"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","unstructured":"Valeria Bartsch Guillaume Colin de Verdi\u00e8re Jean-Philippe Nomin\u00e9 Daniele Ottaviani Daniele Dragoni Chayma Bouazza Fabrizio Magugliani David Bowden Cyril Allouche Mikael Johansson Olivier Terzo Andrea Scarabosio Giacomo Vitali Farida Shagieva and Kristel Michielsen. 2021. <QC|HPC>: Quantum for HPC. DOI:10.5281\/zenodo.5555960","DOI":"10.5281\/zenodo.5555960"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00119"},{"key":"e_1_3_2_17_2","unstructured":"Ville Bergholm Josh Izaac Maria Schuld Christian Gogolin Shahnawaz Ahmed Vishnu Ajith M. Sohaib Alam Guillermo Alonso-Linaje B. AkashNarayanan Ali Asadi Juan Miguel Arrazola Utkarsh Azad Sam Banning Carsten Blank Thomas R. Bromley Benjamin A. Cordier Jack Ceroni Alain Delgado Olivia Di Matteo Amintor Dusko Tanya Garg Diego Guala Anthony Hayes Ryan Hill Aroosa Ijaz Theodor Isacsson David Ittah Soran Jahangiri Prateek Jain Edward Jiang Ankit Khandelwal Korbinian Kottmann Robert A. Lang Christina Lee Thomas Loke Angus Lowe Keri McKiernan Johannes Jakob Meyer J. A. Monta\u00f1ez-Barrera Romain Moyard Zeyue Niu Lee James O\u2019Riordan Steven Oud Ashish Panigrahi Chae-Yeun Park Daniel Polatajko Nicol\u00e1s Quesada Chase Roberts Nahum S\u00e1 Isidor Schoch Borun Shi Shuli Shu Sukin Sim Arshpreet Singh Ingrid Strandberg Jay Soni Antal Sz\u00e1va Slimane Thabet Rodrigo A. Vargas-Hern\u00e1ndez Trevor Vincent Nicola Vitucci Maurice Weber David Wierichs Roeland Wiersema Moritz Willmann Vincent Wong Shaoming Zhang and Nathan Killoran. 2022. PennyLane: Automatic differentiation of hybrid quantum-classical computations. Retrieved from https:\/\/arxiv.org\/abs\/1811.04968"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1140\/epjd\/e2003-00242-2"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386007"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/M-PDT.1994.329796"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1063\/5.0082975"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","unstructured":"Marcello Caleffi Michele Amoretti Davide Ferrari Jessica Illiano Antonio Manzalini and Angela Sara Cacciapuoti. 2024. Distributed quantum computing: A survey. Computer Networks 254 (December 2024) 110672. DOI:10.1016\/j.comnet.2024.110672","DOI":"10.1016\/j.comnet.2024.110672"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00116"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1038\/nature23460"},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-022-00611-6"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00354-022-00163-5"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.91.025001"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1038\/nature23459"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/3485008"},{"key":"e_1_3_2_30_2","unstructured":"Oxford Quantum Circui. 2024. Rasqal. Retrieved June 19 2025 from https:\/\/github.com\/oqc-community\/rasqal"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3371131"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1103\/prxquantum.2.030322"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.TQC.2019.5"},{"key":"e_1_3_2_34_2","unstructured":"Andrew W. Cross Lev S. Bishop John A. Smolin and Jay M. Gambetta. 2017. Open quantum assembly language. Retrieved from https:\/\/arxiv.org\/abs\/1707.03429"},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3505636"},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1049\/iet-qtc.2020.0002"},{"key":"e_1_3_2_37_2","unstructured":"Cirq Developers. 2022. Cirq. Retrieved June 19 2025 from https:\/\/github.com\/quantumlib\/Cirq\/graphs\/contributors"},{"key":"e_1_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevResearch.4.043007"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-022-00636-x"},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE60285.2024.00097"},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","unstructured":"Amr Elsharkawy Xiaorang Guo and Martin Schulz. 2025. Bridge the gap between HPC systems and various quantum platforms: A unified quantum platform. Software Engineering 2025 - Companion Proceedings 2944-7682 (2025) DOI:10.18420\/se2025-ws-16","DOI":"10.18420\/se2025-ws-16"},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.10304"},{"key":"e_1_3_2_43_2","unstructured":"Edward Farhi Jeffrey Goldstone and Sam Gutmann. 2014. A Quantum approximate optimization algorithm. Retrieved from https:\/\/arxiv.org\/abs\/1411.4028"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1142\/s0218194013500137"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2016.09.007"},{"key":"e_1_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0208561"},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.86.032324"},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-52482-1_9"},{"key":"e_1_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/3373718.3394765"},{"key":"e_1_3_2_50_2","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2019.00040"},{"key":"e_1_3_2_51_2","doi-asserted-by":"publisher","DOI":"10.1145\/3123939.3123952"},{"key":"e_1_3_2_52_2","doi-asserted-by":"publisher","DOI":"10.1145\/3483528"},{"key":"e_1_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11831-019-09372-6"},{"key":"e_1_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005378"},{"key":"e_1_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040318"},{"key":"e_1_3_2_56_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.3039"},{"key":"e_1_3_2_57_2","unstructured":"Louis Golowich and Venkatesan Guruswami. 2023. Quantum Locally Recoverable Codes. arXiv:2311.08653. Retrieved from https:\/\/arxiv.org\/abs\/2311.08653"},{"key":"e_1_3_2_58_2","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.3.040326"},{"key":"e_1_3_2_59_2","volume-title":"Stabilizer Codes and Quantum Error Correction","author":"Gottesman Daniel","year":"1997","unstructured":"Daniel Gottesman. 1997. Stabilizer Codes and Quantum Error Correction. California Institute of Technology, Pasadena, California. Retrieved from https:\/\/thesis.library.caltech.edu\/2900\/2\/THESIS.pdf"},{"key":"e_1_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_2_61_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD58817.2023.00023"},{"key":"e_1_3_2_62_2","unstructured":"Xiaorang Guo Jonas Winklmann Dirk Stober Amr Elsharkawy and Martin Schulz. 2024. Design of an FPGA-Based Neutral Atom Rearrangement Accelerator for Quantum Computing. arXiv:2411.12401. Retrieved from https:\/\/arxiv.org\/abs\/2411.12401"},{"key":"e_1_3_2_63_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2018.11.002"},{"key":"e_1_3_2_64_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.125.250501"},{"key":"e_1_3_2_65_2","doi-asserted-by":"publisher","DOI":"10.5555\/1855048"},{"key":"e_1_3_2_66_2","doi-asserted-by":"publisher","unstructured":"Anthony J. G. Hey. 1996. High Performance Computing: Past Present and Future. 217\u2013227. DOI:10.5170\/CERN-1996-008.217","DOI":"10.5170\/CERN-1996-008.217"},{"key":"e_1_3_2_67_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-83274-2"},{"key":"e_1_3_2_68_2","unstructured":"Kesha Hietala. 2016. Quantum Programming Languages. Retrieved June 19 2025 from https:\/\/khieta.github.io\/files\/drafts\/quantum-pl-survey.pdf"},{"key":"e_1_3_2_69_2","doi-asserted-by":"publisher","DOI":"10.1145\/3571725"},{"key":"e_1_3_2_70_2","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/14\/12\/123011"},{"key":"e_1_3_2_71_2","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2021.3099140"},{"key":"e_1_3_2_72_2","volume-title":"IBM Technology Atlas Quantum Roadmap","year":"2024","unstructured":"IBM. 2024. IBM Technology Atlas Quantum Roadmap. IBM. Retrieved July 11, 2024 from https:\/\/www.ibm.com\/roadmaps\/quantum.pdf"},{"key":"e_1_3_2_73_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-94437-7_7"},{"key":"e_1_3_2_74_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2014.12.001"},{"key":"e_1_3_2_75_2","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2018.021651343"},{"issue":"8","key":"e_1_3_2_76_2","first-page":"409","article-title":"A programmer\u2019s survey of the quantum computing paradigm","volume":"1","author":"Jorrand Philippe","year":"2007","unstructured":"Philippe Jorrand. 2007. A programmer\u2019s survey of the quantum computing paradigm. International Journal of Nuclear and Quantum Engineering 1, 8 (2007), 409\u2013415. Retrieved from https:\/\/publications.waset.org\/vol\/8","journal-title":"International Journal of Nuclear and Quantum Engineering"},{"key":"e_1_3_2_77_2","doi-asserted-by":"publisher","DOI":"10.1145\/977091.977108"},{"key":"e_1_3_2_78_2","doi-asserted-by":"publisher","DOI":"10.1080\/09500349414552171"},{"key":"e_1_3_2_79_2","unstructured":"Pradnya Khalate Xin-Chuan Wu Shavindra Premaratne Justin Hogaboam Adam Holmes Albert Schmitz Gian Giacomo Guerreschi Xiang Zou and A. Y. Matsuura. 2022. An LLVM-based C++ Compiler toolchain for variational hybrid quantum-classical algorithms and quantum accelerators. Retrieved from https:\/\/arxiv.org\/abs\/2202.11142"},{"key":"e_1_3_2_80_2","doi-asserted-by":"publisher","DOI":"10.1145\/3474222"},{"key":"e_1_3_2_81_2","unstructured":"N. Khammassi G. G. Guerreschi I. Ashraf J. W. Hogaboam C. G. Almudever and K. Bertels. 2018. cQASM v1.0: Towards a common quantum assembly language. Retrieved from https:\/\/arxiv.org\/abs\/1805.09607"},{"key":"e_1_3_2_82_2","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-03-11-129"},{"key":"e_1_3_2_83_2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC56929.2023.10247886"},{"key":"e_1_3_2_84_2","doi-asserted-by":"publisher","DOI":"10.2172\/366453"},{"key":"e_1_3_2_85_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.109.186404"},{"key":"e_1_3_2_86_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.11.031057"},{"key":"e_1_3_2_87_2","doi-asserted-by":"publisher","DOI":"10.1063\/1.5089550"},{"key":"e_1_3_2_88_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2018.02.004"},{"key":"e_1_3_2_89_2","doi-asserted-by":"publisher","DOI":"10.1038\/nature08812"},{"key":"e_1_3_2_90_2","doi-asserted-by":"publisher","DOI":"10.1145\/3295500.3356176"},{"key":"e_1_3_2_91_2","unstructured":"Marie Lalire and Philippe Jorrand. 2004. A process algebraic approach to concurrent and distributed quantum computation: operational semantics. Retrieved from https:\/\/arxiv.org\/abs\/quant-ph\/0407005"},{"key":"e_1_3_2_92_2","doi-asserted-by":"publisher","DOI":"10.1145\/2505351.2505357"},{"key":"e_1_3_2_93_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01461-2_8"},{"key":"e_1_3_2_94_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2013.6657075"},{"key":"e_1_3_2_95_2","doi-asserted-by":"publisher","DOI":"10.1109\/MNANO.2022.3175405"},{"key":"e_1_3_2_96_2","doi-asserted-by":"publisher","DOI":"10.1038\/nphys3029"},{"key":"e_1_3_2_97_2","unstructured":"Gaojun Luo Bocong Chen Martianus Frederic Ezerman and San Ling. 2023. Bounds and constructions of quantum locally recoverable codes from quantum CSS codes. Retrieved from https:\/\/arxiv.org\/abs\/2312.11115"},{"key":"e_1_3_2_98_2","unstructured":"Wolfgang Mauerer. 2005. Semantics and simulation of communication in quantum programming. Retrieved from https:\/\/arxiv.org\/abs\/quant-ph\/0511145"},{"key":"e_1_3_2_99_2","unstructured":"Philip Maymin. 1997. Extending the lambda calculus to express randomized and quantumized algorithms. Retrieved from https:\/\/arxiv.org\/abs\/quant-ph\/9612052"},{"key":"e_1_3_2_100_2","doi-asserted-by":"publisher","DOI":"10.1145\/3462670"},{"key":"e_1_3_2_101_2","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab6bf6"},{"key":"e_1_3_2_102_2","volume-title":"MPI: A Message-Passing Interface Standard Version 4.0","author":"Forum Message Passing Interface","year":"2021","unstructured":"Message Passing Interface Forum. 2021. MPI: A Message-Passing Interface Standard Version 4.0. Message Passing Interface Forum. Retrieved from https:\/\/www.mpi-forum.org\/docs\/mpi-4.0\/mpi40-report.pdf"},{"key":"e_1_3_2_103_2","doi-asserted-by":"publisher","DOI":"10.1145\/3380964"},{"key":"e_1_3_2_104_2","doi-asserted-by":"publisher","DOI":"10.2478\/v10175-011-0039-5"},{"key":"e_1_3_2_105_2","unstructured":"Hynek Mlnar\u0131k. 2006. Introduction to LanQ\u2013an Imperative Quantum Programming Language. Retrieved June 19 2025 from https:\/\/lanq.sourceforge.net\/doc\/introToLanQ.pdf"},{"key":"e_1_3_2_106_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-018-0072-4"},{"key":"e_1_3_2_107_2","doi-asserted-by":"publisher","DOI":"10.1145\/3544496"},{"key":"e_1_3_2_108_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511976667"},{"key":"e_1_3_2_109_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0509-9_13"},{"key":"e_1_3_2_110_2","volume-title":"cuda-compiling","year":"2023","unstructured":"NVIDIA. 2023. cuda-compiling. NVIDIA. Retrieved June 24, 2024 from https:\/\/nvidia.github.io\/cuda-quantum\/0.4.0\/using\/cudaq\/compiling.html"},{"key":"e_1_3_2_111_2","volume-title":"CUDA Quantum for Hybrid Quantum-Classical Computing | NVIDIA Developer","year":"2023","unstructured":"NVIDIA. 2023. CUDA Quantum for Hybrid Quantum-Classical Computing | NVIDIA Developer. NVIDIA. Retrieved June 18, 2024 from https:\/\/developer.nvidia.com\/cuda-q"},{"key":"e_1_3_2_112_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4118-8_4"},{"key":"e_1_3_2_113_2","volume-title":"A Procedural Formalism for Quantum Computing","author":"\u00d6mer Bernhard","year":"1998","unstructured":"Bernhard \u00d6mer. 1998. A Procedural Formalism for Quantum Computing. Master\u2019s thesis. Technical University of Vienna. Retrieved from http:\/\/tph.tuwien.ac.at\/oemer\/doc\/qcldoc.pdf"},{"key":"e_1_3_2_114_2","volume-title":"Quantum Programming in QCL","author":"\u00d6mer Bernhard","year":"2000","unstructured":"Bernhard \u00d6mer. 2000. Quantum Programming in QCL. Master\u2019s thesis. Technical University of Vienna. Retrieved from http:\/\/tph.tuwien.ac.at\/oemer\/doc\/quprog.pdf"},{"key":"e_1_3_2_115_2","volume-title":"Structured Quantum Programming","author":"\u00d6mer Bernhard","year":"2003","unstructured":"Bernhard \u00d6mer. 2003. Structured Quantum Programming. Ph. D. Dissertation. Technical University of Vienna. Retrieved from http:\/\/tph.tuwien.ac.at\/oemer\/doc\/structquprog.pdf"},{"key":"e_1_3_2_116_2","unstructured":"OpenMP Architecture Review Board. 2008. OpenMP Application Program Interface Version 3.0. Retrieved June 19 2025 from http:\/\/www.openmp.org\/mp-documents\/spec30.pdf"},{"key":"e_1_3_2_117_2","doi-asserted-by":"publisher","DOI":"10.1109\/tit.2021.3119384"},{"key":"e_1_3_2_118_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.292.8"},{"key":"e_1_3_2_119_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55911-7_33"},{"key":"e_1_3_2_120_2","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009894"},{"key":"e_1_3_2_121_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2021.102609"},{"key":"e_1_3_2_122_2","doi-asserted-by":"publisher","DOI":"10.1142\/s0129053389000044"},{"key":"e_1_3_2_123_2","unstructured":"Matt Purkeypile. 2009. Cove: A practical quantum computer programming framework. Retrieved from https:\/\/arxiv.org\/abs\/0911.2423"},{"key":"e_1_3_2_124_2","volume-title":"QIR Specification","author":"Alliance QIR","year":"2021","unstructured":"QIR Alliance. 2021. QIR Specification. QIR Alliance. Retrieved June 19, 2025 from https:\/\/github.com\/qir-alliance\/qir-specAlso see https:\/\/qir-alliance.org"},{"key":"e_1_3_2_125_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.287.17"},{"key":"e_1_3_2_126_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE52317.2021.00047"},{"key":"e_1_3_2_127_2","doi-asserted-by":"publisher","DOI":"10.23638\/LMCS-16(1:30)2020"},{"key":"e_1_3_2_128_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.266.11"},{"key":"e_1_3_2_129_2","doi-asserted-by":"publisher","DOI":"10.1002\/qute.202000003"},{"key":"e_1_3_2_130_2","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/aa8072"},{"key":"e_1_3_2_131_2","unstructured":"Neil J. Ross. 2017. Algebraic and logical methods in quantum computation. Retrieved from https:\/\/arxiv.org\/abs\/1510.02198"},{"key":"e_1_3_2_132_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxl057"},{"key":"e_1_3_2_133_2","unstructured":"Martin Ruefenacht Bruno G. Taketani Pasi L\u00e4hteenm\u00e4ki Ville Bergholm Dieter Kranzlm\u00fcller Laura Schulz and Martin Schulz. 2022. Bringing quantum acceleration to supercomputers. Retrieved June 19 2025 from https:\/\/cdn.prod.website-files.com\/6523f13a748909d3e1bbb657\/653a3b4372ec5dfeaf70c857_IQM_HPC-QC-Integration-Whitepaper.pdf"},{"key":"e_1_3_2_134_2","doi-asserted-by":"publisher","DOI":"10.1007\/10722010_6"},{"key":"e_1_3_2_135_2","doi-asserted-by":"publisher","DOI":"10.1109\/QSW59989.2023.00023"},{"key":"e_1_3_2_136_2","doi-asserted-by":"publisher","DOI":"10.5555\/2011477.2011481"},{"key":"e_1_3_2_137_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.10191"},{"key":"e_1_3_2_138_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24754-8_1"},{"key":"e_1_3_2_139_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"e_1_3_2_140_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005238"},{"key":"e_1_3_2_141_2","unstructured":"Amir Shehata Peter Groszkowski Thomas Naughton Murali Gopalakrishnan Meena Elaine Wong Daniel Claudino Rafael Ferreira da Silvaa and Thomas Beck. 2025. Building a Software Stack for Quantum-HPC Integration. arXiv:2503.01787. Retrieved from https:\/\/arxiv.org\/abs\/2503.01787"},{"key":"e_1_3_2_142_2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"e_1_3_2_143_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.R2493"},{"key":"e_1_3_2_144_2","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"e_1_3_2_145_2","unstructured":"Robert S. Smith Michael J. Curtis and William J. Zeng. 2017. A practical quantum instruction set architecture. Retrieved from https:\/\/arxiv.org\/abs\/1608.03355"},{"key":"e_1_3_2_146_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICQNM.2008.15"},{"key":"e_1_3_2_147_2","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-01-31-49"},{"key":"e_1_3_2_148_2","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183901"},{"key":"e_1_3_2_149_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.119.180509"},{"key":"e_1_3_2_150_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-006-0012-y"},{"key":"e_1_3_2_151_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00354-012-0120-0"},{"key":"e_1_3_2_152_2","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539703432165"},{"key":"e_1_3_2_153_2","unstructured":"Andr\u00e9 van Tonder and Miquel Dorca. 2011. Quantum computation categorical semantics and linear logic. Retrieved from https:\/\/arxiv.org\/abs\/quant-ph\/0312174"},{"key":"e_1_3_2_154_2","doi-asserted-by":"publisher","DOI":"10.1145\/3571225"},{"key":"e_1_3_2_155_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.10.021060"},{"key":"e_1_3_2_156_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54807-9_9"},{"key":"e_1_3_2_157_2","doi-asserted-by":"publisher","DOI":"10.1103\/physrevresearch.5.043054"},{"key":"e_1_3_2_158_2","doi-asserted-by":"publisher","unstructured":"Robert Wille Lucas Berent Tobias Forster Jagatheesan Kunasaikaran Kevin Mato Tom Peham Nils Quetschlich Damian Rovara Aaron Sander Ludwig Schmid Daniel Sch\u00f6nberger Yannick Stade and Lukas Burgholzer. 2024. The MQT handbook: A summary of design automation tools and software for quantum computing. In 2024 IEEE International Conference on Quantum Software (QSW) IEEE 1\u20138. DOI:10.1109\/qsw62656.2024.00013","DOI":"10.1109\/qsw62656.2024.00013"},{"key":"e_1_3_2_159_2","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317859"},{"key":"e_1_3_2_160_2","unstructured":"Elaine Wong Vicente Leyton Ortega Daniel Claudino Seth Johnson Sharmin Afrose Meenambika Gowrishankar Anthony M. Cabrera and Travis S. Humble. 2024. A cross-platform execution engine for the quantum intermediate representation. Retrieved from https:\/\/arxiv.org\/abs\/2404.14299"},{"key":"e_1_3_2_161_2","doi-asserted-by":"publisher","DOI":"10.1038\/299802a0"},{"key":"e_1_3_2_162_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-008-0013-z"},{"key":"e_1_3_2_163_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-020-2401-y"},{"key":"e_1_3_2_164_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11434-012-5147-6"},{"key":"e_1_3_2_165_2","doi-asserted-by":"publisher","DOI":"10.1007\/10968987_3"},{"key":"e_1_3_2_166_2","doi-asserted-by":"publisher","unstructured":"Ed Younis Costin C. Iancu Wim Lavrijsen Marc Davis and Ethan Smith. 2021. Berkeley Quantum Synthesis Toolkit (BQSKit) v1. [Computer Software]. 10.11578\/dc.20210603.2","DOI":"10.11578\/dc.20210603.2"},{"key":"e_1_3_2_167_2","doi-asserted-by":"publisher","DOI":"10.1145\/3498691"},{"key":"e_1_3_2_168_2","unstructured":"Jianjun Zhao. 2021. Quantum Software Engineering: Landscapes and Horizons. Retrieved from https:\/\/arxiv.org\/abs\/2007.07047"},{"key":"e_1_3_2_169_2","doi-asserted-by":"publisher","DOI":"10.3390\/app9245472"}],"container-title":["ACM Transactions on Quantum Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3743149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,17]],"date-time":"2025-07-17T12:36:11Z","timestamp":1752755771000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3743149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,12]]},"references-count":168,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,9,30]]}},"alternative-id":["10.1145\/3743149"],"URL":"https:\/\/doi.org\/10.1145\/3743149","relation":{},"ISSN":["2643-6809","2643-6817"],"issn-type":[{"value":"2643-6809","type":"print"},{"value":"2643-6817","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,7,12]]},"assertion":[{"value":"2023-09-11","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-05-16","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-07-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}