76 citations · 156 across the 20 of their papers we have counts for
4 papers · 1 filter
Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
Huiling Wu, Yuxin Deng, Ming Xu
Verifying the functional correctness of programs with both classical and quantum constructs is a challenging task. The presence of probabilistic behaviour entailed by quantum measu…
Symbolic Reasoning about Quantum Circuits in Coq
Wenjun Shi, Qinxiang Cao, Yuxin Deng +2
A quantum circuit is a computational unit that transforms an input quantum state to an output one. A natural way to reason about its behavior is to compute explicitly the unitary m…
Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time
Peixin Wang, Hongfei Fu, Krishnendu Chatterjee +2
The notion of program sensitivity (aka Lipschitz continuity) specifies that changes in the program input result in proportional changes to the program output. For probabilistic pro…
Program Equivalence in Linear Contexts
Yuxin Deng, Yu Zhang
Program equivalence in linear contexts, where programs are used or executed exactly once, is an important issue in programming languages. However, existing techniques like those ba…