Applying and Expanding the VOQC Toolkit. Kesha Hietala, Liyi Li, Akshaj Gaur, Aaron Green, Robert Rand, Xiaodi Wu, and Michael Hicks. In Informal Proceedings of the Workshop on Programming Languages and Quantum Computing (PLanQC), June 2021.

This abstract presents recent extensions to VOQC, a verified optimizer for quantum circuits. All code described in this abstract is freely available online at https://github.com/inQWIRE/SQIR/.

[ .pdf ]

@inproceedings{hietala21expvoqc,
  title = {Applying and Expanding the {VOQC} Toolkit},
  booktitle = {Informal Proceedings of the Workshop on Programming Languages and Quantum Computing (PLanQC)},
  author = {Kesha Hietala and Liyi Li and Akshaj Gaur and Aaron Green and Robert Rand and Xiaodi Wu and Michael Hicks},
  year = 2021,
  month = jun
}

This file was generated by bibtex2html 1.99.