{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T13:29:42Z","timestamp":1787318982720,"version":"3.56.0"},"reference-count":81,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T00:00:00Z","timestamp":1662422400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Transactions on Quantum Computing"],"published-print":{"date-parts":[[2022,9,30]]},"abstract":"<jats:p>Quantum assembly languages are machine-independent languages that traditionally describe quantum computation in the circuit model. Open quantum assembly language (OpenQASM 2) was proposed as an imperative programming language for quantum circuits based on earlier QASM dialects. In principle, any quantum computation could be described using OpenQASM 2, but there is a need to describe a broader set of circuits beyond the language of qubits and gates. By examining interactive use cases, we recognize two different timescales of quantum-classical interactions: real-time classical computations that must be performed within the coherence times of the qubits, and near-time computations with less stringent timing. Since the near-time domain is adequately described by existing programming frameworks, we choose in OpenQASM 3 to focus on the real-time domain, which must be more tightly coupled to the execution of quantum operations. We add support for arbitrary control flow as well as calling external classical functions. In addition, we recognize the need to describe circuits at multiple levels of specificity, and therefore we extend the language to include timing, pulse control, and gate modifiers. These new language features create a multi-level intermediate representation for circuit development and optimization, as well as control sequence implementation for calibration, characterization, and error mitigation.<\/jats:p>","DOI":"10.1145\/3505636","type":"journal-article","created":{"date-parts":[[2022,3,2]],"date-time":"2022-03-02T10:49:31Z","timestamp":1646218171000},"page":"1-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":220,"title":["OpenQASM\u00a03: A Broader and Deeper Quantum Assembly Language"],"prefix":"10.1145","volume":"3","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9786-8196","authenticated-orcid":false,"given":"Andrew","family":"Cross","sequence":"first","affiliation":[{"name":"IBM Quantum, IBM T. J. Watson Research Center, Yorktown Heights, NY"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8022-2695","authenticated-orcid":false,"given":"Ali","family":"Javadi-Abhari","sequence":"additional","affiliation":[{"name":"IBM Quantum, IBM T. J. Watson Research Center, Yorktown Heights, NY"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3452-0082","authenticated-orcid":false,"given":"Thomas","family":"Alexander","sequence":"additional","affiliation":[{"name":"IBM Quantum, IBM T. J. Watson Research Center, Yorktown Heights, NY"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9549-5146","authenticated-orcid":false,"given":"Niel","family":"De Beaudrap","sequence":"additional","affiliation":[{"name":"Dept. Informatics, University of Sussex, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1318-1149","authenticated-orcid":false,"given":"Lev S.","family":"Bishop","sequence":"additional","affiliation":[{"name":"IBM Quantum, IBM T. J. Watson Research Center, Yorktown Heights, NY"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5222-1003","authenticated-orcid":false,"given":"Steven","family":"Heidel","sequence":"additional","affiliation":[{"name":"AWS Center for Quantum Computing, Pasadena, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9923-3354","authenticated-orcid":false,"given":"Colm A.","family":"Ryan","sequence":"additional","affiliation":[{"name":"AWS Center for Quantum Computing, Pasadena, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9383-8624","authenticated-orcid":false,"given":"Prasahnt","family":"Sivarajah","sequence":"additional","affiliation":[{"name":"AWS Center for Quantum Computing, Pasadena, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Smolin","sequence":"additional","affiliation":[{"name":"IBM Quantum, IBM T. J. Watson Research Center, Yorktown Heights, NY"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jay M.","family":"Gambetta","sequence":"additional","affiliation":[{"name":"IBM Quantum, IBM T. J. Watson Research Center, Yorktown Heights, NY"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6880-4828","authenticated-orcid":false,"given":"Blake R.","family":"Johnson","sequence":"additional","affiliation":[{"name":"IBM Quantum, IBM T. J. Watson Research Center, Yorktown Heights, NY"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,9,6]]},"reference":[{"key":"e_1_3_2_2_2","unstructured":"Retrieved from https:\/\/quantum-computing.ibm.com\/ IBM Quantum Experience"},{"key":"e_1_3_2_3_2","unstructured":"https:\/\/qiskit.github.io\/openqasm\/ OpenQASM 3.x Live Specification"},{"key":"e_1_3_2_4_2","unstructured":"https:\/\/github.com\/rigetticomputing\/pyquil PyQuil"},{"key":"e_1_3_2_5_2","unstructured":"https:\/\/github.com\/BBN-Q\/QGL Quantum Gate Language (QGL)"},{"key":"e_1_3_2_6_2","unstructured":"Retrieved from https:\/\/github.com\/microsoft\/qsharp-language\/tree\/main\/Specifications\/QIR Quantum Intermediate Representation (QIR)"},{"key":"e_1_3_2_7_2","unstructured":"https:\/\/www.quantum-machines.co\/blog\/keep-your-finger-on-the-pulse-with-qua-a-pulse-level-quantum-programming-language\/ Quantum Machines Qua"},{"key":"e_1_3_2_8_2","unstructured":"Retrieved from https:\/\/github.com\/quil-lang\/quil\/blob\/master\/rfcs\/analog\/proposal.md Quil analog control RFC"},{"key":"e_1_3_2_9_2","unstructured":"https:\/\/github.com\/zhinst\/zhinst-toolkit Zurich Instruments QCCS"},{"key":"e_1_3_2_10_2","unstructured":"https:\/\/projectq.ch ProjectQ"},{"key":"e_1_3_2_11_2","unstructured":"https:\/\/github.com\/microsoft\/qsharp-language Q#"},{"key":"e_1_3_2_12_2","unstructured":"http:\/\/www.mathstat.dal.ca\/~selinger\/quipper\/ The Quipper Language"},{"key":"e_1_3_2_13_2","doi-asserted-by":"crossref","DOI":"10.1137\/S0097539799359385","article-title":"Fault-tolerant quantum computation with constant error rate","author":"Aharonov D.","year":"2008","unstructured":"D. Aharonov and M. Ben-Or. 2008. Fault-tolerant quantum computation with constant error rate. SIAM Journal on Computing 38, 4 (2008), 1207\u20131282.","journal-title":"SIAM Journal on Computing"},{"issue":"044006","key":"e_1_3_2_14_2","article-title":"Qiskit Pulse: Programming quantum computers through the cloud with pulses","volume":"5","author":"Alexander T.","year":"2020","unstructured":"T. Alexander, N. Kanazawa, D. J. Egger, L. Capelluto, C. J. Wood, A. Javadi-Abhari, and D. McKay. 2020. Qiskit Pulse: Programming quantum computers through the cloud with pulses. Quantum Science and Technology 5, 044006 (2020).","journal-title":"Quantum Science and Technology"},{"key":"e_1_3_2_15_2","volume-title":"Proceedings of the Lecture Notes in Computer Science, Vol 11497.","author":"Amy M.","year":"2019","unstructured":"M. Amy. 2019. Sized types for low-level quantum metaprogramming. In Proceedings of the Lecture Notes in Computer Science, Vol 11497. Reversible Computation. RC 2019, Springer."},{"key":"e_1_3_2_16_2","doi-asserted-by":"crossref","DOI":"10.1117\/12.604073","article-title":"QUALE: Quantum architecture layout evaluator","volume":"103","author":"Balensiefer S.","year":"2005","unstructured":"S. Balensiefer, L. Kreger-Stickles, and M. Oskin. 2005. QUALE: Quantum architecture layout evaluator. In Proceedings of the Quantum Information and Computation III 103 (2005).","journal-title":"Proceedings of the Quantum Information and Computation III"},{"key":"e_1_3_2_17_2","doi-asserted-by":"crossref","DOI":"10.1103\/PhysRevA.52.3457","article-title":"Elementary gates for quantum computation","volume":"52","author":"Barenco A.","year":"1995","unstructured":"A. Barenco, C. Bennett, R. Cleve, D. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. Smolin, and H. Weinfurter. 1995. Elementary gates for quantum computation. Physical Review A 52, 5 (1995), 3457.","journal-title":"Physical Review A"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.70.1895"},{"key":"e_1_3_2_19_2","author":"Bishop Lev","unstructured":"Lev Bishop, Steven Heidel, Bettina Heim, Ali Javadi, Blake Johnson, and Philipp Schindler. [n.d.]. Retrieved March 16, 2022 from https:\/\/medium.com\/qiskit\/introducing-a-technical-steering-committee-for-openqasm3-f9db808108e1.","journal-title":"Retrieved March 16, 2022 from https:\/\/medium.com\/qiskit\/introducing-a-technical-steering-committee-for-openqasm3-f9db808108e1"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.1492176"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.71.022316"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1063\/1.5088164"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICRC2020.2020.00011"},{"key":"e_1_3_2_24_2","article-title":"qasm2circ","author":"Chuang I.","unstructured":"I. Chuang. 2005, accessed November 2020. qasm2circ. Retrieved from http:\/\/www.media.mit.edu\/quanta\/qasm2circ\/.","journal-title":"http:\/\/www.media.mit.edu\/quanta\/qasm2circ\/"},{"key":"e_1_3_2_25_2","doi-asserted-by":"crossref","unstructured":"M. Cococcionia M. Pappalardo and Y. D. Sergeyev. 2018. Lexicographic multi-objective linear programming using grossone methodology: Theory and algorithm. Applied Mathematics and Computation 318 C (2018) 298\u2013311.","DOI":"10.1016\/j.amc.2017.05.058"},{"issue":"53","key":"e_1_3_2_26_2","first-page":"157","article-title":"V12. 1: User\u2019s manual for CPLEX","volume":"46","author":"Cplex IBM ILOG","year":"2009","unstructured":"IBM ILOG Cplex. 2009. V12. 1: User\u2019s manual for CPLEX. International Business Machines Corporation 46, 53 (2009), 157.","journal-title":"International Business Machines Corporation"},{"key":"e_1_3_2_27_2","article-title":"qasm-tools","author":"Cross A. W.","year":"2005","unstructured":"A. W. Cross. 2005. qasm-tools. Retrieved from http:\/\/www.media.mit.edu\/quanta\/quanta-web\/projects\/qasm-tools\/. accessed November 2020.","journal-title":"Retrieved from http:\/\/www.media.mit.edu\/quanta\/quanta-web\/projects\/qasm-tools\/"},{"key":"e_1_3_2_28_2","article-title":"Open quantum assembly language","author":"Cross A. W.","year":"2017","unstructured":"A. W. Cross, L. Bishop, J. Smolin, and J. Gambetta. 2017. Open quantum assembly language. arXiv:1707.03429. Retrieved from https:\/\/arxiv.org\/abs\/1707.03429.","journal-title":"arXiv:1707.03429"},{"key":"e_1_3_2_29_2","article-title":"A scalable decoder micro-architecture for fault-tolerant quantum computing","author":"Das P.","year":"2020","unstructured":"P. Das, C. A. Pattison, S. Manne, D. Carmean, K. Svore, M. Qureshi, and N. Delfosse. 2020. A scalable decoder micro-architecture for fault-tolerant quantum computing. arXiv:2001.06598. Retrieved from https:\/\/arxiv.org\/abs\/2001.06598.","journal-title":"arXiv:2001.06598"},{"issue":"7","key":"e_1_3_2_30_2","doi-asserted-by":"crossref","first-page":"070503","DOI":"10.1103\/PhysRevLett.110.070503","article-title":"Universal set of scalable dynamically corrected gates for quantum error correction with always-on qubit couplings","volume":"110","author":"De A.","year":"2013","unstructured":"A. De and L. P. Pryadko. 2013. Universal set of scalable dynamically corrected gates for quantum error correction with always-on qubit couplings. Physical Review Letters 110, 7 (2013), 070503.","journal-title":"Physical Review Letters"},{"key":"e_1_3_2_31_2","article-title":"ReQASM: A recursive extension to OpenQASM","author":"Beaudrap N. de","year":"2019","unstructured":"N. de Beaudrap. 2019. ReQASM: A recursive extension to OpenQASM. Private Communication (2019).","journal-title":"Private Communication"},{"key":"e_1_3_2_32_2","article-title":"Hierarchical decoding to reduce hardware requirements for quantum computing","author":"Delfosse N.","year":"2020","unstructured":"N. Delfosse. 2020. Hierarchical decoding to reduce hardware requirements for quantum computing. arXiv:2001.11427. Retrieved from https:\/\/arxiv.org\/abs\/2001.11427.","journal-title":"arXiv:2001.11427"},{"key":"e_1_3_2_33_2","article-title":"yquant: Typesetting quantum circuits in a human-readable language","author":"Desef B.","year":"2020","unstructured":"B. Desef. 2020. yquant: Typesetting quantum circuits in a human-readable language. arXiv:2007.12931. Retrieved from https:\/\/arxiv.org\/abs\/2007.12931.","journal-title":"arXiv:2007.12931"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1989.0099"},{"issue":"3","key":"e_1_3_2_35_2","doi-asserted-by":"crossref","first-page":"030306","DOI":"10.1103\/PhysRevA.76.030306","article-title":"Arbitrary accuracy iterative quantum phase estimation algorithm using a single ancillary qubit: A two-qubit benchmark","volume":"76","author":"Dob\u0161\u00ed\u010dek M.","year":"2007","unstructured":"M. Dob\u0161\u00ed\u010dek, G. Johansson, V. Shumeiko, and G. Wendin. 2007. Arbitrary accuracy iterative quantum phase estimation algorithm using a single ancillary qubit: A two-qubit benchmark. Physical Review A 76, 3 (2007), 030306.","journal-title":"Physical Review A"},{"issue":"4","key":"e_1_3_2_36_2","article-title":"Squash 2: A hierarchical scalable quantum mapper considering ancilla sharing","volume":"16","author":"Dousti M.","year":"2016","unstructured":"M. Dousti, A. Shafaei, and M. Pedram. 2016. Squash 2: A hierarchical scalable quantum mapper considering ancilla sharing. Quantum Information & and Computation 16, 4 (2016), 332\u2013356.","journal-title":"Quantum Information & and Computation"},{"issue":"180501","key":"e_1_3_2_37_2","article-title":"Towards practical classical processing for the surface code","volume":"108","author":"Fowler A. G.","year":"2012","unstructured":"A. G. Fowler, A. C. Whiteside, and L. C. L. Hollenberg. 2012. Towards practical classical processing for the surface code. Physical Review Letters 108, 180501 (2012), 180501.","journal-title":"Physical Review Letters"},{"key":"e_1_3_2_38_2","article-title":"eQASM: An executable quantum instruction set architecture","author":"Fu X.","year":"2019","unstructured":"X. Fu, L. Riesebos, M. A. Rol, J. van Straten, J. van Someren, N. Khammassi, I. Ashraf, R. F. L. Vermeulen, V. Newsum, K. K. L. Loh, J. C. de Sterke, W. J. Vlothuizen, R. N. Schouten, C. G. Almudever, L. DiCarlo, and K. Bertels. 2019. eQASM: An executable quantum instruction set architecture. In Proceedings of the 25th International Symposium on High-Performance Computer Architecture (HPCA19) (2019).","journal-title":"Proceedings of the 25th International Symposium on High-Performance Computer Architecture (HPCA19)"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/3123939.3123952"},{"issue":"24","key":"e_1_3_2_40_2","doi-asserted-by":"crossref","first-page":"240504","DOI":"10.1103\/PhysRevLett.109.240504","article-title":"Characterization of addressability by simultaneous randomized benchmarking","volume":"109","author":"Gambetta J. M.","year":"2012","unstructured":"J. M. Gambetta, A. D. C\u00f3rcoles, S. T. Merkel, B. R. Johnson, J. A. Smolin, J. M. Chow, C. A. Ryan, C. Rigetti, S. Poletto, T. A. Ohki, Mark B. Ketchen, and M. Steffen. 2012. Characterization of addressability by simultaneous randomized benchmarking. Physical Review Letters 109, 24 (2012), 240504.","journal-title":"Physical Review Letters"},{"issue":"12","key":"e_1_3_2_41_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1140\/epjd\/e2015-60464-1","article-title":"Training Schr\u00f6dinger\u2019s cat: Quantum optimal control","volume":"69","author":"Glaser S. J.","year":"2015","unstructured":"S. J. Glaser, U. Boscain, T. Calarco, C. P. Koch, W. K\u00f6ckenberger, R. Kosloff, I. Kuprov, B. Luy, S. Schirmer, T. Schulte-Herbr\u00fcggen, et al. 2015. Training Schr\u00f6dinger\u2019s cat: Quantum optimal control. The European Physical Journal D 69, 12 (2015), 1\u201324.","journal-title":"The European Physical Journal D"},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRev.80.580"},{"key":"e_1_3_2_43_2","doi-asserted-by":"crossref","DOI":"10.1145\/2597917.2597939","article-title":"ScaffCC: A framework for compilation and analysis of quantum computing programs","author":"Javadi-Abhari A.","year":"2014","unstructured":"A. Javadi-Abhari, S. Patil, D. Kudrow, J. Heckey, A. Lvov, F. Chong, and M. Martonosi. 2014. ScaffCC: A framework for compilation and analysis of quantum computing programs. In Proceedings of the ACM International Conference on Computing Frontiers (CF 2014) (2014).","journal-title":"Proceedings of the ACM International Conference on Computing Frontiers (CF 2014)"},{"issue":"1","key":"e_1_3_2_44_2","doi-asserted-by":"crossref","DOI":"10.1145\/1013208.1013209","article-title":"Advances in dataflow programming languages","volume":"36","author":"Johnston W. M.","year":"2004","unstructured":"W. M. Johnston, J. R. Paul Hanna, and R. J. Millar. 2004. Advances in dataflow programming languages. Computing Surveys 36, 1 (2004), 1\u201334.","journal-title":"Computing Surveys"},{"key":"e_1_3_2_45_2","unstructured":"R. Josza. 2005. An introduction to measurement based quantum computation. arxiv:0508124 [quant-ph]."},{"key":"e_1_3_2_46_2","doi-asserted-by":"crossref","DOI":"10.1088\/2058-9565\/abe519","article-title":"Demonstration of quantum volume 64 on a superconducting quantum computing system","author":"Jurcevic P.","year":"2021","unstructured":"P. Jurcevic, A. Javadi-Abhari, L. S. Bishop, I. Lauer, D. Borgorin, M. Brink, L. Capelluto, O. Gunluk, T. Itoko, N. Kanazawa, and A. Kandala. 2021. Demonstration of quantum volume 64 on a superconducting quantum computing system. Quantum Science and Technology 6, 2 (2021), 025020.","journal-title":"Quantum Science and Technology"},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab7559"},{"issue":"5","key":"e_1_3_2_48_2","doi-asserted-by":"crossref","first-page":"052319","DOI":"10.1103\/PhysRevA.95.052319","article-title":"Fast ion swapping for quantum-information processing","volume":"95","author":"Kaufmann Henning","year":"2017","unstructured":"Henning Kaufmann, Thomas Ruster, Christian T. Schmiegelow, Marcelo A. Luda, Vidyut Kaushal, Jonas Schulz, David von Lindenfels, Ferdinand Schmidt-Kaler, and Ulrich G. Poschinger. 2017. Fast ion swapping for quantum-information processing. Physical Review A 95, 5 (2017), 052319.","journal-title":"Physical Review A"},{"key":"e_1_3_2_49_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. arxiv:1805.09607. Retrieved from https:\/\/arxiv.org\/abs\/1805.09607."},{"issue":"8","key":"e_1_3_2_50_2","doi-asserted-by":"crossref","first-page":"080501","DOI":"10.1103\/PhysRevLett.102.080501","article-title":"Dynamically error-corrected gates for universal quantum computation","volume":"102","author":"Khodjasteh K.","year":"2009","unstructured":"K. Khodjasteh and L. Viola. 2009. Dynamically error-corrected gates for universal quantum computation. Physical Review Letters 102, 8 (2009), 080501.","journal-title":"Physical Review Letters"},{"key":"e_1_3_2_51_2","doi-asserted-by":"publisher","DOI":"10.1038\/nature00784"},{"key":"e_1_3_2_52_2","article-title":"Quantum measurements and the abelian stabilizer problem","author":"Kitaev A.","year":"1995","unstructured":"A. Kitaev. 1995. Quantum measurements and the abelian stabilizer problem. arXiv:quant-ph\/9511026 (1995).","journal-title":"arXiv:quant-ph\/9511026"},{"key":"e_1_3_2_53_2","volume-title":"The TeXbook","author":"Knuth D. E.","year":"1984","unstructured":"D. E. Knuth and D. Bibby. 1984. The TeXbook, Vol. 3. Addison-Wesley Reading."},{"key":"e_1_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.76.042319"},{"key":"e_1_3_2_55_2","doi-asserted-by":"crossref","unstructured":"Andrew J. Landahl Daniel S. Lobser Benjamin C. A. Morrison Kenneth M. Rudinger Antonio E. Russo Jay W. Van Der Wall and Peter Maunz. 2020. Jaqal the quantum assembly language for QSCOUT. (2020) 1\u201314. arxiv:2003.09382. Retrieved from http:\/\/arxiv.org\/abs\/2003.09382.","DOI":"10.2172\/1606475"},{"key":"e_1_3_2_56_2","article-title":"Jaqal, the quantum assembly language for QSCOUT","author":"Landahl A. J.","year":"2020","unstructured":"A. J. Landahl, D. S. Lobser, B. C. A. Morrison, K. M. Rudinger, A. E. Russo, J. W. Van Der Wall, and P. Maunz. 2020. Jaqal, the quantum assembly language for QSCOUT. arXiv:2003.09382. Retrieved from https:\/\/arxiv.org\/abs\/2003.09382.","journal-title":"arXiv:2003.09382"},{"key":"e_1_3_2_57_2","article-title":"JaqalPaw: A guide to defining pulses and waveforms for jaqal","author":"Lobser Daniel","year":"2021","unstructured":"Daniel Lobser, Joshua Goldberg, Andrew J. Landahl, Peter Maunz, et al. 2021. JaqalPaw: A guide to defining pulses and waveforms for jaqal. Available online at the Sandia QSCOUT project websitehttps:\/\/www.sandia.gov\/quantum\/Projects\/QSCOUT.html. (2021). https:\/\/www.sandia.gov\/quantum\/Projects\/Uploads\/JaqalPaw__A_Guide_to_Defining_Pulses_and_Waveforms_for_Jaqal.pdf.","journal-title":"Available online at the Sandia QSCOUT project website"},{"key":"e_1_3_2_58_2","unstructured":"S. Marlow. 2010. Haskell 2010 language report. https:\/\/www.haskell.org\/onlinereport\/haskell2010\/."},{"issue":"2","key":"e_1_3_2_59_2","doi-asserted-by":"crossref","DOI":"10.1088\/2058-9565\/ab6bf6","article-title":"XACC: A system-level software infrastructure for heterogeneous quantum\u2013classical computing","volume":"5","author":"McCaskey A.","year":"2020","unstructured":"A. McCaskey, D. Lyakh, E. Dumitrescu, S. Powers, and T. Humble. 2020. XACC: A system-level software infrastructure for heterogeneous quantum\u2013classical computing. Quantum Science and Technology 5, 2 (2020), 024002.","journal-title":"Quantum Science and Technology"},{"key":"e_1_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1145\/3462670"},{"key":"e_1_3_2_61_2","article-title":"Qiskit backend specifications for OpenQASM and OpenPulse experiments","author":"McKay D. C.","year":"2018","unstructured":"D. C. McKay, T. Alexander, L. Bello, M. J. Biercuk, L. Bishop, J. Chen, J. M. Chow, A. D. C\u00f3rcoles, D. Egger, S. Filipp, J. Gomez, M. Hush, A. Javadi-Abhari, D. Moreda, P. Nation, B. Paulovicks, E. Winston, C. J. Wood, J. Wootton, and J. M. Gambetta. 2018. Qiskit backend specifications for OpenQASM and OpenPulse experiments. arXiv:1809.03452. Retrieved from https:\/\/arxiv.org\/abs\/1809.03452.","journal-title":"arXiv:1809.03452"},{"issue":"8","key":"e_1_3_2_62_2","doi-asserted-by":"crossref","first-page":"688","DOI":"10.1063\/1.1716296","article-title":"Modified spin-echo method for measuring nuclear relaxation times","volume":"29","author":"Meiboom S.","year":"1958","unstructured":"S. Meiboom and D. Gill. 1958. Modified spin-echo method for measuring nuclear relaxation times. Review of Scientific Instruments 29, 8 (1958), 688\u2013691.","journal-title":"Review of Scientific Instruments"},{"key":"e_1_3_2_63_2","first-page":"1001","volume-title":"Proceedings of the 25th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Murali P.","year":"2020","unstructured":"P. Murali, D. C. McKay, M. Martonosi, and A. Javadi-Abhari. 2020. Software mitigation of crosstalk on noisy intermediate-scale quantum computers. In Proceedings of the 25th International Conference on Architectural Support for Programming Languages and Operating Systems. 1001\u20131016."},{"key":"e_1_3_2_64_2","volume-title":"Quantum Computation and Quantum Information","author":"Nielsen M. A.","year":"2000","unstructured":"M. A. Nielsen and I. L. Chuang. 2000. Quantum Computation and Quantum Information. Cambridge Univ. Press."},{"key":"e_1_3_2_65_2","article-title":"Structured quantum programming","author":"Omer B.","year":"2003","unstructured":"B. Omer. 2003. Structured quantum programming. Vienna University of Technology, Ph. D. Thesis (2003). http:\/\/tph.tuwien.ac.at\/~oemer\/doc\/structquprog.pdf.","journal-title":"Vienna University of Technology, Ph. D. Thesis"},{"issue":"15","key":"e_1_3_2_66_2","article-title":"Repeat-Until-Success: Non-deterministic decomposition of single-qubit unitaries","volume":"14","author":"Paetznick A.","year":"2014","unstructured":"A. Paetznick and K. M. Svore. 2014. Repeat-Until-Success: Non-deterministic decomposition of single-qubit unitaries. Quantum Information & Computation 14, 15\u201316 (2014), 1277\u20131301.","journal-title":"Quantum Information & Computation"},{"key":"e_1_3_2_67_2","doi-asserted-by":"crossref","first-page":"4213","DOI":"10.1038\/ncomms5213","article-title":"A variational eigenvalue solver on a photonic quantum processor","volume":"5","author":"Peruzzo A.","year":"2014","unstructured":"A. Peruzzo, J. McClean, P. Shadbolt, M.-H. Yung, X.-Q. Zhou, P. J. Love, A. Aspuru-Guzik, and J. L. O\u2019brien. 2014. A variational eigenvalue solver on a photonic quantum processor. Nature Communications 5, 1 (2014), 4213.","journal-title":"Nature Communications"},{"key":"e_1_3_2_68_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.86.5188"},{"issue":"10","key":"e_1_3_2_69_2","doi-asserted-by":"crossref","first-page":"104703","DOI":"10.1063\/1.5006525","article-title":"Hardware for dynamic quantum computing","volume":"88","author":"Ryan C. A.","year":"2017","unstructured":"C. A. Ryan, B. R. Johnson, D. Rist\u00e8, B. Donovan, and T. A. Ohki. 2017. Hardware for dynamic quantum computing. Review of Scientific Instruments 88, 10 (2017), 104703.","journal-title":"Review of Scientific Instruments"},{"key":"e_1_3_2_70_2","first-page":"13","volume-title":"Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic","author":"Schmitt B.","year":"2019","unstructured":"B. Schmitt, M. Soeken, G. De Micheli, and A. Mishchenko. 2019. Scaling-up ESOP synthesis for quantum compilation. In Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic. IEEE, 13\u201318."},{"key":"e_1_3_2_71_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.93.060302"},{"key":"e_1_3_2_72_2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"e_1_3_2_73_2","doi-asserted-by":"crossref","unstructured":"Henrique Silv\u00e9rio Sebasti\u00e1n Grijalva Constantin Dalyac Lucas Leclerc Peter J. Karalekas Nathan Shammah Mourad Beji Louis-Paul Henry and Loic Henriet. 2021. Pulser: An open-source package for the design of pulse sequences in programmable neutral-atom arrays. arxiv:2104.15044. Retrieved from https:\/\/arxiv.org\/abs\/2104.15044.","DOI":"10.22331\/q-2022-01-24-629"},{"key":"e_1_3_2_74_2","article-title":"A practical quantum instruction set architecture","author":"Smith R.","year":"2016","unstructured":"R. Smith, M. Curtis, and W. Zeng. 2016. A practical quantum instruction set architecture. arXiv:1608.03355. Retrieved from https:\/\/arxiv.org\/abs\/1608.03355.","journal-title":"arXiv:1608.03355"},{"issue":"4","key":"e_1_3_2_75_2","article-title":"Space, time, parallelism and noise requirements for reliable quantum computing","volume":"46","author":"Steane A. M.","year":"1999","unstructured":"A. M. Steane. 1999. Space, time, parallelism and noise requirements for reliable quantum computing. Fortschritte der Physik 46, (4\u20135) (1999), 443\u2013457.","journal-title":"Fortschritte der Physik"},{"issue":"2","key":"e_1_3_2_76_2","doi-asserted-by":"crossref","first-page":"020318","DOI":"10.1103\/PRXQuantum.1.020318","article-title":"Reducing unitary and spectator errors in cross resonance with optimized rotary echoes","volume":"1","author":"Sundaresan N.","year":"2020","unstructured":"N. Sundaresan, I. Lauer, E. Pritchett, E. Magesan, P. Jurcevic, and J. M. Gambetta. 2020. Reducing unitary and spectator errors in cross resonance with optimized rotary echoes. PRX Quantum 1, 2 (2020), 020318.","journal-title":"PRX Quantum"},{"issue":"1","key":"e_1_3_2_77_2","doi-asserted-by":"crossref","first-page":"74\u201483","DOI":"10.1109\/MC.2006.4","article-title":"A layered software architecture for quantum computing design tools","volume":"39","author":"Svore K. M.","year":"2006","unstructured":"K. M. Svore, A. W. Cross, I. L. Chuang, A. V. Aho, and I. L. Markov. 2006. A layered software architecture for quantum computing design tools. Computer 39, 1 (2006), 74\u201483.","journal-title":"Computer"},{"issue":"10","key":"e_1_3_2_78_2","doi-asserted-by":"crossref","first-page":"100504","DOI":"10.1103\/PhysRevLett.98.100504","article-title":"Keeping a quantum bit alive by optimized  \\( \\pi \\) -pulse sequences","volume":"98","author":"Uhrig G.","year":"2007","unstructured":"G. Uhrig. 2007. Keeping a quantum bit alive by optimized \\( \\pi \\) -pulse sequences. Physical Review Letters 98, 10 (2007), 100504.","journal-title":"Physical Review Letters"},{"key":"e_1_3_2_79_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.82.2417"},{"key":"e_1_3_2_80_2","unstructured":"M. Whitmeyer and J. Chen. 2020. Measurement based quantum computing. Retrieved from https:\/\/mwhitmeyer.github.io\/pdfs\/Measurement_Based_QC_Project.pdf."},{"key":"e_1_3_2_81_2","doi-asserted-by":"publisher","DOI":"10.5555\/94938.94976"},{"key":"e_1_3_2_82_2","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.85.961"}],"container-title":["ACM Transactions on Quantum Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3505636","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3505636","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T13:49:24Z","timestamp":1750168164000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3505636"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,6]]},"references-count":81,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,9,30]]}},"alternative-id":["10.1145\/3505636"],"URL":"https:\/\/doi.org\/10.1145\/3505636","relation":{},"ISSN":["2643-6809","2643-6817"],"issn-type":[{"value":"2643-6809","type":"print"},{"value":"2643-6817","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9,6]]},"assertion":[{"value":"2021-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-09-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}