Seguir
Hanru Jiang
Hanru Jiang
Beijing Institute of Mathematical Sciences and Applications
Dirección de correo verificada de bimsa.cn
Título
Citado por
Citado por
Año
Towards certified separate compilation for concurrent programs
H Jiang, H Liang, S Xiao, J Zha, X Feng
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
232019
Quingo: A programming framework for heterogeneous quantum-classical computing with nisq features
X Fu, J Yu, X Su, H Jiang, H Wu, F Cheng, X Deng, J Zhang, L Jin, Y Yang, ...
ACM Transactions on Quantum Computing 2 (4), 1-37, 2021
162021
On incorrectness logic for Quantum programs
P Yan, H Jiang, N Yu
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-28, 2022
122022
Symbolic reasoning about quantum circuits in Coq
WJ Shi, QX Cao, YX Deng, HR Jiang, Y Feng
Journal of Computer Science and Technology 36, 1291-1306, 2021
72021
Non-Preemptive Semantics for Data-Race-Free Programs
S Xiao, H Jiang, H Liang, X Feng
International Colloquium on Theoretical Aspects of Computing, 513-531, 2018
12018
在 Coq 中关于量子电路的符号化推理
WJ Shi, QX Cao, YX Deng, HR Jiang, Y Feng
计算机科学技术学报 36 (6), 1291-1306, 2021
2021
Towards Certified Compositional Compilation for Concurrent Programs
H Jiang, H Liang, X Feng
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–7