MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification. - Siwei Tan; Debin Xiang; Liqiang Lu; Junlin Lu; Qiuping Jiang; Mingshuai Chen; Jianwei Yin (ASPLOS (3), 2024)

Choco-Q: Commute Hamiltonian-based QAOA for Constrained Binary Optimization. - Debin Xiang; Qifan Jiang 001; Liqiang Lu; Siwei Tan; Jianwei Yin (HPCA, 2025)

HornBro: Homotopy-Like Method for Automated Quantum Program Repair. - Siwei Tan; Liqiang Lu; Debin Xiang; Tianyao Chu; Congliang Lang; Jintao Chen; Xing Hu 008; Jianwei Yin (Proc. ACM Softw. Eng., 2025)