Publications

• Towards Efficient Verification of Computation in Quantum Devices.

  Keren Li, Peng Yan, Hanru Jiang, and Nengkun Yu.

  To appear at QCE' 25. 2025.

  • arXiv

• 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

• Direct Measurement of Density Matrices via Dense Dual Bases.

  Yu Wang, Hanru Jiang, Yongxiang Liu, and Keren Li.

  Draft. 2024.

  • arXiv

• 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

• Symbolic Reasoning about Quantum Circuits in Coq.

  Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, and Yuan Feng.

  J. Comput. Sci. Technol.. 2021.

  • DOI
  • arXiv
  • Code

• 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

• Non-preemptive Semantics for Data-Race-Free Programs.

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

  ICTAC. 2018.

  • DOI