Hanru Jiang

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 7

Top Topics

Quantum Computing

Connectionist Models

Symbolic Reasoning

Top Venues

Proc. ACM Program. Lang.

Publications

Hanru Jiang
Qubit Recycling Revisited. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Peng Yan, Hanru Jiang, Nengkun Yu
Approximate Relational Reasoning for Quantum Programs. CAV (3) (2024)
Peng Yan, Hanru Jiang, Nengkun Yu
On incorrectness logic for Quantum programs. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng
Symbolic Reasoning About Quantum Circuits in Coq. J. Comput. Sci. Technol. 36 (6) (2021)
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng
Symbolic Reasoning about Quantum Circuits in Coq. CoRR (2020)
Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng
Towards certified separate compilation for concurrent programs. PLDI (2019)
Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng
Non-preemptive Semantics for Data-Race-Free Programs. ICTAC (2018)