邮箱登录 | 所务办公 | 收藏本站 | English | 中国科学院
 
首页 计算所概况 新闻动态 科研成果 研究队伍 国际交流 技术转移 研究生教育 学术出版物 党群园地 创新文化 科学传播
研究队伍
院士专家
杰出青年
研究员
副研究员
人才招聘
高层次人才引进
现在位置:首页 > 中文 > 计算所人才库
导师介绍
姓名 武成岗  性别 男 
联系方式 wucg@ict.ac.cn  职称 正高级工程师 
研究方向

编译与系统安全

 
个人介绍
简历:

  

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

一、基本情况

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

    武成岗是首个担任编译顶级国际学术会议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

二进制翻译中间接跳转指令的翻译方法及其系统

ZL200910237389.0

2

动静结合二进制翻译中静态信息不完备的处理方法及装置

ZL200410009287.0

3

二进制翻译中对X86浮点运算的处理方法

ZL200410074532.6

4

一种遗产代码向现代语言变换过程中的控制流变换方法

ZL200410030988.2

5

一种RISC处理器及其浮点栈指令翻译装置及方法

ZL200810112231.6

6

二进制翻译中的库函数调用处理方法

ZL200410081020.2

7

二进制翻译中局部变量识别和提升的处理方法

ZL200510051448.7

8

二进制翻译器中线程共享code cache的替换方法及系统

ZL200810247438.4

9

在运行时对堆数据进行池分配的方法

ZL200910243917.3

10

一种非对齐访存的处理方法

ZL200810115202.5

11

包含栈变量函数的优化方法

ZL201010107353.3

12

一种基于阶段分析指导的缓存动态划分方法和系统

ZL201010165347.3

13

一种动态二进制翻译中的翻译方法

ZL200410069182.4

14

二进制翻译中标志位的优化处理方法

ZL200310102443.3

15

一种二进制翻译中的库函数调用处理方法

ZL200510080339.8

 

 

六、主要获奖情况

[1] 1993获军队科技进步二等奖

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

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

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

[5] 2010获联想奖教金

[6] 2012计算所卓越之星

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

[8] 2013 获浪潮奖教金

 

七、学生培养情况:

李建军:所长特别奖

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

王振江:联想博士生奖

徐地:曙光博士奖

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

谢海斌:所长优秀奖

唐锋:所长优秀奖

张洪娟:曙光博士生奖

黎进:华为硕士生奖

李斌:所长优秀奖

 

 

八、本课题组毕业生去向

序号

姓名

博士/硕士

毕业时间

毕业时去向

1

马湘宁

博士

2005

Intel(上海)

2

白童心

硕士

2005

美国Rochester大学读博

3

唐峰

博士

2006

Synopsys(上海)

4

杨浩

硕士

2006

IBM(北京)

5

谢海斌

博士

2007

Google(北京)

6

苏灵燕

硕士

2007

IBM(北京)

7

李晶A

硕士

2008

Microsoft(北京)

8

张盈

硕士

2009

Microsoft(北京)

10

王振江

博士

2010

中科院计算所(留所,北京)

11

贾耀仓

博士

2011

华为(北京)

12

曾上游

硕士

2011

华为(北京)

13

刘泽善

硕士

2011

华为(北京)

14

刘家宁

硕士

2011

百度(北京)

15

李建军

博士

2011

中科院计算所(留所,北京)

16

徐地

博士

2012

IBM(北京)

17

龚军

硕士

2012

EMC(北京)

18

闫兵

硕士

2012

华为(杭州)

19

张洪娟

硕士

2013

中信银行(北京)

20

郭辉

硕士

2013

曙光(北京)

21

杨东艳

硕士

2014

IBM(北京)

22

李斌

硕士

2014

网易(杭州)

23

黎进

硕士

 2015

腾讯(深圳)

24

何文婷

博士

2016

Microsoft(北京)

25

刘学宝

硕士

2016

腾讯(深圳)

26

康炎丽

硕士

2016

Microsoft(北京)

27

李晶B

博士

2017

英伟达(上海)

28

卢兴敬

博士

2017

搜狗(北京)

29

杨皓

硕士

2017

华为(北京)

30

吕萧

硕士

2017

Freewheel

 

研究方向:

编译与系统安全

社会任职:
获奖及荣誉:

 

代表论著:

 

承担科研项目情况:
学科类别:
所属部门:
计算机体系结构国家重点实验室
专家类别:
正高
杰青入选时间:
百人入选时间:
其他备注:
博导计算机系统结构
其他备注2:
其他备注3:
 
网站地图 | 联系我们 | 意见反馈 | 所长信箱
 
欢迎访问中国科学院计算技术研究所 京ICP备05002829号
地址:北京海淀区中关村科学院南路6号 邮编:100190 电话:010-62601166 邮箱:xuanchuanban@ict.ac.cn