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


研究领域编译技术，软件测试，操作系统

招生信息

招生专业 计算机软件与理论



招生方向 编译优化技术，软件工程


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

工作经历

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

专利与奖励

专利成果 （1） 基于用户兴趣挖掘的微博词云生成方法及访问支持系统，发明，2014，第2作者，专利号：**2.5

出版信息

发表论文 （1） 面向C4350AL处理器的GCC移植与优化，Porting and Optimization of GCC on C4350AL，计算机系统应用，2015，第3作者
（2） MemLoop:使用内存缓存的迭代应用编程框架，MemLoop: A Programming Framework Using In-Memory Cache for Iterative Application，计算机系统应用，2015，第3作者
（3） 增强覆盖度与非相似性的标签选择多样化方法，Diversifying Tag Selection Result by Im proving both Coverage and Dissimilarity，软件学报，2015，第3作者
（4） 基于事件处理函数的GUI测试用例集约简技术，GUI Test Suite Reduction Techniques Based on Event Handler Functions ，软件学报，2015，第3作者
（5） Diversifying Tag Selection Result for Tag Clouds by Enhancing both Coverage and Dissimilarity，Proc. WISE 2013，2013，第3作者
（6） 基于pCTL的循环优化测试用例自动生成方法，Automatic Generation of Test Cases for Loop Optimzations Based on pCTL，小型微型计算机系统，2010，第3作者
（7） An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique，Proc. APSEC 2010，2010，第1作者
（8） 一种基于过程图模型的编译优化测试程序自动生成方法，An Automated Method of Test Program Generation for Compiler Optimizations Based on Process Graph，计算机研究与发展，2009，第1作者
（9） Automated Test Program Generation for an Industrial Optimizing Compiler，Proc. AST 2009，2009，第3作者
（10） 基于时序逻辑证明编译优化程序变换的保义性，Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic，软件学报，2009，第1作者
（11） 基于CTL的循环优化变换描述方法，Loop Optimization Transformation Using CTL Specifications，计算机应用研究，2007，第3作者
（12） A generalized real-time obstacle avoidance method without the Cspace calculation，Journal of Computer Science and Technology，2005，第3作者

科研活动

科研项目 （1） 安全可靠桌面计算机操作系统，参与，国家级，2014-01--2016-12
（2） 基于历史数据复用的软件回归测试加速技术，主持，国家级，2012-01--2014-12


参与会议 （1） An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique，2010-12，Qiuming Tao, Wei Wu, Chen Zhao, Wuwei Shen