Yiwei Ci

According to our database, Yiwei Ci authored at least 23 papers between 2008 and 2026.

Collaborative distances:

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

2026

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking.

Yuheng Su, Tianjun Bu, Qiusong Yang, Yiwei Ci, Enyuan Tian

CoRR, February, 2026

2025

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction.

Enyuan Tian, Yiwei Ci, Qiusong Yang, Yufeng Li, Zhichao Lyu

CoRR, July, 2025

Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3.

Yuheng Su, Qiusong Yang, Yiwei Ci, Ziyu Huang

CoRR, January, 2025

Efficient processor verification by tautologies-derived universal properties model checking.

Yufeng Li, Yiwei Ci, Qiusong Yang, Enyuan Tian

Integr., 2025

Property-driven Parallel Symbolic Model Checking of LTL.

Yuheng Su, Yingcheng Li, Qiusong Yang, Yiwei Ci, Ziyu Huang

Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025

Deeply Optimizing the SAT Solver for the IC3 Algorithm.

Yuheng Su, Qiusong Yang, Yiwei Ci, Yingcheng Li, Tianjun Bu, Ziyu Huang

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

The rIC3 Hardware Model Checker.

Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, Ziyu Huang

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

KLNK: Expanding Page Boundaries in a Distributed Shared Memory System.

Yiwei Ci, Michael R. Lyu, Zhan Zhang, De-Cheng Zuo, Xiao-Zong Yang

IEEE Trans. Parallel Distributed Syst., September, 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

Virtdev: Towards Providing Edge Services.

Yiwei Ci, Xiao-Ke Zhao, Yan-Peng Li, Zibin Zheng

IEEE Trans. Serv. Comput., 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

2020

Random Priority-Based Thrashing Control for Distributed Shared Memory.

Yiwei Ci, Michael R. Lyu, Zhan Zhang, De-Cheng Zuo, Xiao-Zong Yang

IEEE Trans. Parallel Distributed Syst., 2020

2012

A multi-cycle checkpointing protocol that ensures strict 1-rollback.

Yiwei Ci, Zhan Zhang, De-Cheng Zuo, Zhibo Wu, Xiao-Zong Yang

Inf. Process. Lett., 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

2010

Dependency mining-based causal message logging.

Yiwei Ci, Zhan Zhang, De-Cheng Zuo, Zhibo Wu, Xiao-Zong Yang

Inf. Process. Lett., 2010

2009

Message fragment based causal message logging.

Yiwei Ci, Zhan Zhang, De-Cheng Zuo, Xiao-Zong Yang

J. Parallel Distributed Comput., 2009

Communication-Based Prevention of Non-P-Pattern.

Yiwei Ci, Zhan Zhang, De-Cheng Zuo, Zhibo Wu, Xiao-Zong Yang

Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

2008

Area Difference Based Recovery Information Placement for Mobile Computing Systems.

Yiwei Ci, Zhan Zhang, De-Cheng Zuo, Zhibo Wu, Xiao-Zong Yang

Proceedings of the 14th International Conference on Parallel and Distributed Systems, 2008