Qiusong Yang

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 10

Top Topics

Operating System

Top Venues

Publications

Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian
SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution. CoRR (2024)
Yufeng Li, Yiwei Ci, Qiusong Yang
TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. ASPDAC (2024)
Yufeng Li, Yiwei Ci, Qiusong Yang
TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. CoRR (2024)
Xiaoni Meng, Qiusong Yang, Yiwei Ci, Pei Zhao, Shan Zhao, Mingshu Li
Execute on Clear (EoC): Enhancing Security for Unsafe Speculative Instructions by Precise Identification and Safe Execution. ICCD (2023)
Xiaoni Meng, Qiusong Yang, Yiwei Ci, Pei Zhao, Shan Zhao, Tianlin Huo, Mingshu Li
Secure Access Policy (SAP): Invisibly Executing Speculative Unsafe Accesses in an Isolated Environment. ICCD (2022)
Shizhi Jiang, Qiusong Yang, Yiwei Ci
Merging Similar Patterns for Hardware Prefetching. MICRO (2022)
Shizhi Jiang, Yiwei Ci, Qiusong Yang, Mingshu Li
Matryoshka: A Coalesced Delta Sequence Prefetcher. ICPP (2021)
Xinyue Feng, Qiusong Yang, Lin Shi, Qing Wang
BehaviorKI: Behavior Pattern Based Runtime Integrity Checking for Operating System Kernel. QRS (2018)
Tao Wu, Qiusong Yang, Yeping He
A secure and rapid response architecture for virtual machine migration from an untrusted hypervisor to a trusted one. Frontiers Comput. Sci. 11 (5) (2017)
Yuqi Lin, Saif Ur Rehman Malik, Kashif Bilal, Qiusong Yang, Yongji Wang, Samee U. Khan
Designing and Modeling of Covert Channels in Operating Systems. IEEE Trans. Computers 65 (6) (2016)
Miao Xie, Qiusong Yang, Qing Wang, Gao Cong, Gerard de Melo
DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization. AAAI (2015)
Miao Xie, Qiusong Yang, Jian Zhai, Qing Wang
A vertex centric parallel algorithm for linear temporal logic model checking in Pregel. J. Parallel Distributed Comput. 74 (11) (2014)
Hui Huang, Junchao Xiao, Qiusong Yang, Qing Wang, Hong Wu
Creating Process-Agents incrementally by mining process asset library. Inf. Sci. 233 (2013)
Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li
Assumption Generation for Asynchronous Systems by Abstraction Refinement. FACS (2012)
Yanbin Liu, Ye Yang, Qiusong Yang, Mingshu Li
DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules. SSIRI (Companion) (2011)
Qiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li
Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs. FSEN (2011)
Xin Dong, Qiusong Yang, Qing Wang, Jian Zhai, Günther Ruhe
Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming. APSEC (2011)
Hui Huang, Qiusong Yang, Junchao Xiao, Jian Zhai
Automatic mining of change set size information from repository for precise productivity estimation. ICSSP (2011)
Qiusong Yang, Mingshu Li
A cut-off approach for bounded verification of parameterized systems. ICSE (1) (2010)
Junchao Xiao, Qing Wang, Mingshu Li, Qiusong Yang, Lizi Xie, Dapeng Liu
Value-Based Multiple Software Projects Scheduling with Genetic Algorithm. ICSP (2009)
Jian Zhai, Qiusong Yang, Feng Su, Junchao Xiao, Qing Wang, Mingshu Li
Stochastic Process Algebra Based Software Process Simulation Modeling. ICSP (2009)
Jian Zhai, Qiusong Yang, Ye Yang, Junchao Xiao, Qing Wang, Mingshu Li
Automated Process Quality Assurance for Distributed Software Development. SEAFOOD (2008)
Qiusong Yang, Mingshu Li, Qing Wang, Guowei Yang, Jian Zhai, Juan Li, Lishan Hou, Yun Yang
An Algebraic Approach for Managing Inconsistencies in Software Processes, . ICSP (2007)
Mingshu Li, Qiusong Yang, Jian Zhai, Guowei Yang
On Mobility of Software Processes. SPW/ProSim (2006)
Liping Ding, Qiusong Yang, Liang Sun, Jie Tong, Yongji Wang
Evaluation of the Capability of Personal Software Process Based on Data Envelopment Analysis. ISPW (2005)