
杨秋松 研究员 博导 中国科学院软件研究所
电子邮件: qiusong@iscas.ac.cn
通信地址: 北京市海淀区中关村南四街四号
邮政编码: 100190
研究领域
软硬件模型检测、软硬件深度融合
招生信息
招生专业
招生方向
教育背景
出国学习工作
2006--2007 马萨诸塞州立大学阿姆赫斯特分校高级软件工程研究实验室 访问学者
2011--2012 卡耐基梅隆计算机学院 访问学者
工作经历
2000--2002 北京世纪鼎点软件有限公司
2008--2010 中国科学院软件研究所 助理研究员
2010--2013 中国科学院软件研究所 副研究员
2013- 中国科学院软件研究所 研究员
专利与奖励
奖励信息
主要论文
[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.