{\rtf1\ansi\deff0\deftab360 {\fonttbl {\f0\fswiss\fcharset0 Arial} {\f1\froman\fcharset0 Times New Roman} {\f2\fswiss\fcharset0 Verdana} {\f3\froman\fcharset2 Symbol} } {\colortbl; \red0\green0\blue0; } {\info {\author Biblio 7.x}{\operator }{\title Biblio RTF Export}} \f1\fs24 \paperw11907\paperh16839 \pgncont\pgndec\pgnstarts1\pgnrestart K. Hietala, Li, L., Gaur, A., Green, A., Rand, R., Wu, X., and Hicks, M., ?Expanding the VOQC Toolkit?, in The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021), 2021.\par \par K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M., ?Proving Quantum Programs Correct?, Schloss Dagstuhl, 2021.\par \par K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., ?A Verified Optimizer for Quantum Circuits?, Proceedings of the ACM on Programming Languages, vol. 5, no. POPL, 2021.\par \par R. Rand, Paykin, J., Lee, D. - H., and Zdancewic, S., ?ReQWIRE: Reasoning about Reversible Quantum Circuits?, EPTCS , vol. 287, 2019.\par \par R. Rand, ?Verification Logics for Quantum Programs?, 2019.\par \par K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., ?Verified Optimization in a Quantum Intermediate Representation?, 2019.\par \par }