Verified Optimization in a Quantum Intermediate Representation. Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, and Michael Hicks, June 2019. Extended abstract appeared at QPL 2019.

We present sqire, a low-level language for quantum computing and verification. sqire uses a global register of quantum bits, allowing easy compilation to and from existing `quantum assembly' languages and simplifying the verification process. We demonstrate the power of sqire as an intermediate representation of quantum programs by verifying a number of useful optimizations, and we demonstrate sqire's use as a tool for general verification by proving several quantum programs correct.

arXiv | http ]

  author = {Kesha Hietala and Robert Rand and Shih-Han Hung and Xiaodi Wu and Michael Hicks},
  title = {Verified Optimization in a Quantum Intermediate Representation},
  institution = {CoRR},
  number = {abs/1904.06319},
  year = {2019},
  archiveprefix = {arXiv},
  eprint = {1904.06319},
  month = jun,
  note = {Extended abstract appeared at QPL 2019}

This file was generated by bibtex2html 1.99.