| Merging similar patterns for hardware prefetching S Jiang, Q Yang, Y Ci 2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO …, 2022 | 14 | 2022 |
| A rollback recovery algorithm based on causal message logging in mobile environment Z Zhang, DC Zuo, YW Ci, XA Yang Journal of Computer Research and Development 45 (2), 348-357, 2008 | 8 | 2008 |
| A multi-cycle checkpointing protocol that ensures strict 1-rollback YW Ci, Z Zhang, DC Zuo, ZB Wu, XZ Yang Information Processing Letters 112 (20), 788-793, 2012 | 6 | 2012 |
| The checkpoint interval optimization of kernel-level rollback recovery based on the embedded mobile computing system Z Zhang, D Zuo, Y Ci, X Yang 2008 IEEE 8th International Conference on Computer and Information …, 2008 | 6 | 2008 |
| Virtdev: Towards providing edge services YW Ci, XK Zhao, YP Li, Z Zheng IEEE Transactions on Services Computing 15 (5), 3089-3100, 2021 | 3 | 2021 |
| Area difference based recovery information placement for mobile computing systems YW Ci, Z Zhang, DC Zuo, ZB Wu, XZ Yang 2008 14th IEEE International Conference on Parallel and Distributed Systems …, 2008 | 3 | 2008 |
| Matryoshka: A Coalesced Delta Sequence Prefetcher S Jiang, Y Ci, Q Yang, M Li Proceedings of the 50th International Conference on Parallel Processing, 1-11, 2021 | 2 | 2021 |
| Deterministic replay of multithread applications using virtual machine J Yu, Y Ci, P Zhou, Y Wu, C Zhao 2012 26th International Conference on Advanced Information Networking and …, 2012 | 2 | 2012 |
| Message fragment based causal message logging YW Ci, Z Zhang, DC Zuo, XZ Yang Journal of Parallel and Distributed Computing 69 (11), 915-921, 2009 | 2 | 2009 |
| Communication-Based prevention of non-P-pattern YW Ci, Z Zhang, DC Zuo, ZB Wu, XZ Yang 2009 28th IEEE International Symposium on Reliable Distributed Systems, 129-134, 2009 | 2 | 2009 |
| Predicting Lemmas in Generalization of IC3 Y Su, Q Yang, Y Ci Proceedings of the 61st ACM/IEEE Design Automation Conference, 1-6, 2024 | 1 | 2024 |
| Execute on Clear (EoC): Enhancing Security for Unsafe Speculative Instructions by Precise Identification and Safe Execution X Meng, Q Yang, Y Ci, P Zhao, S Zhao, M Li 2023 IEEE 41st International Conference on Computer Design (ICCD), 587-595, 2023 | 1 | 2023 |
| Random priority-based thrashing control for distributed shared memory YW Ci, MR Lyu, Z Zhang, DC Zuo, XZ Yang IEEE Transactions on Parallel and Distributed Systems 31 (3), 663-674, 2019 | 1 | 2019 |
| Dependency mining-based causal message logging YW Ci, Z Zhang, DC Zuo, ZB Wu, XZ Yang Information processing letters 110 (5), 182-187, 2010 | 1 | 2010 |
| Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3 Y Su, Q Yang, Y Ci, Z Huang arXiv preprint arXiv:2501.02480, 2025 | | 2025 |
| SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution Y Li, Q Yang, Y Ci, E Tian Proceedings of the 61st ACM/IEEE Design Automation Conference, 1-6, 2024 | | 2024 |
| KLNK: Expanding Page Boundaries in a Distributed Shared Memory System YW Ci, MR Lyu, Z Zhang, DC Zuo, XZ Yang IEEE Transactions on Parallel and Distributed Systems, 2024 | | 2024 |
| TIUP: Effective Processor Verification with Tautology-Induced Universal Properties Y Li, Y Ci, Q Yang 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 269-274, 2024 | | 2024 |
| Secure Access Policy (SAP): Invisibly Executing Speculative Unsafe Accesses in an Isolated Environment X Meng, Q Yang, Y Ci, P Zhao, S Zhao, T Huo, M Li 2022 IEEE 40th International Conference on Computer Design (ICCD), 80-88, 2022 | | 2022 |