| 2026 | ISCAS | AssertSynth: LLM-Based Assertion Synthesis via Multimodal Specification Extraction. | Enyuan Tian, Yiwei Ci, Qiusong Yang, Yufeng Li, Zhichao Lyu |
| 2026 | KSEM | Enhancing Chip Placement Generation Through Multi-channel Knowledge Graph Retrieval and Constraint-Aware Strategy Synthesis. | Keqin Sun, Qiusong Yang, Mingshu Li |
| 2025 | CAV | The rIC3 Hardware Model Checker. | Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, Ziyu Huang |
| 2025 | CAV | Deeply Optimizing the SAT Solver for the IC3 Algorithm. | Yuheng Su, Qiusong Yang, Yiwei Ci, Yingcheng Li, Tianjun Bu, Ziyu Huang |
| 2025 | DAC | Property-driven Parallel Symbolic Model Checking of LTL. | Yuheng Su, Yingcheng Li, Qiusong Yang, Yiwei Ci, Ziyu Huang |
| 2025 | ICA3PP | ChipDRAG: Dynamic RAG for Chip Placement. | Keqin Sun, Qiusong Yang, Mingshu Li |
| 2025 | ICPADS | Formal Verification of a Crash-Safe File System Based on Non-Persistent Conditions Extended Concurrent Separation Logic. | Xinmin Zheng, Mingshu Li, Qiusong Yang, Wenbo Li |
| 2024 | ASPDAC | TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. | Yufeng Li, Yiwei Ci, Qiusong Yang |
| 2024 | DAC | SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution. | Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian |
| 2024 | DAC | Predicting Lemmas in Generalization of IC3. | Yuheng Su, Qiusong Yang, Yiwei Ci |
| 2023 | ICCD | 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 |
| 2022 | ICCD | 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 |
| 2022 | MICRO | Merging Similar Patterns for Hardware Prefetching. | Shizhi Jiang, Qiusong Yang, Yiwei Ci |
| 2021 | ICPP | Matryoshka: A Coalesced Delta Sequence Prefetcher. | Shizhi Jiang, Yiwei Ci, Qiusong Yang, Mingshu Li |
| 2018 | QRS | BehaviorKI: Behavior Pattern Based Runtime Integrity Checking for Operating System Kernel. | Xinyue Feng, Qiusong Yang, Lin Shi, Qing Wang |
| 2015 | AAAI | DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization. | Miao Xie, Qiusong Yang, Qing Wang, Gao Cong, Gerard de Melo |
| 2011 | APSEC | Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming. | Xin Dong, Qiusong Yang, Qing Wang, Jian Zhai, Gnther Ruhe |
| 2010 | ICSE | A cut-off approach for bounded verification of parameterized systems. | Qiusong Yang, Mingshu Li |