On the Need for Extensible Quantum Compilers with Verification

TL;DR

This paper argues for the development of an extensible, verified open-source quantum compiler platform funded by DOE to optimize resources and enable co-design across quantum computing software layers.

Contribution

It highlights the necessity of a DOE-funded open-source quantum compiler platform that is extensible and includes verification features.

Findings

Emphasizes the importance of resource optimization at the fault-tolerant layer.

Stresses the need for co-design of quantum software layers.

Advocates for an open-source, verified compiler platform.

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.