Hanru Jiang

According to our database, Hanru Jiang authored at least 4 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

On incorrectness logic for Quantum programs.

Peng Yan, Hanru Jiang, Nengkun Yu

Proc. ACM Program. Lang., 2022

2021

Symbolic Reasoning About Quantum Circuits in Coq.

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

J. Comput. Sci. Technol., 2021

2019

Towards certified separate compilation for concurrent programs.

Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

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

Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018