基本信息
陶秋铭 男 硕导 软件研究所
电子邮件:qiuming@iscas.ac.cn
通信地址:北京市中关村南四街4号中科院软件所总体部
邮政编码:100190

研究领域

操作系统、编译技术、软件测试


招生信息

   
招生专业
081202-计算机软件与理论
083500-软件工程
招生方向
基础软件系统与工程

教育背景

2002-09--2009-07 中国科学院软件研究所 攻读博士学位
1998-09--2002-07 南京大学计算机科学与技术系 攻读学士学位

工作经历

   
工作简历
2012-12--今 中国科学院软件研究所 副研究员
2009-07--2012-12 中国科学院软件研究所 助理研究员

专利与奖励

   
专利成果
[1] 汪美玲, 陶秋铭, 周翔, 李梅, 赵琛. 基于用户兴趣挖掘的微博词云生成方法及访问支持系统. CN: CN103793481A, 2014-05-14.

出版信息

   
发表论文
[1] 冯竞舸, 贺也平, 陶秋铭, 马恒太. 基于多种同构化变换的SLP向量化方法. 计算机研究与发展[J]. 2023, 60(12): 1-21, [2] 冯竞舸, 贺也平, 陶秋铭. 自动向量化:近期进展与展望. 通信学报[J]. 2022, 43(3): 180-195, [3] Jingge Feng, Yeping He, Qiuming Tao, Hengtai Ma. An SLP Vectorization Method Based on Equivalent Extended Transformation. WIRELESS COMMUNICATIONS AND MOBILE COMPUTING[J]. 2022, [4] Jing Ge Feng, Ye Ping He, Qiu Ming Tao. Evaluation of Compilers’ Capability of Automatic Vectorization Based on Source Code Analysis. SCIENTIFIC PROGRAMMING[J]. 2021, [5] 连文波, 汪美玲, 陶秋铭, 赵琛. 使用内存缓存的迭代应用编程框架. 计算机系统应用[J]. 2015, 24(3): 44-49, http://lib.cqvip.com/Qikan/Article/Detail?id=663811267.
[6] 陈欣, 吴伟, 陶秋铭, 赵琛. 面向C4350AL处理器的GCC移植与优化. 计算机系统应用[J]. 2015, 24(9): 171-175, http://lib.cqvip.com/Qikan/Article/Detail?id=665917763.
[7] 汪美玲, 周翔, 陶秋铭, 赵琛. 增强覆盖度与非相似性的标签选择多样化方法. 软件学报[J]. 2015, 26(9): 2326-2338, http://lib.cqvip.com/Qikan/Article/Detail?id=665874130.
[8] 陈军成, 薛云志, 陶秋铭, 赵琛. 基于事件处理函数的GUI测试用例集约简技术. 软件学报[J]. 2015, 26(8): 1871-1885, http://lib.cqvip.com/Qikan/Article/Detail?id=665619629.
[9] Wang Meiling, Zhou Xiang, Tao Qiuming, Wu Wei, Zhao Chen. Diversifying Tag Selection Result for Tag Clouds by Enhancing both Coverage and Dissimilarity. 14th International Conference on Web Information Systems Engineering (WISE)null. 2013, 29-42, http://ir.iscas.ac.cn/handle/311060/16528.
[10] 余侠, 薛云志, 陶秋铭. 基于pCTL的循环优化测试用例自动生成方法. 小型微型计算机系统[J]. 2010, 436-440, http://lib.cqvip.com/Qikan/Article/Detail?id=33330909.
[11] Tao, Qiuming, Wu, Wei, Zhao, Chen, Shen, Wuwei, Han, J, Thu, TD. An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique. 17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010)[J]. 2010, 270-279, [12] 陶秋铭, 赵琛, 王永吉. 一种基于过程图模型的编译优化测试程序自动生成方法. 计算机研究与发展[J]. 2009, 1567-1577, http://lib.cqvip.com/Qikan/Article/Detail?id=31515953.
[13] 陶秋铭, 赵琛, 郭亮. 基于时序逻辑证明编译优化程序变换的保义性. 软件学报[J]. 2009, 2074-2086, http://lib.cqvip.com/Qikan/Article/Detail?id=31186765.
[14] 陶秋铭. 基于形式描述的编译优化自动测试方法与技术研究. 2009, [15] Zhao Chen, Xue Yunzhi, Tao Qiuming, Guo Liang, Wang Zhaohui. Automated test program generation for an industrial optimizing compiler. PROCEEDINGS OF THE 2009 ICSE WORKSHOP ON AUTOMATION OF SOFTWARE TEST, AST 2009null. 2009, http://124.16.136.157/handle/311060/8332.
[16] 夏勇, 薛云志, 陶秋铭, 赵琛. 基于CTL的循环优化变换描述方法. 计算机应用研究[J]. 2007, 24(7): 49-51, http://lib.cqvip.com/Qikan/Article/Detail?id=24990303.
[17] Wang, YJ, Cartmell, M, Tao, QM, Liu, H. A generalized real-time obstacle avoidance method without the cspace calculation. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2005, 20(6): 774-787, http://lib.cqvip.com/Qikan/Article/Detail?id=20592842.

科研活动

   
科研项目
( 1 ) 基于历史数据复用的软件回归测试加速技术, 负责人, 国家任务, 2012-01--2014-12
( 2 ) 中科院“青促会”会员人才资助项目, 负责人, 中国科学院计划, 2015-01--2018-12
( 3 ) 基于程序综合的符号执行环境建模方法研究, 参与, 国家任务, 2015-01--2017-12
( 4 ) 安全可靠桌面计算机操作系统-子课题1:安全可靠通用CPU及外围硬件适配, 负责人, 国家任务, 2014-01--2019-12
( 5 ) 关键软硬件系统安全性分析评估核心技术研发及验证, 参与, 中国科学院计划, 2018-07--2019-06
( 6 ) Windows兼容应用框架及运行时支撑环境定制及测试(一期), 参与, 其他任务, 2020-06--2020-12
( 7 ) Windows应用兼容与微结构性能增强关键技术, 参与, 中国科学院计划, 2020-01--2021-12
( 8 ) Windows兼容应用框架及运行时支撑环境定制及测试(二期), 负责人, 其他任务, 2021-02--2021-09