10 citations · 20 across the 6 of their papers we have counts for
6 papers
A Black-box Testing Framework for Oracle Quantum Programs
Peixun Long, Jianjun Zhao
Oracle quantum programs are a fundamental class of quantum programs that serve as a critical bridge between quantum computing and classical computing. Many important quantum algori…
Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs
Peixun Long, Jianjun Zhao
Quantum programs exhibit inherent non-deterministic behavior, which poses more significant challenges for error discovery compared to classical programs. While several testing meth…
Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
Peixun Long, Jianjun Zhao
Quantum computing has emerged as a promising field with the potential to revolutionize various domains by harnessing the principles of quantum mechanics. As quantum hardware and al…
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…
Testing Quantum Programs with Multiple Subroutines
Peixun Long, Jianjun Zhao
Errors in quantum programs are challenging to track down due to the uncertainty of quantum programs. Testing is, therefore, an indispensable method for assuring the quality of quan…
isQ: Towards a Practical Software Stack for Quantum Programming
Jingzhe Guo, Huazhe Lou, Riling Li +5
We introduce isQ, a new software stack for quantum programming in an imperative programming language, also named isQ. The aim of isQ is to make the programmers write quantum progra…