On the Need for Extensible Quantum Compilers with Verification

Abstract

In this position paper, we posit that a major Department of Energy (DOE)-funded open-source quantum compilation platform is needed to facilitate: (a) resource optimization at the fault-tolerant layer of the quantum computing software stack, and (b) co-design of that layer of the stack with other layers, and that this platform needs to be extensible and include verification.

3 pages, 0 figures. This position paper was written for the DOE ASCR Basic Research Needs in Quantum Computing and Networking Workshop that was held on July 11-13, 2023