基本信息
研究领域
1997年~2002年,主要从事并行优化编译方面的研究工作,是并行优化编译系统Auotpar的主要研发者之一。该系统针对曙光系列并行计算系统的特点,开发了多种优化技术。并行优化编译系统Autopar的多个版本和并行程序行为检测和性能分析工具ParaVT完成了多项软件登记。该项目的研究受到国家自然科学基金重点项目和863等资助。
2001年~2004年,受国家自然科学基金、863以及计算所的资助,主持了早期的X86/Linux到龙芯/Linux平台的二进制翻译系统的研发,初步实现了一个静态的二进制翻译系统,是国内最早的相关研究工作之一。目前,二进制翻译和动态优化技术仍是我的博士生选题方向之一。
2003年~今,开展面向处理器微体系结构的编译优化技术研究。主持完成了面向龙芯2E芯片的高性能编译系统的研制,其性能明显优于GCC。近年的主要研究兴趣是面向多核/众核芯片架构的编译基础设施和程序优化技术。这方面的工作受国家“核高基”重大专项、973和863等项目的资助。
2007年~今,开展面向程序正确性的编译分析技术和调试工具方面的研究工作。主要研究兴趣在面向多核/并行系统的高效率的程序分析和调试技术。这方面的工作受国家“核高基”重大专项、973、863和国家自然科学基金等项目的资助。
2001年~2004年,受国家自然科学基金、863以及计算所的资助,主持了早期的X86/Linux到龙芯/Linux平台的二进制翻译系统的研发,初步实现了一个静态的二进制翻译系统,是国内最早的相关研究工作之一。目前,二进制翻译和动态优化技术仍是我的博士生选题方向之一。
2003年~今,开展面向处理器微体系结构的编译优化技术研究。主持完成了面向龙芯2E芯片的高性能编译系统的研制,其性能明显优于GCC。近年的主要研究兴趣是面向多核/众核芯片架构的编译基础设施和程序优化技术。这方面的工作受国家“核高基”重大专项、973和863等项目的资助。
2007年~今,开展面向程序正确性的编译分析技术和调试工具方面的研究工作。主要研究兴趣在面向多核/并行系统的高效率的程序分析和调试技术。这方面的工作受国家“核高基”重大专项、973、863和国家自然科学基金等项目的资助。
招生信息
招生专业
081201-计算机系统结构
081202-计算机软件与理论
083500-软件工程
081202-计算机软件与理论
083500-软件工程
招生方向
编译技术、工具软件
教育背景
1999年于中国科学院计算技术研究所获计算机体系结构专业博士学位。
1996年毕业于北京大学,获理学硕士学位
1992年毕业于天津大学,获工学学士学位
1996年毕业于北京大学,获理学硕士学位
1992年毕业于天津大学,获工学学士学位
学历
中国科学院计算技术研究所 19960901--19990709 研究生毕业
学位
中国科学院计算技术研究所 19960901--19990709 工学博士学位
工作经历
工作简历
1999年7月至今,就职于中国科学院计算技术研究所,先后获聘助理研究员、副研究员、研究员
现为中国科学院计算技术研究所研究员,博士生导师,中国科学院计算机系统结构重点实验室副主任
现为中国科学院计算技术研究所研究员,博士生导师,中国科学院计算机系统结构重点实验室副主任
教授课程
在中国科学院研究生院开设课程《编译程序高级教程》
科研活动
科研项目
作为负责人主持的国家项目:
2009年~2011年,国家“核高基”重大专项项目“支持国产CPU的编译系统及工具链”(项目号: 2009ZX01036-001-002),进行中
2004年~2006年,国家863重点项目子项目“面向龙芯2E的高性能编译系统”,为龙芯2E芯片全面达到863合同指标作出重要贡献
2002年~2004年,国家自然科学基金项目“动静态信息结合的程序优化方法的研究”(批转号:60103006),验收评价为优
2001年~2003年,国家863项目“面向机器结构的编译优化及二进制代码的动态优化”(合同号:2001AA111061)
作为骨干人员参加的国家项目:
2005年~2010年,国家973项目“延长摩尔定律的微处理芯片新原理、新结构及新方法研究”中课题“片上并行系统的编程模型与支撑环境”(合同号:2005CB321602),实际支持研究工作,中期评价和验收评价均为优
2000年~2003年,国家自然科学基金重点项目“并行程序设计关键技术”,验收评价为优;
作为骨干人员还参与完成了多项国家自然科学基金重点项目、面上项目、863项目等。
作为负责人主持的横向项目:
2001年~2002年,Java到COBOL程序的源源变换系统
2004年~2007年,支持国产芯片的SIMD优化和二进制翻译系统
此外,主持完成了多项受Intel公司、航天部等资助的科研项目。
2009年~2011年,国家“核高基”重大专项项目“支持国产CPU的编译系统及工具链”(项目号: 2009ZX01036-001-002),进行中
2004年~2006年,国家863重点项目子项目“面向龙芯2E的高性能编译系统”,为龙芯2E芯片全面达到863合同指标作出重要贡献
2002年~2004年,国家自然科学基金项目“动静态信息结合的程序优化方法的研究”(批转号:60103006),验收评价为优
2001年~2003年,国家863项目“面向机器结构的编译优化及二进制代码的动态优化”(合同号:2001AA111061)
作为骨干人员参加的国家项目:
2005年~2010年,国家973项目“延长摩尔定律的微处理芯片新原理、新结构及新方法研究”中课题“片上并行系统的编程模型与支撑环境”(合同号:2005CB321602),实际支持研究工作,中期评价和验收评价均为优
2000年~2003年,国家自然科学基金重点项目“并行程序设计关键技术”,验收评价为优;
作为骨干人员还参与完成了多项国家自然科学基金重点项目、面上项目、863项目等。
作为负责人主持的横向项目:
2001年~2002年,Java到COBOL程序的源源变换系统
2004年~2007年,支持国产芯片的SIMD优化和二进制翻译系统
此外,主持完成了多项受Intel公司、航天部等资助的科研项目。