| 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 | 21 | 2019 |
| 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 | 16 | 2021 |
| On incorrectness logic for Quantum programs P Yan, H Jiang, N Yu Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-28, 2022 | 12 | 2022 |
| 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 | 7 | 2021 |
| 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 | 1 | 2018 |
| 在 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 | | |
Yuxin DengProfessor, East China Normal UniversityVerified email at sei.ecnu.edu.cn
