3 citations · 3 across the 2 of their papers we have counts for
6 papers
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…
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…
Quantum Coupling and Strassen Theorem
Li Zhou, Shenggang Ying, Nengkun Yu +1
We introduce a quantum generalisation of the notion of coupling in probability theory. Several interesting examples and basic properties of quantum couplings are presented. In part…
: A Quantum Programming Environment
Shusen Liu, Xin Wang, Li Zhou +5
This paper describes a quantum programming environment, named . It is a platform embedded in the .Net language that supports quantum programming using a quantum extens…