Yiwei Ci received his Ph.D., M.S., and B.S. degrees in Computer Science from Harbin Institute of Technology in 2010, 2005, and 2003, respectively. In 2011, he joined the Institute of Software, Chinese Academy of Sciences. From 2012 to 2014, he conducted postdoctoral research at The Chinese University of Hong Kong. His research interests primarily focus on the fields of computer architecture and operating systems, and involve system design and verification through software-hardware co-design.
Publications
Papers
[2025]
(1) Yuheng Su, Qiusong Yang, Yiwei Ci, Yingcheng Li, Tianjun Bu, Ziyu Huang. Deeply Optimizing the SAT Solver for the IC3 Algorithm. International Conference on Computer Aided Verification (CAV), 2025.
(2) Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, Ziyu Huang. The rIC3 Hardware Model Checker. International Conference on Computer Aided Verification (CAV), 2025.
(3) Yuheng Su, Yingcheng Li, Qiusong Yang, Yiwei Ci and Ziyu Huang. Property-driven Parallel Symbolic Model Checking of LTL. ACM/IEEE Design Automation Conference (DAC), 2025.
[2024]
(1) Yuheng Su, Qiusong Yang, Yiwei Ci. Predicting Lemmas in Generalization of IC3. ACM/IEEE Design Automation Conference (DAC), 2024.
(2) Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian. SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution. ACM/IEEE Design Automation Conference (DAC), 2024.
(3) Yufeng Li, Yiwei Ci, Qiusong Yang. TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. Asia and South Pacific Design Automation Conference (ASP-DAC), 2024.
(4) Yiwei Ci, Michael R. Lyu, Zhan Zhang, Decheng Zuo, Xiaozong Yang. KLNK: Expanding Page Boundaries in a Distributed Shared Memory System. IEEE Transactions on Parallel and Distributed Systems (TPDS), 2024.
[2023]
(1) Xiaoni Meng, Qiusong Yang, Yiwei Ci, Pei Zhao, Shan Zhao, Mingshu Li. Execute on Clear (EoC): Enhancing Security for Unsafe Speculative Instructions by Precise Identification and Safe Execution. International Conference on Computer Design (ICCD), 2023.
[2022]
(1) Shizhi Jiang, Qiusong Yang, Yiwei Ci. Merging Similar Patterns for Hardware Prefetching. International Symposium on Microarchitecture (MICRO), 2022.
(2) Yiwei Ci, Xiaoke Zhao, Yanpeng Li, Zibin Zheng. Virtdev: Towards Providing Edge Services. IEEE Transactions on Services Computing (TSC), 2022.
(3) Xiaoni Meng, Qiusong Yang, Yiwei Ci, Pei Zhao, Shan Zhao, Tianlin Huo, Mingshu Li. Secure Access Policy (SAP): Invisibly Executing Speculative Unsafe Accesses in an Isolated Environment. International Conference on Computer Design (ICCD), 2022.
[2021]
(1) Shizhi Jiang, Yiwei Ci, Qiusong Yang, Mingshu Li. Matryoshka: A Coalesced Delta Sequence Prefetcher. International Conference on Parallel Processing (ICPP), 2021.
[2020]
(1) Yiwei Ci, Michael R. Lyu, Zhan Zhang, Decheng Zuo, Xiaozong Yang. Random Priority-Based Thrashing Control for Distributed Shared Memory. IEEE Transactions on Parallel and Distributed Systems (TPDS), 2020.