Ji Liu, Gregory T. Byrd, Huiyang Zhou. Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation. In James R. Larus, Luis Ceze, Karin Strauss, editors, ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, March 16-20, 2020 [ASPLOS 2020 was canceled because of COVID-19]. pages 1017-1030, ACM, 2020. [doi]