Qiusong Yang

40 papers A* 5B 4C 4Journal 13Unranked 14
YearRankTypeTitle / 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