Concepedia

Hanru Jiang

HJ

Statistics

Publications

3

Citations

72

H-Index

3

Active since

2019

Affiliations

University of Technology Sydney(Current)

University of Science and Technology of China

Hanru Jiang is an author at University of Technology Sydney specializing in computer science, computing, and computer engineering.

ORCID

Publications per year

2019–2022

3

Publications

3

On incorrectness logic for Quantum programs

Peng Yan, Hanru Jiang, Nengkun Yu · Proceedings of the ACM on Programming Languages · 2022 · 25 citations · Full text

, , +13

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

Xiang Fu, Jintao Yu, Xing Su et al. · ACM Transactions on Quantum Computing · 2021 · 24 citations

, , +17

Towards certified separate compilation for concurrent programs

Hanru Jiang, Hongjin Liang, Siyang Xiao et al. · 2019 · 23 citations

, , +16

1–3 of 3