



@article {2404,
	title = {Verified Optimization in a Quantum Intermediate Representation},
	year = {2019},
	month = {04/12/2019},
	abstract = {<p>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 {\textquoteleft}quantum assembly\&$\#$39; 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\&$\#$39;s use as a tool for general verification by proving several quantum programs correct.</p>},
	url = {https://arxiv.org/abs/1904.06319},
	author = {Kesha Hietala and Robert Rand and Shih-Han Hung and Xiaodi Wu and Michael Hicks}
}
