68 citations · 117 across the 11 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
quant-ph2021★ 3 cited
Verified Compilation of Quantum Oracles
Liyi Li, Finn Voichick, Kesha Hietala +3
Quantum algorithms often apply classical operations, such as arithmetic or predicate checks, over a quantum superposition of classical data; these so-called oracles are often the l…
cs.PL2021★ 14 cited
Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra
Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
We investigate the algebraic reasoning of quantum programs inspired by the success of classical program analysis based on Kleene algebra. One prominent example of such is the famou…