簡 歷:
武成崗,中國科學(xué)院計算技術(shù)研究所研究員級高級工程師,博士生導(dǎo)師,2001年于中國科學(xué)院計算技術(shù)研究所獲博士學(xué)位。長期從事基于編譯技術(shù)的軟件安全技術(shù)的研究,旨在通過程序分析技術(shù),增強(qiáng)軟件的安全性、可靠性和高效性。在程序缺陷定位、二進(jìn)制代碼的分析變換及優(yōu)化、運(yùn)行時程序行為監(jiān)測、安全防御等方面,有著較深的技術(shù)積累。發(fā)表論文30余篇,部分發(fā)表在TSE、ICSE、ASE、TPDS、TACO、SIGMETRICS、PACT、CGO、VEE、DATE等學(xué)術(shù)會議和期刊上,獲得授權(quán)專利16項,軟件著作權(quán)5項,并于2012年榮獲北京市科學(xué)技術(shù)二等獎。擔(dān)任國際學(xué)術(shù)會議CGO 2013大會主席、APPT 2013程序委員會主席,還擔(dān)任CGO2015-2018、PPoPP2017-2018、PLDI2012、CCGrid 2015、ICPADS 2014、PPPJ2014等會議的程序委員會委員。
武成崗是首個擔(dān)任編譯頂級國際學(xué)術(shù)會議CGO大會主席的國內(nèi)學(xué)者,也是首次應(yīng)邀參加編譯旗艦會議PLDI程序委員會的兩位國內(nèi)學(xué)者之一。
主要論著:
1.?Zhe Wang, Chenggang Wu*, Jianjun Li, Yuanming Lai, Xiangyu Zhang, Wei-Chung Hsu, Yueqiang Cheng: RERANZ: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks. the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environment (VEE 2017) April 08 - 09, 2017, Xi'an, China.
2.?Qixue Xiao, Yu Chen*, Chenggang Wu*, Kang Li, Junjie Mao, Shize Guo and Yuanchun Shi: pbSE: Phase-based Symbolic Execution. the 47th IEEE/IFIP International Conference on Dependable Systems and Networks(DSN 2017). June 26-29, 2017. Denver,CO,USA
3.?Xiang Yuan, Chenggang Wu, Zhenjiang Wang, Jianjun Li, Pen-Chung Yew, Jeff Huang, Xiaobing Feng, Yanyan Lan, Yunji Chen and Yong Guan: Reproducing Concurrency Bugs Using Local Clocks. ACM/IEEE 37th International Conference on Software Engineering (ICSE 2015).16-25 May, 2015. Firenze, Italy.
4.?Zhe Wang, Jianjun Li, Chenggang Wu, Dongyan Yang, Zhenjiang Wang, Wei-Chung Hsu, Bin Li, Yong Guan: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines. the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environment (VEE 2015) 14-15 March, 2015, Istanbul, Turkey.
5.?Chenggang Wu, Jin Li, Di Xu, Pen-Chung Yew, Jianjun Li, and Zhenjiang Wang: FPS: A Fair-progress Process Scheduling Policy on Shared-Memory Multiprocessors. IEEE Transactions on Parallel and Distributed Systems Volume:26, Issue:2; page 444-454, Feb 2015 (TPDS 2015).
6.?Wenwen Wang,Zhenjiang Wang, Chenggang Wu, Pen-Chung Yew, Xipeng Shen, Xiang Yuan, Jianjun Li, Xiaobing Feng and Yong Guan: Localization of Concurrency Bugs Using Shared Memory Access Pairs.29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) September 15 - 19, 2014 Swedendownload download
7.?Jianjun Li, Zhenjiang Wang, Chenggang Wu, Wei-Chung Hsu, Di Xu: Dynamic and Adaptive Calling Context Encoding. 2014 International Symposium on Code Generation and Optimization (CGO 2014). February 15-19, 2014, Orlando, Florida.
8.?Hui Guo, Zhenjiang Wang, Chenggang Wu and Ruining He: EATBit: Effective Automated Test for Binary Translation with High Code Coverage. Design, Automation & Test in Europe (DATE 2014). 24-28 March, 2014-Dresden, Germany.
9.?Xiang Yuan, Chenggang Wu, Pen-Chung Yew, Wenwen Wang, Zhenjiang Wang, Jianjun Li, and Di Xu: Synchronization Identification through On-the-fly Test. Euro-Par 2013,Aachen, Germany, August 26-30, 2013
10.?Di Xu, Chenggang Wu, Pen-Chung Yew, Jianjun Li, Zhenjiang Wang: Providing Fairness on Shared-Memory Multiprocessors via Process Scheduling. Accepted by SIGMETRICS/Performance 2012, London, United Kingdom, June 11-15, 2012
11.?Zhengjiang Wang, Chenggang Wu, Pen-Chung Yew, Jianjun Li and Di Xu: On-the-fly Structure Splitting for Heap Objects. ACM Transactions on Architecture and Code Optimization (TACO), Volume 8 Issue 4. Article 26.
12.?Jianjun Li, Chenggang Wu, Wei-Chung Hsu: Efficient and Effective Misaligned Data Access Handling in a Dynamic Binary Translation System. Accepted for publication in ACM's Transactions on Architecture and Code Optimization (TACO)
13.?Jianjun Li, Chenggang Wu, Wei-Chung Hsu: Dynamic Register Promotion of Stack Variables. IEEE/ACM International Symposium on Code Generation and Optimization (CGO). April 02-06, 2011, Chamonix, France.
14.?Di Xu, Chenggang Wu, and Pen-Chung Yew: On Mitigating Memory Bandwidth Contention through Bandwidth-Aware Scheduling. The Nineteenth ACM International Conference on Parallel Architectures and Compilation Techniques (PACT 2010) Vienna, Austria, September 11-15, 2010
15.?Zhenjiang Wang, Chenggang Wu and Pen-Chung Yew: On Improving Heap Memory Layout by Dynamic Pool Allocation. IEEE Code Generation and Optimization (CGO 2010). April 24-28, 2010, in Toronto, Canada.?Pages: 92-100.
16.?Jianjun Li, Chenggang Wu, Wei-Chung Hsu: Evaluating Misaligned Data Access Handling Mechanisms in Dynamic Binary Translation Systems. IEEE Code Generation and Optimization (CGO 2009). March 22-25, 2009, in Seattle, WA. P180-189.
科研項目:
1、 國家自然科學(xué)基金重點項目:“多層次軟件架構(gòu)的漏洞感知及防利用技術(shù)研究”。(負(fù)責(zé)人)
2、 國家自然科學(xué)基金重點項目:“數(shù)據(jù)并行與線程并行合一的可伸縮處理器體系結(jié)構(gòu)”。(編譯分課題負(fù)責(zé)人)
3、國家自然科學(xué)基金項目 “動態(tài)二進(jìn)制翻譯及優(yōu)化中低開銷技術(shù)的研究” (負(fù)責(zé)人)
4、?國家自然科學(xué)基金重點項目:“高性能片上存儲系統(tǒng)”(子課題負(fù)責(zé)人)
獲獎及榮譽(yù):
[1] 1993年獲軍隊科技進(jìn)步二等獎
??
[2] 2006年中科院計算所優(yōu)秀員工
[3] 2007獲中科院計算所所長獎教金
[4] 2009獲中科院計算所優(yōu)秀員工
????
[5] 2010獲聯(lián)想獎教金
[6] 2012計算所卓越之星
[7] 2012?北京市科學(xué)技術(shù)成果獎(二等)
[8] 2013?獲浪潮獎教金
學(xué)生培養(yǎng)情況:
李建軍:所長特別獎
陳龍:所長特別獎、朱李月華獎、優(yōu)秀畢業(yè)生
王振江:聯(lián)想博士生獎
徐地:曙光博士獎
遠(yuǎn)翔:所長優(yōu)秀獎和北緯通信碩士生獎
謝海斌:所長優(yōu)秀獎
唐鋒:所長優(yōu)秀獎
張洪娟:曙光博士生獎
黎進(jìn):華為碩士生獎
李斌:所長優(yōu)秀獎
武成崗 正高級工程師
研究方向:
所屬部門:處理器芯片重點實驗室
導(dǎo)師類別:博導(dǎo)計算機(jī)系統(tǒng)結(jié)構(gòu)
聯(lián)系方式:wucg@ict.ac.cn
個人網(wǎng)頁:http://carch.ict.ac.cn/~wucg