Get started
Author

Hanru Jiang

On incorrectness logic for Quantum programs
2022 · Peng Yan, Hanru Jiang, et al. · Proceedings of the ACM on Programming Languages · 27
PDF
Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features
2021 · X. Fu, Jintao Yu, et al. · ACM Transactions on Quantum Computing · 23
Towards certified separate compilation for concurrent programs
2019 · Hanru Jiang, Hongjin Liang, et al. · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 23
Symbolic Reasoning About Quantum Circuits in Coq
2021 · Wen-Jun Shi, Qin-Xiang Cao, et al. · Journal of Computer Science and Technology · 10
PDF
Qubit Recycling Revisited
2024 · Hanru Jiang · Proceedings of the ACM on Programming Languages · 6
Approximate Relational Reasoning for Quantum Programs
2024 · Peng Yan, Hanru Jiang, et al. · Lecture notes in computer science · 4
Non-preemptive Semantics for Data-Race-Free Programs
2018 · Siyang Xiao, Hanru Jiang, et al. · Lecture notes in computer science · 2
A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model
2025 · Weijie Fan, Hongjin Liang, et al. · Lecture notes in computer science · 1
PDF
Profiles of Self-Management Behaviors and Psychological Characteristics in Patients with Diabetic Retinopathy: A Cross-Sectional Study
2026 · Xiaoxue Ming, Weijia Chen, et al. · Patient Preference and Adherence
PDF
Towards Efficient Verification of Computation in Quantum Devices
2025 · Keren Li, Peng Yan, et al. · IEEE International Conference on Quantum Computing and Engineering (QCE)
PDF
Works count: 10
Citation count: 96
H-index: 5
I10-index: 4
Year
Topic
Type