English

On the Need for Extensible Quantum Compilers with Verification

Quantum Physics 2024-03-05 v1

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.

Keywords

Cite

@article{arxiv.2403.02091,
  title  = {On the Need for Extensible Quantum Compilers with Verification},
  author = {Tyler LeBlond and Xiao Xiao and Eugene Dumitrescu and Ryan Bennink and Alexandru Paler},
  journal= {arXiv preprint arXiv:2403.02091},
  year   = {2024}
}

Comments

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

R2 v1 2026-06-28T15:08:27.365Z