English Homepage: http://carch.ict.ac.cn/~wucg

一、基本情况

武成岗，中国科学院计算技术研究所研究员级高级工程师，博士生导师，2001年于中国科学院计算技术研究所获博士学位。长期从事基于编译技术的软件安全技术的研究，旨在通过程序分析技术，增强软件的安全性、可靠性和高效性。在程序缺陷定位、二进制代码的分析变换及优化、运行时程序行为监测、安全防御等方面，有着较深的技术积累。发表论文30余篇，部分发表在TSE、ICSE、ASE、TPDS、TACO、SIGMETRICS、PACT、CGO、VEE、DATE等学术会议和期刊上，获得授权专利16项，软件著作权5项，并于2012年荣获北京市科学技术二等奖。担任国际学术会议CGO 2013大会主席、APPT 2013程序委员会主席，还担任CGO2015-2018、PPoPP2017-2018、PLDI2012、CCGrid 2015、ICPADS 2014、PPPJ2014等会议的程序委员会委员。

武成岗是首个担任编译顶级国际学术会议CGO大会主席的国内学者，也是首次应邀参加编译旗舰会议PLDI程序委员会的两位国内学者之一。

二、研究方向介绍

从事基于编译技术的软件安全的研究，旨在通过编译技术手段，增强软件的安全性、可靠性、和高效性。课题组在程序缺陷定位、二进制代码的分析变换及优化、运行时程序行为监测、软件安全免疫等方面，有着较深的技术积累。正在探索内构安全技术，即在软件的设计和开发过程中，通过编译器、运行时环境、以及微体系结构相结合，使得计算机系统原生具备安全性。

二、近期承担的科研项目：

1、 国家自然科学基金重点项目：“多层次软件架构的漏洞感知及防利用技术研究”。（负责人）

2、 国家自然科学基金重点项目：“数据并行与线程并行合一的可伸缩处理器体系结构”。（编译分课题负责人）

3、 国家863项目：“面向多核/众核处理器的并行程序调试技术与工具”。（计算所分课题负责人）

4、“核高基”国家重大专项“支持国产CPU的国产编译系统及工具链”。（计算所分课题负责人）

5、 国家自然科学基金项目 “动态二进制翻译及优化中低开销技术的研究” （负责人）

6、 国家863项目：“面向多核结构的动态存储优化” （负责人）

7、 国家自然科学基金重点项目：“高性能片上存储系统”（子课题负责人）

8、 国家863重点项目：“四核龙芯通用CPU研制” （子课题负责人）

三、主要学术任职

1.中国计算机学会计算机体系结构专委会副主任

2.中国计算机学会专委工作委员会委员

3.General co-Chair of the 11th IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2013)

4.Program co-Chair of 2013 International Conference on Advanced Parallel Processing Technology (APPT 2013)

四、主要学术论文论著

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] 1993年获军队科技进步二等奖

[2] 2006年中国科学院计算所优秀员工

[3] 2007获中国科学院计算所所长奖教金

[4] 2009获中国科学院计算所优秀员工

[5] 2010获联想奖教金

[6] 2012计算所卓越之星

[7] 2012 北京市科学技术成果奖（二等）

[8] 2013 获浪潮奖教金

七、学生培养情况：

李建军：所长特别奖

陈龙：所长特别奖、朱李月华奖、优秀毕业生

王振江：联想博士生奖

徐地：曙光博士奖

远翔：所长优秀奖和北纬通信硕士生奖

谢海斌：所长优秀奖

唐锋：所长优秀奖

张洪娟：曙光博士生奖

黎进：华为硕士生奖

李斌：所长优秀奖

八、本课题组毕业生去向