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

研究领域

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


招生信息

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

教育背景

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

工作经历

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

专利与奖励

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

出版信息

   
发表论文
(1) 自动向量化:近期进展与展望, 通信学报, 2022, 第 3 作者
(2) An SLP Vectorization Method Based on Equivalent Extended Transformation, Wireless Communications and Mobile Computing, 2022, 第 3 作者
(3) Evaluation of Compilers’ Capability of Automatic Vectorization Based on Source Code Analysis, Scientific Programming, 2021, 第 3 作者
(4) 使用内存缓存的迭代应用编程框架, Mem Loop: A Programming Framework Using In-Memory Cache for Iterative Application, 计算机系统应用, 2015, 第 3 作者
(5) 增强覆盖度与非相似性的标签选择多样化方法, Diversifying Tag Selection Result by Improving Both Coverage and Dissimilarity, 软件学报, 2015, 第 3 作者
(6) 面向C4350AL处理器的GCC移植与优化, Porting and Optimization of GCC on C4350AL, 计算机系统应用, 2015, 第 3 作者
(7) 基于事件处理函数的GUI测试用例集约简技术, GUI Test Suite Reduction Techniques Based on Event Handler Functions, 软件学报, 2015, 第 3 作者
(8) Diversifying Tag Selection Result for Tag Clouds by Enhancing both Coverage and Dissimilarity, 14th International Conference on Web Information Systems Engineering (WISE), 2013, 第 3 作者
(9) 基于pCTL的循环优化测试用例自动生成方法, Automatic Generation of Test Cases for Loop Optimizations Based on pCTL, 小型微型计算机系统, 2010, 第 3 作者
(10) An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique, 17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010), 2010, 
(11) 一种基于过程图模型的编译优化测试程序自动生成方法, An Automated Method of Test Program Generation for Compiler Optimizations Based on Process Graph, 计算机研究与发展, 2009, 第 1 作者
(12) 基于时序逻辑证明编译优化程序变换的保义性, Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic, 软件学报, 2009, 第 1 作者
(13) Automated test program generation for an industrial optimizing compiler, Proceedings of the 2009 ICSE Workshop on Automation of Software Test, AST 2009, 2009, 
(14) 基于形式描述的编译优化自动测试方法与技术研究, 2009, 第 1 作者
(15) 基于CTL的循环优化变换描述方法, Loop Optimization Transformation Using CTL Specifications, 计算机应用研究, 2007, 第 3 作者
(16) A Generalized Real-Time Obstacle Avoidance Method Without the Cspace Calculation, A Generalized Real-Time Obstacle Avoidance Method Without the Cspace Calculation, JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 

科研活动

   
科研项目
( 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