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