Yiwei Ci - RankMe

28 papers A* 4B 4C 2Journal 15Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	CIll: CTI-Guided Invariant Generation via LLMs for Model Checking. CoRR Yuheng Su, Tianjun Bu, Qiusong Yang, Yiwei Ci, Enyuan Tian
2025	J	`jnl`	AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction. CoRR Enyuan Tian, Yiwei Ci, Qiusong Yang, Yufeng Li, Zhichao Lyu
2025	—	`conf`	Deeply Optimizing the SAT Solver for the IC3 Algorithm. CAV (1) Yuheng Su, Qiusong Yang, Yiwei Ci, Yingcheng Li, Tianjun Bu, Ziyu Huang
2025	J	`jnl`	Deeply Optimizing the SAT Solver for the IC3 Algorithm. CoRR Yuheng Su, Qiusong Yang, Yiwei Ci, Yingcheng Li, Tianjun Bu, Ziyu Huang
2025	J	`jnl`	Efficient processor verification by tautologies-derived universal properties model checking. Integr. Yufeng Li, Yiwei Ci, Qiusong Yang, Enyuan Tian
2025	J	`jnl`	Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3. CoRR Yuheng Su, Qiusong Yang, Yiwei Ci, Ziyu Huang
2025	A*	`conf`	Property-driven Parallel Symbolic Model Checking of LTL. DAC Yuheng Su, Yingcheng Li, Qiusong Yang, Yiwei Ci, Ziyu Huang
2025	—	`conf`	The rIC3 Hardware Model Checker. CAV (1) Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, Ziyu Huang
2025	J	`jnl`	The rIC3 Hardware Model Checker. CoRR Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, Ziyu Huang
2024	J	`jnl`	KLNK: Expanding Page Boundaries in a Distributed Shared Memory System. IEEE Trans. Parallel Distributed Syst. Yiwei Ci, Michael R. Lyu, Zhan Zhang, De-Cheng Zuo, Xiao-Zong Yang
2024	A*	`conf`	Predicting Lemmas in Generalization of IC3. DAC Yuheng Su, Qiusong Yang, Yiwei Ci
2024	J	`jnl`	Predicting Lemmas in Generalization of IC3. CoRR Yuheng Su, Qiusong Yang, Yiwei Ci
2024	A*	`conf`	SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution. DAC Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian
2024	J	`jnl`	SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution. CoRR Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian
2024	B	`conf`	TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. ASPDAC Yufeng Li, Yiwei Ci, Qiusong Yang
2024	J	`jnl`	TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. CoRR Yufeng Li, Yiwei Ci, Qiusong Yang
2023	C	`conf`	Execute on Clear (EoC): Enhancing Security for Unsafe Speculative Instructions by Precise Identification and Safe Execution. ICCD Xiaoni Meng, Qiusong Yang, Yiwei Ci, Pei Zhao, Shan Zhao, Mingshu Li
2022	A*	`conf`	Merging Similar Patterns for Hardware Prefetching. MICRO Shizhi Jiang, Qiusong Yang, Yiwei Ci
2022	C	`conf`	Secure Access Policy (SAP): Invisibly Executing Speculative Unsafe Accesses in an Isolated Environment. ICCD Xiaoni Meng, Qiusong Yang, Yiwei Ci, Pei Zhao, Shan Zhao, Tianlin Huo, Mingshu Li
2022	J	`jnl`	Virtdev: Towards Providing Edge Services. IEEE Trans. Serv. Comput. Yiwei Ci, Xiao-Ke Zhao, Yan-peng Li, Zibin Zheng
2021	B	`conf`	Matryoshka: A Coalesced Delta Sequence Prefetcher. ICPP Shizhi Jiang, Yiwei Ci, Qiusong Yang, Mingshu Li
2020	J	`jnl`	Random Priority-Based Thrashing Control for Distributed Shared Memory. IEEE Trans. Parallel Distributed Syst. Yiwei Ci, Michael R. Lyu, Zhan Zhang, De-Cheng Zuo, Xiao-Zong Yang
2012	J	`jnl`	A multi-cycle checkpointing protocol that ensures strict 1-rollback. Inf. Process. Lett. Yiwei Ci, Zhan Zhang, De-Cheng Zuo, Zhibo Wu, Xiao-Zong Yang
2012	—	`conf`	Deterministic Replay of Multithread Applications Using Virtual Machine. AINA Workshops Jiageng Yu, Yiwei Ci, Peng Zhou, Yanjun Wu, Chen Zhao
2010	J	`jnl`	Dependency mining-based causal message logging. Inf. Process. Lett. Yiwei Ci, Zhan Zhang, De-Cheng Zuo, Zhibo Wu, Xiao-Zong Yang
2009	B	`conf`	Communication-Based Prevention of Non-P-Pattern. SRDS Yiwei Ci, Zhan Zhang, De-Cheng Zuo, Zhibo Wu, Xiao-Zong Yang
2009	J	`jnl`	Message fragment based causal message logging. J. Parallel Distributed Comput. Yiwei Ci, Zhan Zhang, De-Cheng Zuo, Xiao-Zong Yang
2008	B	`conf`	Area Difference Based Recovery Information Placement for Mobile Computing Systems. ICPADS Yiwei Ci, Zhan Zhang, De-Cheng Zuo, Zhibo Wu, Xiao-Zong Yang