馮曉兵,中國科學院計算技術研究所研究員,博士生導師,計算機系統結構重點實驗室副主任。1992年畢業于天津大學,獲工學學士;1996年畢業于北京大學,獲理學碩士學位;1999年在中國科學院計算技術研究所獲計算機體系結構專業博士學位。
人物經歷
1992年畢業于天津大學,獲工學學士學位
1996年畢業于北京大學,獲理學碩士學位
1999年于中國科學院計算技術研究所獲計算機體系結構專業博士學位。
1997年~2002年,主要從事并行優化編譯方面的研究工作,是并行優化編譯系統Auotpar的主要研發者之一。該系統針對曙光系列并行計算系統的特點,開發了多種優化技術,其加速比達到國際領先水平。并行優化編譯系統Autopar的多個版本和并行程序行為檢測和性能分析工具ParaVT完成了多項軟件登記。
2001年~2004年,受國家自然科學基金、863以及中國科學院計算技術研究所的資助,主持了早期的X86/Linux到龍芯/Linux平臺的二進制翻譯系統的研發,初步實現了一個靜態的二進制翻譯系統,是國內最早的相關研究工作之一。目前,二進制翻譯和動態優化技術仍是我的博士生選題方向之一。
2003年~今,開展面向處理器微體系結構的編譯優化技術研究。主持完成了面向龍芯2E芯片的高性能編譯系統的研制,其性能明顯優于GCC。近年的主要研究興趣是面向多核/眾核芯片架構的編譯基礎設施和程序優化技術。
2007年~今,開展面向程序正確性的編譯分析技術和調試工具方面的研究工作。主要研究興趣在面向多核/并行系統的高效率的程序分析和調試技術。
科研項目
作為負責人主持的項目:
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年,自然科學基金重點項目“并行程序設計關鍵技術”,驗收評價為優。
作為負責人主持的橫向項目:
2001年~2002年,Java到COBOL程序的源源變換系統。
2004年~2007年,支持國產芯片的SIMD優化和二進制翻譯系統。
此外,主持完成了多項受英特爾公司、航天部等資助的科研項目。
參考資料 >
馮曉兵-中國科學院大學-UCAS.中國科學院大學.2021-12-17