150 citations · 2.4k across the 134 of their papers we have counts for
136 papers
Decision Diagrams for Symbolic Verification of Quantum Circuits
Xin Hong, Wei-Jia Huang, Wei-Chen Chien +5
With the rapid development of quantum computing, automatic verification of quantum circuits becomes more and more important. While several decision diagrams (DDs) have been introdu…
Unitarity estimation for quantum channels
Kean Chen, Qisheng Wang, Peixun Long +1
Estimating the unitarity of an unknown quantum channel provides information on how much it is unitary, which is a basic and important problem in quantum device certif…
Fault Models in Superconducting quantum circuits
Qifan Huang, Boxi Li, Minbo Gao +1
Fault models are indispensable for many EDA tasks, so as for design and implementation of quantum hardware. In this article, we propose a fault model for superconducting quantum sy…
Differentiable Quantum Programming with Unbounded Loops
Wang Fang, Mingsheng Ying, Xiaodi Wu
The emergence of variational quantum applications has led to the development of automatic differentiation techniques in quantum computing. Recently, Zhu et al. (PLDI 2020) have for…
Approximation Algorithm for Noisy Quantum Circuit Simulation
Mingyu Huang, Ji Guan, Wang Fang +1
Simulating noisy quantum circuits is vital in designing and verifying quantum algorithms in the current NISQ (Noisy Intermediate-Scale Quantum) era, where quantum noise is unavoida…
CoqQ: Foundational Verification of Quantum Programs
Li Zhou, Gilles Barthe, Pierre-Yves Strub +2
CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its main components are: a deeply embedded quantum programming language, in which classic quant…