基本信息

武成岗 男 研究员 博导 计算技术研究所
电子邮件:wucg@ict.ac.cn
通信地址:北京市科学院南路6号中科院计算所系统结构重点实验室
邮政编码:100190

研究领域

从事基于编译技术的系统安全的研究,旨在通过编译技术手段,增强软件的安全性、可靠性、和高效性。课题组在程序缺陷定位、二进制代码的分析变换及优化、运行时程序行为监测、软件安全防疫等方面,有着较深的技术积累。正在探索内建安全技术,即在软件的设计和开发过程中,通过编译器、运行时环境相结合,加以软件缺陷滤除等机制,来提升软件的抗攻击能力。

招生信息

招收对计算机系统安全有浓厚兴趣,用于探索,有志于做出国际高水平创新成果的同学

招生专业
081220-信息安全
081201-计算机系统结构
招生方向
系统安全技术
动态编译技术
虚拟化技术

教育背景

2006-11--2007-08   University of Minnesota   访问学者
1998-09--2001-07   中国科学院计算技术研究所   博士
1991-09--1996-01   解放军信息工程学院   硕士
1987-08--1991-07   解放军信息工程学院   学士
学历
-- 研究生
学位
-- 博士

工作经历

1991年7月-1998年8月 解放军信息工程大学 

2001年7月-今              中国科学院计算技术研究所

工作简历
   
社会兼职
2016-04-01-2017-04-01,CGO 2017 Program Committee, PC member
2016-04-01-2017-04-01,PPoPP 2017 Program Committee, PC member
2015-12-31-2020-12-30,计算机学会体系结构专委会, 副主任
2015-08-01-2016-08-31,ACA 2016 Oganization Committee, Chair
2015-04-01-2016-04-01,CGO 2016 Program Committee, PC member
2014-04-01-2015-04-01,CGO 2015 Program Committee, PC member
2012-08-01-2013-08-31,APPT 2013 Program Committee, Chair
2012-03-22-2014-03-22,计算机学会专委工作委员会, 委员
2011-04-01-2013-06-01,CGO 2013学术会议, 大会主席

教授课程

程序设计语言
程序语言设计

专利与奖励

   
奖励信息
(1) 北京市科学技术奖, 二等奖, 省级, 2012
专利成果
( 1 ) 一种遗产代码向现代语言变换过程中的控制流变换方法, 发明, 2007, 专利号: 200410030988.2
( 2 ) 二进制翻译中标志位的优化处理方法 , 发明, 2007, 专利号: 200310102443.3
( 3 ) 动静结合二进制翻译中静态信息不完备的处理方法及装置 , 发明, 2008, 专利号: 200410009287.0
( 4 ) 一种动态二进制翻译中的翻译方法 , 发明, 2007, 专利号: 200410069182.4
( 5 ) 二进制翻译中对X86中浮点运算的处理方法 , 发明, 2007, 专利号: 200410074532.6
( 6 )  二进制翻译中的库函数调用处理方法 , 发明, 2008, 专利号: 200410081020.2
( 7 ) 二进制翻译中标志位的优化处理方法 , 发明, 2007, 专利号: 200310102443.3
( 8 ) 一种抵御代码重用攻击的方法, 发明, 2015, 第 2 作者, 专利号: CN201510501698.X
( 9 ) 函数调用路径编解码方法、装置及系统, 发明, 2014, 第 2 作者, 专利号: CN201410310847.X
( 10 ) 共享库的二进制翻译执行方法和装置, 发明, 2014, 第 2 作者, 专利号: CN201410306773.2
( 11 ) 一种内存虚拟化的方法及装置, 发明, 2013, 第 2 作者, 专利号: CN201310752024.8
( 12 ) 一种基于阶段分析的缓冲动态划分方法和系统, 发明, 2010, 第 2 作者, 专利号: CN201010212895.7

