Deterministic Replay of Multithread Applications Using Virtual Machine. - Jiageng Yu; Yiwei Ci; Peng Zhou; Yanjun Wu; Chen Zhao (AINA Workshops, 2012)

Matryoshka: A Coalesced Delta Sequence Prefetcher. - Shizhi Jiang; Yiwei Ci; Qiusong Yang; Mingshu Li 001 (ICPP, 2021)

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 001 (ICCD, 2022)

Merging Similar Patterns for Hardware Prefetching. - Shizhi Jiang; Qiusong Yang; Yiwei Ci (MICRO, 2022)

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 001 (ICCD, 2023)

TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. - Yufeng Li; Yiwei Ci; Qiusong Yang (ASPDAC, 2024)

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution. - Yufeng Li; Qiusong Yang; Yiwei Ci; Enyuan Tian (DAC, 2024)

Predicting Lemmas in Generalization of IC3. - Yuheng Su; Qiusong Yang; Yiwei Ci (DAC, 2024)

The rIC3 Hardware Model Checker. - Yuheng Su; Qiusong Yang; Yiwei Ci; Tianjun Bu; Ziyu Huang (CAV (1), 2025)

Deeply Optimizing the SAT Solver for the IC3 Algorithm. - Yuheng Su; Qiusong Yang; Yiwei Ci; Yingcheng Li; Tianjun Bu; Ziyu Huang (CAV (1), 2025)

Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3. - Yuheng Su; Qiusong Yang; Yiwei Ci; Ziyu Huang (CoRR, 2025)

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction. - Enyuan Tian; Yiwei Ci; Qiusong Yang; Yufeng Li; Zhichao Lyu (CoRR, 2025)