Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0

2024/12/17 by Sean Kim, Marcus Edwards, Kim, Sean +1 · 3 voices
Computer Science · Physics and Astronomy · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications

paper · pdf · doi:10.21105/joss.08696

Abstract

Kim[ et al., (2025). Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0. Journal of Open Source Software, 10(113), 8696, https://doi.org/10.21105/joss.08696

Discussions

• Our quantum assembly parser got updated to the QASM 3.0 spec [hn, 19 points, 0 comments]
• Our paper just hit the ArXiv! If you are interested in quantum software and specifically quantum compile toolchains, it may be of interest to you. ;) arxiv.org/abs/2412.12578 [bsky, 7 points, 1 comments]
• Our quantum assembly parser got updated to the QASM 3.0 spec https://arxiv.org/abs/2412.12578 [bsky, 0 points, 0 comments]

Related

• Quassical Computing
• QRunes: High-Level Language for Quantum-Classical Hybrid Programming
• Hardware-level Interfaces for Hybrid Quantum-Classical Computing Systems
• QPanda3: A High-Performance Software-Hardware Collaborative Framework for Large-Scale Quantum-Classical Computing Integration
• Hybrid Quantum-Classical Algorithms