Publications

• 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.

  to appear at CAV. 2024.

• 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