1997年~2002年，主要从事并行优化编译方面的研究工作，是并行优化编译系统Auotpar的主要研发者之一。该系统针对曙光系列并行计算系统的特点，开发了多种优化技术。并行优化编译系统Autopar的多个版本和并行程序行为检测和性能分析工具ParaVT完成了多项软件登记。该项目的研究受到国家自然科学基金重点项目和863等资助。
2001年~2004年，受国家自然科学基金、863以及计算所的资助，主持了早期的X86/Linux到龙芯/Linux平台的二进制翻译系统的研发，初步实现了一个静态的二进制翻译系统，是国内最早的相关研究工作之一。目前，二进制翻译和动态优化技术仍是我的博士生选题方向之一。
2003年~今，开展面向处理器微体系结构的编译优化技术研究。主持完成了面向龙芯2E芯片的高性能编译系统的研制，其性能明显优于GCC。近年的主要研究兴趣是面向多核/众核芯片架构的编译基础设施和程序优化技术。这方面的工作受国家“核高基”重大专项、973和863等项目的资助。
2007年~今，开展面向程序正确性的编译分析技术和调试工具方面的研究工作。主要研究兴趣在面向多核/并行系统的高效率的程序分析和调试技术。这方面的工作受国家“核高基”重大专项、973、863和国家自然科学基金等项目的资助。

   

081201-计算机系统结构
081202-计算机软件与理论
083500-软件工程

编译技术、工具软件

1999年于中国科学院计算技术研究所获计算机体系结构专业博士学位。
1996年毕业于北京大学，获理学硕士学位
1992年毕业于天津大学，获工学学士学位

中国科学院计算技术研究所 19960901--19990709 研究生毕业

中国科学院计算技术研究所 19960901--19990709 工学博士学位

   

1999年7月至今，就职于中国科学院计算技术研究所，先后获聘助理研究员、副研究员、研究员
现为中国科学院计算技术研究所研究员，博士生导师，中国科学院计算机系统结构重点实验室副主任

在中国科学院研究生院开设课程《编译程序高级教程》