46 citations · 107 across the 9 of their papers we have counts for
4 papers · 1 filter
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…