陶秋銘

陶秋銘，男，中國科學院軟體研究所助理研究員、碩士生導師。

基本介紹

• 中文名：陶秋銘
• 國籍：中國
• 性別：男
• 職務：助理研究員
• 研究領域：編譯技術，軟體測試，作業系統

基本信息

通信地址：北京市中關村南四街4號中科院軟體所總體部

教育背景

2002-09--2009-07 中國科學院軟體研究所 攻讀博士學位

1998-09--2002-07 南京大學計算機科學與技術系 攻讀學士學位

工作簡歷

2012-12--今 中國科學院軟體研究所 副研究員

2009-07--2012-12 中國科學院軟體研究所 助理研究員

專利成果

（1） 基於用戶興趣挖掘的微博詞雲生成方法及訪問支持系統，發明，2014，第2作者

發表論文

（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，第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.第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） 安全可靠桌面計算機作業系統，參與，國家級

（2） 基於歷史數據復用的軟體回歸測試加速技術，主持，國家級

參與會議

（1） An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique