General

Dr. Qiusong Yang/杨秋松 (繁:楊秋松)

Research Professor
Institute of Software, Beijing, China 100190
Senior Member of China Computer Foundation (CCF)

Email:
qiusong@iscas.ac.cn
Phone: 8610-021-20522052


Research Areas

​Hardware/software model checking, hardware/software codesign

Education

2000 BS (Computer Science and Technology),Central South University.
2008 PhD (Computer Software and Theories),Institute of Software, Chinese Academy of Sciences.

Experience

2000-2002  Senior Programmer,   PowerInfo Co. Ltd  . 

2006-2007  Exchange Student, Laboratory for Advanced Software Engineering Research, UMass Amherst  

2008-2010  Assistant Research Professor, Institute of Software, Chinese Academy of Sciences

2010-2013  Associate Research Professor, Institute of Software, Chinese Academy of Sciences 

2011-2012   Visiting Scholar, Computer Sciences Department, Carnegie Mellon University

2013-         Research Professor, Institute of Software, Chinese Academy of Sciences

2014-         Research Professor, CPU and Fundamental Software Research Center, Chinese Academy of Sciences

Honors & Distinctions

2010  ACM SIGSOFT Distinguished Paper Award, the 32nd ACM/IEEE International Conference
on Software Engineering

Selected Publications

[1] Yuheng Su, Qiusong Yang, Yiwei Ci. Predicting Lemmas in Generalization of IC3. 61st Design Automation Conference, DAC2024. CCF-A.

[2] Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian.  Symbolic Quick Error Detection by Semantically Equivalent Program Execution. 61st Design Automation Conference, DAC2024. CCF-A.

[3] Yufeng Li, Yiwei Ci, Qiusong Yang. TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. The 29th Asia and South Pacific Design Automation Conference, ASPDAC2024. 

[4] 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. IEEE 41st International Conference on Computer Design, ICCD2023. 

[5] Shizhi Jiang, Qiusong Yang, Yiwei Ci. Merging Similar Patterns for Hardware Prefetching. 55th IEEE/ACM International Symposium on Microarchitecture, MICRO2022. CCF-A.  

[6] Xiaoni Meng, Qiusong Yang, Yiwei Ci, Pei Zhao, Shan Zhao, Tianlin Huo and Mingshu Li. Secure Access Policy (SAP): Invisibly Executing Speculative Unsafe Accesses in an Isolated Environment. IEEE 40th International Conference on Computer Design, ICCD2022. 

[7] Shizhi Jiang, Yiwei Ci, Qiusong Yang, MIngshu Li. Matryoshka A Coalesced Delta Sequence Prefetcher. ICPP 2021. 

[8] Xinyue Feng, Qiusong Yang, Lin Shi, Qing Wang. BehaviorKI: Behavior Pattern Based Runtime Integrity Checking for Operating System Kernel. QRS 2018: 13-24.

[9] 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): 821-835 (2017).

[10] 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): 1706-1719 (2016).

[11] Miao Xie, Qiusong Yang, Qing Wang, Gao Cong, Gerard de Melo: DynaDiffuse. A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization. AAAI 2015: 346-352. CCF-A. 

[12] Miao Xie, Qiusong Yang, Jian Zhai, Qing Wang. A vertex centric parallel algorithm for linear temporal logic model checking in Pregel. J. Parallel Distrib. Comput. 74(11): 3161-3174 (2014)

[13] Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li. Assumption Generation for Asynchronous Systems by Abstraction Refinement. FACS 2012: 260-276. 

[14] Qiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li. Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs. FSEN 2011: 221-235.

[15] Qiusong Yang, Mingshu Li. A Cut-off Approach for Bounded Verification of Parameterized Systems. In Proceedings of the 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, pages 345-354. ACM SIGSOFT Distinguished Paper Award. CCF-A. 

[16] Jian Zhai, Qiusong Yang, Feng Su, Junchao Xiao, Qing Wang, and Mingshu Li. Stochastic Process Algebra Based Software Process Simulation Modeling. In Proceedings of the International Conference on Software Processes, volume 5543 of Lecture Notes in Computer Science, pages 136–147. Springer, 2009. 

[17] Jian Zhai, Qiusong Yang, Ye Yang, Junchao Xiao, Qing Wang, and Mingshu Li. Automated Process Quality Assurance for Distributed Software Development. In Proceedings of the 2nd Software Engineering Approaches for Offshore and Outsourced Development, volume 16 of Lecture Notes in Business Information Processing, pages 196-210. Springer, 2008. 

[18] Qiusong Yang, Mingshu Li, Qing Wang, Guowei Yang, Jian Zhai, Juan Li, Lishan Hou, and Yun Yang. An algebraic approach for managing inconsistencies in software processes. In Proceedings of the International Conference on Software Processes, volume 4470 of Lecture Notes in Computer Science, pages 121–133. Springer, 2007. 

[19] Mingshu Li, Qiusong Yang, Jian Zhai, Guowei Yang. On mobility of software processes. In Proceedings of the International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, volume 3966 of Lecture Notes in Computer Science, pages 105–114. Springer, 2006. 

[20] Liping Ding, Qiusong Yang, Liang Sun, Jie Tong, Yongji Wang. Evaluation of the Capability of Personal Software Process Based on Data Envelopment Analysis. In Proceedings of the International Software Process Workshop, volume 3840 of Lecture Notes in Computer Science, pages 235–248. Springer, 2005.