基本信息

杨秋松 研究员  博导  中国科学院软件研究所
电子邮件: qiusong@iscas.ac.cn
通信地址: 北京市海淀区中关村南四街四号
邮政编码: 100190

研究领域

软硬件模型检测、软硬件深度融合

招生信息

   
招生专业
081202-计算机软件与理论
083500-软件工程
招生方向
可信计算与基础软件
软硬件融合
软件工程

教育背景

2002-09--2008-07   中国科学院软件研究所   计算机软件与理论博士学位
1996-09--2000-06   中南大学   计算机科学与技术学士学位
出国学习工作

2006--2007  马萨诸塞州立大学阿姆赫斯特分校高级软件工程研究实验室  访问学者 
2011--2012   卡耐基梅隆计算机学院  访问学者

工作经历

2000--2002  北京世纪鼎点软件有限公司
2008--2010  中国科学院软件研究所  助理研究员
2010--2013  中国科学院软件研究所 副研究员
2013-          中国科学院软件研究所 研究员

专利与奖励

2010      ACM SIGSOFT Distinguished Paper Award, the 32nd ACM/IEEE International Conference on Software Engineering
奖励信息
(1) 中国科学院关键技术人才, 部委级, 2018
(2) 软件所优秀青年科技人才, , 研究所(学校), 2013
(3) 北京市科学技术进步奖, 二等奖, 省级, 2012
(4) ACM SIGSOFT Distinguished Paper Award, , 其他, 2010

主要论文

[1] Zhichao Lv, Tianjun Bu, Qiusong yang. Fast, Transparent and Accurate Simulation of Thousand Processing-in-Memory Cores. 35th edition of Great Lakes Symposium on VLSI, GLSVLSI 2025. Accepted. 

[2] Yuheng Su, Qiusong Yang, Yiwei Ci, Yingcheng Li, Tianjun Bu, and Ziyu Huang. Deeply optimizing the sat solver for the ic3 algorithm. In Computer Aided Verifica- tion - 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Lecture Notes in Computer Science. Springer, 2025. Accepted. CCF-A.

[3] Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, and Ziyu Huang. The ric3 hard- ware model checker. In Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Lecture Notes in Computer Science. Springer, 2025. Provisionally Accepted. CCF-A.

[4] Yuheng Su, Yingcheng Li, Qiusong Yang, Yiwei Ci, and Ziyu Huang. Property- driven parallel symbolic model checking of ltl. In Proceedings of the 62st ACM/IEEE Design Automation Conference, DAC 2025, Moscone West, San Francisco CA, USA, June 22-26, 2025. ACM, 2025. Accepted. CCF-A.

[5] Yuheng Su, Qiusong Yang, and Yiwei Ci. Predicting lemmas in generalization of IC3. In Vivek De, editor, Proceedings of the 61st ACM/IEEE Design Automation Conference, DAC 2024, San Francisco, CA, USA, June 23-27, 2024, pages 208:1– 208:6. ACM, 2024. CCF-A.

[6] Yufeng Li, Qiusong Yang, Yiwei Ci, and Enyuan Tian. SEPE-SQED: symbolic quick error detection by semantically equivalent program execution. In Vivek De, editor, Proceedings of the 61st ACM/IEEE Design Automation Conference, DAC 2024, San Francisco, CA, USA, June 23-27, 2024, pages 258:1–258:6. ACM, 2024. CCF-A.

[7] Yufeng Li, Yiwei Ci, and Qiusong Yang. TIUP: effective processor verification with tautology-induced universal properties. In Proceedings of the 29th Asia and South Pacific Design Automation Conference, ASPDAC 2024, Incheon, Korea, January 22-25, 2024, pages 269–274. IEEE, 2024.

[8] Xiaoni Meng, Qiusong Yang, Yiwei Ci, Pei Zhao, Shan Zhao, and Mingshu Li. Execute on clear (eoc): Enhancing security for unsafe speculative instructions by precise identification and safe execution. In 41st IEEE International Conference on Computer Design, ICCD 2023, Washington, DC, USA, November 6-8, 2023, pages 587–595. IEEE, 2023.

[9] Shizhi Jiang, Qiusong Yang, and Yiwei Ci. Merging similar patterns for hardware prefetching. In 55th IEEE/ACM International Symposium on Microarchitecture, MICRO 2022, Chicago, IL, USA, October 1-5, 2022, pages 1012–1026. IEEE, 2022. CCF-A.

