Yiwei Ci

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 7

Top Topics

Semantically Equivalent

Top Venues

Publications

Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian
SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution. CoRR (2024)
Yufeng Li, Yiwei Ci, Qiusong Yang
TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. ASPDAC (2024)
Yufeng Li, Yiwei Ci, Qiusong Yang
TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. CoRR (2024)
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. ICCD (2023)
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. ICCD (2022)
Shizhi Jiang, Qiusong Yang, Yiwei Ci
Merging Similar Patterns for Hardware Prefetching. MICRO (2022)
Shizhi Jiang, Yiwei Ci, Qiusong Yang, Mingshu Li
Matryoshka: A Coalesced Delta Sequence Prefetcher. ICPP (2021)
Jiageng Yu, Yiwei Ci, Peng Zhou, Yanjun Wu, Chen Zhao
Deterministic Replay of Multithread Applications Using Virtual Machine. AINA Workshops (2012)