Operating System, Compilation Technology, Software Testing

2002.9-2009.6 Institute of Software, Chinese Academy of Sciences, PhD
1998.9-2002.7 Department of Computer Science & Technology, Nanjing University, Bachelor

2012.12~present, Institute of Software, Chinese Academy of Sciences, Associate Professor
2009.7~2012.12, Institute of Software, Chinese Academy of Sciences, Assistant Professor

   

（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） 基于用户兴趣挖掘的微博词云生成方法及访问支持系统，发明，2014，第2作者，专利号：201410020292.5