Borrowing Dirty Qubits in Quantum Programs. - Bonan Su; Li Zhou 013; Yuan Feng 001; Mingsheng Ying (CoRR, 2025)