4 citations · 6 across the 4 of their papers we have counts for
5 papers
DisQ: A Model of Distributed Quantum Processors (Extended Version)
Le Chang, Saitej Yavvari, Rance Cleaveland +3
The next generation of distributed quantum processors combines single-location quantum computing and quantum networking techniques to permit large entangled qubit groups to be esta…
The Quantum Abstract Machine
Liyi Li, Le Chang, Rance Cleaveland +2
This paper develops a model of quantum behavior that is intended to support the abstract yet accurate design and functional verification of quantum communication protocols. The wor…
CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety
Liyi Li, Arunkumar Bhattar, Le Chang +2
Spatial memory safety violation is still a major issue for C programs. Checked-C is a safe dialect of C and extends it with Checked pointer types and annotations that guarantee spa…
Qafny: A Quantum-Program Verifier
Liyi Li, Mingwei Zhu, Rance Cleaveland +4
Because of the probabilistic/nondeterministic behavior of quantum programs, it is highly advisable to verify them formally to ensure that they correctly implement their specificati…
Fourth-order leapfrog algorithms for numerical time evolution of classical and quantum systems
Jun Hao Hue, Ege Eren, Shao Hen Chiew +5
Chau et al. [New J. Phys. 20, 073003 (2018)] presented a new and straight-forward derivation of a fourth-order approximation '' of the time-evolution operator and hinted at it…