科研活动

   
科研项目
( 1 ) 面向多核/众核处理器的并行程序调试技术与工具(计算所分课题), 主持, 国家级, 2012-01--2016-01
( 2 ) 数据并行与线程并行合一的可伸缩处理器体系结构, 参与, 国家级, 2014-01--2018-12
( 3 ) 模拟器性能优化, 主持, 研究所(学校), 2013-02--2015-02
( 4 ) PRAC, 主持, 国家级, 2015-01--2015-12
( 5 ) 基于代码编译技术的A系统, 主持, 研究所(学校), 2015-01--2015-12
( 6 ) 代码布局持续随机化关键技术研究, 主持, 省级, 2016-01--2017-12
参与会议
(1) 代码生成与优化,2009-03
(2) IEEE计算机网络与移动计算会议,2001-10

合作情况

   
项目协作单位
   

指导学生

已指导学生

苏灵燕  02  19260  

张盈  02  19260  

刘泽善  02  19260  

曾上游  02  19260  

刘家宁  02  53120  

龚军  02  19260  

闫兵  02  53120  

郭辉  02  19581  

黎进  02  19260  

韩冬妮  01  19260  

杨东艳  02  19260  

李斌  02  63236  

何文婷  01  19260  

康炎丽  02  63236  

刘学宝  02  19260  

现指导学生

卢兴敬  01  19260  

李晶  01  19260  

杨皓  02  63236  

吕萧  02  19260  

王喆  01  19260  

宋育庚  01  19260  

孙力立  01  19260  

乔扬  02  19260  

谢梦瑶  01  19260  

张晓峰  02  63236  

许佳丽   02  19260  

贾力陈   01  19260  

出版信息

   
发表论文
(1) RERANZ:一个抵御内存泄露攻击的轻量级虚拟机, RERANZ: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks, Virtual Execution Environments, 2017, 通讯作者
(2) pbSE: Phase-based Symbolic, The IEEE/IFIP International Conference on Dependable Systems and Networks, 2017, 通讯作者
(3)  Reproducing Concurrency Bugs Using Local Clocks, ACM/IEEE 37th International Conference on Software Engineering (ICSE 2015)., 2015, 通讯作者
(4) 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), 2015, 通讯作者
(5) FPS: A Fair-progress Process Scheduling Policy on Shared-Memory Multiprocessors ,  IEEE Transactions on Parallel and Distributed Systems(TPDS), 2015, 第 1 作者
(6) Dynamic and Adaptive Calling Context Encoding,  International Symposium on Code Generation and Optimization(CGO), 2014, 通讯作者
(7) EATBit Effective Automated Test for Binary Translation with High Code Coverage, Design Automation and Test in Europe (DATE), 2014, 通讯作者
(8) Synchronization Identification through On-the-fly Test, Euro-Par 2013, 2013, 通讯作者
(9) Providing Fairness on Shared-Memory Multiprocessors via Process Scheduling, SIGMETRICS/Performance 2012, 2012, 通讯作者
(10) On-the-fly Structure Splitting for Heap Objects,  ACM Transactions on Architecture and Code Optimization, 2012, 通讯作者
(11) Efficient and Effective Misaligned Data Access Handling in a Dynamic Binary Translation System., ACM Transactions on Architecture and Code Optimization (TACO) , 2011, 第 2 作者
(12) Dynamic Register Promotion of Stack Variables, IEEE/ACM International Symposium on Code Generation and Optimization (CGO)., 2011, 通讯作者
(13) On Mitigating Memory Bandwidth Contention through Bandwidth-Aware Scheduling, ACM International Conference on Parallel Architectures and Compilation Techniques (PACT ), 2010, 通讯作者
(14) On Improving Heap Memory Layout by Dynamic Pool Allocation, IEEE Code Generation and Optimization (CGO 2010), 2010, 通讯作者
(15) Evaluating Misaligned Data Access Handling Mechanisms in Dynamic Binary Translation Systems., IEEE Code Generation and Optimization (CGO), 2009, 第 2 作者
(16) Configurable Mobile Agent and Its Fault-tolerance Mechanism, International Conference on Computer Networks and Mobile Computing (ICCNMC), 2001, 第 2 作者
发表著作