3 papers
quant-ph2026
Resource Estimation for Fault-Tolerant Quantum Programs
Bonan Su, Yuan Feng, Li Zhou +1
Fault-tolerant quantum computation enables the deployment of practical quantum algorithms but incurs substantial overhead from error correction, making resource estimation a centra…
cs.LO2026
Refinement orders for quantum programs
Yuan Feng, Li Zhou
Refinement is a fundamental technique in the verification and systematic development of computer programs. It supports a disciplined approach to software construction through stepw…
quant-ph2025
Borrowing Dirty Qubits in Quantum Programs
Bonan Su, Li Zhou, Yuan Feng +1
Dirty qubits are ancillary qubits that can be borrowed from idle parts of a computation, enabling qubit reuse and reducing the demand for fresh, clean qubits-a resource that is typ…