陶秋铭 - 中国科学院大学 - 计算机科学与技术学院

个人简介

招生专业 081202-计算机软件与理论招生方向基础软件系统与工程智能信息系统与技术教育背景 2002-09--2009-07 中国科学院软件研究所攻读博士学位 1998-09--2002-07 南京大学计算机科学与技术系攻读学士学位工作简历 2012-12--今中国科学院软件研究所副研究员 2009-07--2012-12 中国科学院软件研究所助理研究员专利成果（1）基于用户兴趣挖掘的微博词云生成方法及访问支持系统，发明，2014，第2作者，专利号：201410020292.5 科研项目（ 1 ）基于历史数据复用的软件回归测试加速技术, 主持, 国家级, 2012-01--2014-12 （ 2 ）安全可靠桌面计算机操作系统, 参与, 国家级, 2014-01--2019-12 （ 3 ）中科院“青促会”会员人才资助项目, 主持, 部委级, 2015-01--2018-12 （ 4 ）基于程序综合的符号执行环境建模方法研究, 参与, 国家级, 2015-01--2017-12 （ 5 ）关键软硬件系统安全性分析评估核心技术研发及验证, 参与, 部委级, 2018-07--2019-06

研究领域

基础软件、智能技术、软件工程

近期论文

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（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作者