A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model.

Weijie Fan, Hongjin Liang, Xinyu Feng, and Hanru Jiang.

European Symposium on Programming (ESOP). 2025.

• DOI
• Project Page

Qubit Recycling Revisited.

Hanru Jiang.

PACMPL, Vol. 8, PLDI. 2024.

• DOI
• Code
• PDF
• TR

Approximate Relational Reasoning for Quantum Programs.

Peng Yan, Hanru Jiang, and Nengkun Yu.

International Conference on Computer Aided Verification (CAV). 2024.

• DOI

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