Paper-Conference

Verification of Nondeterministic Quantum Programs
Nondeterministic choice is a useful program construct that provides a way to describe the behaviour of a program without specifying the …
Yuan Feng, Yingte Xu
引用 DOI URL
Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra
We investigate the algebraic reasoning of quantum programs inspired by the success of classical program analysis based on Kleene …
Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
引用 DOI URL
Equivalence Checking of Dynamic Quantum Circuits
Despite the rapid development of quantum computing these years, state-of-the-art quantum devices still contain only a limited number of …
Xin Hong, Yuan Feng, Sanjiang Li, Mingsheng Ying
引用 DOI URL
Quantum soundness of testing tensor codes
Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen
引用 DOI
Verifying Fairness in Quantum Machine Learning
Due to the beyond-classical capability of quantum computing, quantum machine learning is applied independently or embedded in classical …
Ji Guan, Wang Fang, Mingsheng Ying
引用
Succinct blind Quantum computation using a random oracle
引用 DOI URL
Robustness Verification of Quantum Classifiers
Several important models of machine learning algorithms have been successfully generalized to the quantum world, with potential speedup …
Ji Guan, Wang Fang, Mingsheng Ying
引用
A monte carlo tree search framework for quantum circuit transformation
In Noisy Intermediate-Scale Quantum (NISQ) era, quantum processing units (QPUs) suffer from, among others, highly limited connectivity …
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
引用 DOI URL
An applied quantum Hoare logic
We derive a variant of quantum Hoare logic (QHL), called applied quantum Hoare logic (aQHL for short), by: 1. restricting QHL to a …
Li Zhou, Nengkun Yu, Mingsheng Ying
引用 DOI URL
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic
We formalize the theory of quantum Hoare logic (QHL) [TOPLAS 33(6),19], an extension of Hoare logic for reasoning about quantum …
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
引用