46 citations · 107 across the 9 of their papers we have counts for
9 papers
Efficient Formal Verification of Quantum Error Correcting Programs
Qifan Huang, Li Zhou, Wang Fang +2
Quantum error correction (QEC) is fundamental for suppressing noise in quantum hardware and enabling fault-tolerant quantum computation. In this paper, we propose an efficient veri…
A Quantum Interpretation of Bunched Logic for Quantum Separation Logic
Li Zhou, Gilles Barthe, Justin Hsu +2
We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reasoning about quantum states. In our model, the separating conjunction of BI descr…
Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer
Gushu Li, Li Zhou, Nengkun Yu +3
In this paper, we propose Proq, a runtime assertion scheme for testing and debugging quantum programs on a quantum computer. The predicates in Proq are represented by projections (…
Entirety of Quantum Uncertainty and Its Experimental Verification
Jie Xie, Songtao Huang, Li Zhou +5
As a foundation of modern physics, uncertainty relations describe an ultimate limit for the measurement uncertainty of incompatible observables. Traditionally, uncertain relations…
Protocols for Packet Quantum Network Intercommunication
Nengkun Yu, Ching-Yi Lai, Li Zhou
A quantum network, which involves multiple parties pinging each other with quantum messages, could revolutionize communication, computing and basic sciences. The future internet wi…
Relational Proofs for Quantum Programs
Gilles Barthe, Justin Hsu, Mingsheng Ying +2
Relational verification of quantum programs has many potential applications in quantum and post-quantum security and other domains. We propose a relational program logic for quantu…