Qiusong Yang

According to our database, Qiusong Yang authored at least 25 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Predicting Lemmas in Generalization of IC3.

Yuheng Su, Qiusong Yang, Yiwei Ci

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution.

Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

TIUP: Effective Processor Verification with Tautology-Induced Universal Properties.

Yufeng Li, Yiwei Ci, Qiusong Yang

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2023

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

Proceedings of the 41st IEEE International Conference on Computer Design, 2023

2022

Merging Similar Patterns for Hardware Prefetching.

Shizhi Jiang, Qiusong Yang, Yiwei Ci

Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

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

Proceedings of the IEEE 40th International Conference on Computer Design, 2022

2021

Matryoshka: A Coalesced Delta Sequence Prefetcher.

Shizhi Jiang, Yiwei Ci, Qiusong Yang, Mingshu Li

Proceedings of the ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9, 2021

2018

BehaviorKI: Behavior Pattern Based Runtime Integrity Checking for Operating System Kernel.

Xinyue Feng, Qiusong Yang, Lin Shi, Qing Wang

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017

A secure and rapid response architecture for virtual machine migration from an untrusted hypervisor to a trusted one.

Tao Wu, Qiusong Yang, Yeping He

Frontiers Comput. Sci., 2017

2016

Designing and Modeling of Covert Channels in Operating Systems.

Yuqi Lin, Saif Ur Rehman Malik, Kashif Bilal, Qiusong Yang, Yongji Wang, Samee U. Khan

IEEE Trans. Computers, 2016

2015

DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization.

Miao Xie, Qiusong Yang, Qing Wang, Gao Cong, Gerard de Melo

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

A vertex centric parallel algorithm for linear temporal logic model checking in Pregel.

Miao Xie, Qiusong Yang, Jian Zhai, Qing Wang

J. Parallel Distributed Comput., 2014

2013

Creating Process-Agents incrementally by mining process asset library.

Hui Huang, Junchao Xiao, Qiusong Yang, Qing Wang, Hong Wu

Inf. Sci., 2013

2012

Assumption Generation for Asynchronous Systems by Abstraction Refinement.

Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011

DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules.

Yanbin Liu, Ye Yang, Qiusong Yang, Mingshu Li

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Automatic mining of change set size information from repository for precise productivity estimation.

Hui Huang, Qiusong Yang, Junchao Xiao, Jian Zhai

Proceedings of the International Conference on Software and Systems Process, 2011

Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs.

Qiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming.

Xin Dong, Qiusong Yang, Qing Wang, Jian Zhai, Günther Ruhe

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

A cut-off approach for bounded verification of parameterized systems.

Qiusong Yang, Mingshu Li

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Stochastic Process Algebra Based Software Process Simulation Modeling.

Jian Zhai, Qiusong Yang, Feng Su, Junchao Xiao, Qing Wang, Mingshu Li

Proceedings of the Trustworthy Software Development Processes, 2009

Value-Based Multiple Software Projects Scheduling with Genetic Algorithm.

Junchao Xiao, Qing Wang, Mingshu Li, Qiusong Yang, Lizi Xie, Dapeng Liu

Proceedings of the Trustworthy Software Development Processes, 2009

2008

Automated Process Quality Assurance for Distributed Software Development.

Jian Zhai, Qiusong Yang, Ye Yang, Junchao Xiao, Qing Wang, Mingshu Li

Proceedings of the Software Engineering Approaches for Offshore and Outsourced Development, 2008

2007

An Algebraic Approach for Managing Inconsistencies in Software Processes, .

Qiusong Yang, Mingshu Li, Qing Wang, Guowei Yang, Jian Zhai, Juan Li, Lishan Hou, Yun Yang

Proceedings of the Software Process Dynamics and Agility, 2007

2006

On Mobility of Software Processes.

Mingshu Li, Qiusong Yang, Jian Zhai, Guowei Yang

Proceedings of the Software Process Change, 2006

2005

Evaluation of the Capability of Personal Software Process Based on Data Envelopment Analysis.

Liping Ding, Qiusong Yang, Liang Sun, Jie Tong, Yongji Wang

Proceedings of the Unifying the Software Process Spectrum, 2005