Qubit Recycling Revisited.

Hanru Jiang.

PACMPL, Vol. 8, PLDI. 2024.

• DOI
• Code
• PDF
• TR

On Incorrectness Logic for Quantum Programs.

Peng Yan, Hanru Jiang, and Nengkun Yu.

PACMPL, Vol. 6, OOPSLA1. 2022.

• DOI
• Code
• PDF
• TR

Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features.

Xiang Fu, Jintao Yu, Xing Su, Hanru Jiang , et. al.

ACM Transactions on Quantum Computing. 2021.

• DOI
• arXiv

Towards Certified Separate Compilation for Concurrent Programs.

Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, and Xinyu Feng.

PLDI. 2019. (Distinguished Paper Award)

• DOI
• Project Page