Folgen
Hanru Jiang
Hanru Jiang
Beijing Institute of Mathematical Sciences and Applications
Bestätigte E-Mail-Adresse bei bimsa.cn
Titel
Zitiert von
Zitiert von
Jahr
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
222019
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7