Software Pipelining for Quantum Loop Programs. - Jingzhe Guo; Mingsheng Ying (IEEE Trans. Software Eng., 2023)