| 2026 | ISCAS | AssertSynth: LLM-Based Assertion Synthesis via Multimodal Specification Extraction. | Enyuan Tian, Yiwei Ci, Qiusong Yang, Yufeng Li, Zhichao Lyu |
| 2025 | CAV | The rIC3 Hardware Model Checker. | Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, Ziyu Huang |
| 2025 | CAV | Deeply Optimizing the SAT Solver for the IC3 Algorithm. | Yuheng Su, Qiusong Yang, Yiwei Ci, Yingcheng Li, Tianjun Bu, Ziyu Huang |
| 2025 | DAC | Property-driven Parallel Symbolic Model Checking of LTL. | Yuheng Su, Yingcheng Li, Qiusong Yang, Yiwei Ci, Ziyu Huang |
| 2024 | ASPDAC | TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. | Yufeng Li, Yiwei Ci, Qiusong Yang |
| 2024 | DAC | SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution. | Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian |
| 2024 | DAC | Predicting Lemmas in Generalization of IC3. | Yuheng Su, Qiusong Yang, Yiwei Ci |
| 2023 | ICCD | Execute on Clear (EoC): Enhancing Security for Unsafe Speculative Instructions by Precise Identification and Safe Execution. | Xiaoni Meng, Qiusong Yang, Yiwei Ci, Pei Zhao, Shan Zhao, Mingshu Li |
| 2022 | ICCD | Secure Access Policy (SAP): Invisibly Executing Speculative Unsafe Accesses in an Isolated Environment. | Xiaoni Meng, Qiusong Yang, Yiwei Ci, Pei Zhao, Shan Zhao, Tianlin Huo, Mingshu Li |
| 2022 | MICRO | Merging Similar Patterns for Hardware Prefetching. | Shizhi Jiang, Qiusong Yang, Yiwei Ci |
| 2021 | ICPP | Matryoshka: A Coalesced Delta Sequence Prefetcher. | Shizhi Jiang, Yiwei Ci, Qiusong Yang, Mingshu Li |
| 2012 | AINA | Deterministic Replay of Multithread Applications Using Virtual Machine. | Jiageng Yu, Yiwei Ci, Peng Zhou, Yanjun Wu, Chen Zhao |
| 2009 | SRDS | Communication-Based Prevention of Non-P-Pattern. | Yiwei Ci, Zhan Zhang, De-Cheng Zuo, Zhibo Wu, Xiao-Zong Yang |
| 2008 | ICPADS | Area Difference Based Recovery Information Placement for Mobile Computing Systems. | Yiwei Ci, Zhan Zhang, De-Cheng Zuo, Zhibo Wu, Xiao-Zong Yang |