Qiusong Yang - RankMe

40 papers A* 5B 4C 4Journal 13Unranked 14

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`	ChipDRAG: Dynamic RAG for Chip Placement. ICA3PP (6) Keqin Sun, Qiusong Yang, Mingshu Li
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	—	`conf`	Fast, Transparent and Accurate Simulation of Thousand Processing-in-Memory Cores. ACM Great Lakes Symposium on VLSI Zhichao Lv, Tianjun Bu, Qiusong Yang
2025	B	`conf`	Formal Verification of a Crash-Safe File System Based on Non-Persistent Conditions Extended Concurrent Separation Logic. ICPADS Xinmin Zheng, Mingshu Li, Qiusong Yang, Wenbo Li
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	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
2021	B	`conf`	Matryoshka: A Coalesced Delta Sequence Prefetcher. ICPP Shizhi Jiang, Yiwei Ci, Qiusong Yang, Mingshu Li
2018	C	`conf`	BehaviorKI: Behavior Pattern Based Runtime Integrity Checking for Operating System Kernel. QRS Xinyue Feng, Qiusong Yang, Lin Shi, Qing Wang
2017	J	`jnl`	A secure and rapid response architecture for virtual machine migration from an untrusted hypervisor to a trusted one. Frontiers Comput. Sci. Tao Wu, Qiusong Yang, Yeping He
2016	J	`jnl`	Designing and Modeling of Covert Channels in Operating Systems. IEEE Trans. Computers Yuqi Lin, Saif Ur Rehman Malik, Kashif Bilal, Qiusong Yang, Yongji Wang, Samee U. Khan
2015	A*	`conf`	DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization. AAAI Miao Xie, Qiusong Yang, Qing Wang, Gao Cong, Gerard de Melo
2014	J	`jnl`	A vertex centric parallel algorithm for linear temporal logic model checking in Pregel. J. Parallel Distributed Comput. Miao Xie, Qiusong Yang, Jian Zhai, Qing Wang
2013	J	`jnl`	Creating Process-Agents incrementally by mining process asset library. Inf. Sci. Hui Huang, Junchao Xiao, Qiusong Yang, Qing Wang, Hong Wu
2012	—	`conf`	Assumption Generation for Asynchronous Systems by Abstraction Refinement. FACS Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li
2011	—	`conf`	Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs. FSEN Qiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li
2011	B	`conf`	Automatic mining of change set size information from repository for precise productivity estimation. ICSSP Hui Huang, Qiusong Yang, Junchao Xiao, Jian Zhai
2011	—	`conf`	DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules. SSIRI (Companion) Yanbin Liu, Ye Yang, Qiusong Yang, Mingshu Li
2011	C	`conf`	Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming. APSEC Xin Dong, Qiusong Yang, Qing Wang, Jian Zhai, Günther Ruhe
2010	—	`conf`	A cut-off approach for bounded verification of parameterized systems. ICSE (1) Qiusong Yang, Mingshu Li
2009	—	`conf`	Stochastic Process Algebra Based Software Process Simulation Modeling. ICSP Jian Zhai, Qiusong Yang, Feng Su, Junchao Xiao, Qing Wang, Mingshu Li
2009	—	`conf`	Value-Based Multiple Software Projects Scheduling with Genetic Algorithm. ICSP Junchao Xiao, Qing Wang, Mingshu Li, Qiusong Yang, Lizi Xie, Dapeng Liu
2008	—	`conf`	Automated Process Quality Assurance for Distributed Software Development. SEAFOOD Jian Zhai, Qiusong Yang, Ye Yang, Junchao Xiao, Qing Wang, Mingshu Li
2007	—	`conf`	An Algebraic Approach for Managing Inconsistencies in Software Processes, . ICSP Qiusong Yang, Mingshu Li, Qing Wang, Guowei Yang, Jian Zhai, Juan Li, Lishan Hou, Yun Yang
2006	—	`conf`	On Mobility of Software Processes. SPW/ProSim Mingshu Li, Qiusong Yang, Jian Zhai, Guowei Yang
2005	—	`conf`	Evaluation of the Capability of Personal Software Process Based on Data Envelopment Analysis. ISPW Liping Ding, Qiusong Yang, Liang Sun, Jie Tong, Yongji Wang