2 papers
cs.PL2026
ReOC: Compilation of Recursive Quantum Oracles with Recursion-Aware Uncomputation
Huiling Wu, Yuxin Deng
Quantum oracles are essential to many quantum algorithms, and their specifications may involve recursive control flow that depends on runtime quantum data. However, existing revers…
cs.PL2025
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…