Efficient and Correct Compilation of Quantum Circuits | IEEE Conference Publication | IEEE Xplore