[10] 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. In 2022 IEEE 40th International Conference on Computer Design (ICCD), pages 80–88, Los Alamitos, CA, USA, oct 2022. IEEE Computer Society.

[11] Shizhi Jiang, Yiwei Ci, Qiusong Yang, and Mingshu Li. Matryoshka: A coalesced delta sequence prefetcher. In Xian-He Sun, Sameer Shende, Laxmikant V. Kalé, and Yong Chen, editors, ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9 - 12, 2021, pages 5:1–5:11. ACM, 2021.

[12] Xinyue Feng, Qiusong Yang, Lin Shi, and Qing Wang. Behaviorki: Behavior pat- tern based runtime integrity checking for operating system kernel. In 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018, pages 13–24. IEEE, 2018.

[13] Yuqi Lin, Saif Ur Rehman Malik, Kashif Bilal, Qiusong Yang, Yongji Wang, and Samee U. Khan. Designing and modeling of covert channels in operating systems. IEEE Trans. Computers, 65(6):1706–1719, 2016.

[14] Miao Xie, Qiusong Yang, Qing Wang, Gao Cong, and Gerard de Melo. Dynadiffuse: A dynamic diffusion model for continuous time constrained influence maximization. In Blai Bonet and Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA, pages 346–352. AAAI Press, 2015. CCF-A.

[15] Miao Xie, Qiusong Yang, Jian Zhai, and Qing Wang. A vertex centric parallel algorithm for linear temporal logic model checking in pregel. J. Parallel Distributed Comput., 74(11):3161–3174, 2014.

[16] Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, and Mingshu Li. Assump- tion generation for asynchronous systems by abstraction refinement. In Corina S. Pasareanu and Gwen Salaün, editors, Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, volume 7684 of Lecture Notes in Computer Science, pages 260–276. Springer, 2012.

[17] Qiusong Yang, Bei Zhang, Jian Zhai, and Mingshu Li. Attacking the dimensional- ity problem of parameterized systems via bounded reachability graphs. In Farhad Arbab and Marjan Sirjani, editors, Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Se- lected Papers, volume 7141 of Lecture Notes in Computer Science, pages 221–235. Springer, 2011.

[18] Qiusong Yang and Mingshu Li. A cut-off approach for bounded verification of pa- rameterized systems. In Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, and Sebastián Uchitel, editors, Proceedings of the 32nd ACM/IEEE International Con- ference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pages 345–354. ACM, 2010. CCF-A. ACM SIGSOFT Distinguished Paper Award.

[19] 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 Qing Wang, Dietmar Pfahl, and David M. Raffo, editors, Software Process Dynamics and Agility, International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings, volume 4470 of Lecture Notes in Computer Science, pages 121–133. Springer, 2007.

[20] Mingshu Li, Qiusong Yang, Jian Zhai, and Guowei Yang. On mobility of software processes. In Qing Wang, Dietmar Pfahl, David M. Raffo, and Paul Wernick, edi- tors, Software Process Change, International Software Process Workshop and Inter- national Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings, volume 3966 of Lecture Notes in Computer Science, pages 105–114. Springer, 2006.


科研活动

   
科研项目
( 1 ) 基于嵌套不动点分解的 RTL 并行符号模型检测方法和技术研究, 负责人, 地方任务, 2025-01--2027-12
( 2 ) 存算一体环境下的精细化进程调度模型研究, 负责人, 研究所自主部署, 2023-12--2024-11
( 3 ) 存算一体架构下大规模图处理编程模型/框架研究, 负责人, 其他, 2023-12--2025-03
( 4 ) XXX专项-课题一, 负责人, 国家任务, 2022-01--2024-12
( 5 ) XXX专项-课题一, 负责人, 国家任务, 2020-01--2021-12
( 6 ) Windows应用兼容与微结构性能增强关键技术(课题二), 负责人, 中国科学院计划, 2020-01--2021-12
( 7 ) 关键软硬件系统安全性分析评估核心技术研发及验证, 参与, 中国科学院计划, 2018-07--2019-06
( 8 ) 安全可靠桌面计算机操作系统, 负责人, 国家任务, 2014-01--2019-12