Yiwei Ci

According to our database, Yiwei Ci authored at least 8 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Predicting Lemmas in Generalization of IC3.

Yuheng Su, Qiusong Yang, Yiwei Ci

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution.

Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

TIUP: Effective Processor Verification with Tautology-Induced Universal Properties.

Yufeng Li, Yiwei Ci, Qiusong Yang

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2023

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

Proceedings of the 41st IEEE International Conference on Computer Design, 2023

2022

Merging Similar Patterns for Hardware Prefetching.

Shizhi Jiang, Qiusong Yang, Yiwei Ci

Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

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

Proceedings of the IEEE 40th International Conference on Computer Design, 2022

2021

Matryoshka: A Coalesced Delta Sequence Prefetcher.

Shizhi Jiang, Yiwei Ci, Qiusong Yang, Mingshu Li

Proceedings of the ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9, 2021

2012

Deterministic Replay of Multithread Applications Using Virtual Machine.

Jiageng Yu, Yiwei Ci, Peng Zhou, Yanjun Wu, Chen Zhao

Proceedings of the 26th International Conference on Advanced Information Networking and Applications Workshops, 2012