1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、科研活动7、合作情况8、指导学生9、出版信息
基本信息
武成岗 男 博导 计算技术研究所
电子邮件：wucg@ict.ac.cn
通信地址：北京市科学院南路6号中科院计算所系统结构重点实验室
邮政编码：100190


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

招生专业 计算机系统结构



招生方向 动态编译技术


教育背景 1998-09--2001-07 中国科学院计算技术研究所 博士
1991-09--1996-01 解放军信息工程学院 硕士
1987-08--1991-07 解放军信息工程学院 学士


学历-- 研究生


学位-- 博士

工作经历

工作简历

社会兼职 2012-03--2014-03 计算机学会专委工作委员会，委员
2011-07--今 计算机学会体系结构专委会，常务委员

教授课程
专利与奖励

奖励信息

专利成果 （1） 一种遗产代码向现代语言变换过程中的控制流变换方法，发明，2007，专利号：**8.2
（2） 二进制翻译中标志位的优化处理方法 ，发明，2007，专利号：**3.3
（3） 动静结合二进制翻译中静态信息不完备的处理方法及装置 ，发明，2008，专利号：**7.0
（4） 一种动态二进制翻译中的翻译方法 ，发明，2007，专利号： **2.4
（5） 二进制翻译中对X86中浮点运算的处理方法 ，发明，2007，专利号：**2.6
（6）二进制翻译中的库函数调用处理方法 ，发明，2008，专利号：**0.2
（7） 二进制翻译中标志位的优化处理方法 ，发明，2007，专利号：**3.3

科研活动

科研项目 （1） PRAC，主持，国家级，2015-01--2015-12
（2） 数据并行与线程并行合一的可伸缩处理器体系结构，参与，国家级，2014-01--2018-12
（3） 模拟器性能优化，主持，其他级，2013-02--2015-02
（4） 面向多核/众核处理器的并行程序调试技术与工具（计算所分课题），主持，部委级，2012-01--2016-01


参与会议 （1） 代码生成与优化，2009-03
（2） IEEE计算机网络与移动计算会议，2001-10

合作情况

项目协作单位
指导学生已指导学生

苏灵燕 硕士研究生 081201-计算机系统结构

张盈 硕士研究生 081201-计算机系统结构

刘泽善 硕士研究生 081201-计算机系统结构

曾上游 硕士研究生 081201-计算机系统结构

刘家宁 硕士研究生 081280-软件工程

龚军 硕士研究生 081201-计算机系统结构

闫兵 硕士研究生 081280-软件工程

现指导学生

郭辉 硕士研究生 430112-计算机技术

黎进 硕士研究生 081201-计算机系统结构

杨东艳 硕士研究生 081201-计算机系统结构

李斌 硕士研究生 085211-计算机技术

出版信息

发表论文 （1）Reproducing Concurrency Bugs Using Local Clocks，ACM/IEEE 37th International Conference on Software Engineering (ICSE 2015).，2015，通讯作者
（2） FPS: A Fair-progress Process Scheduling Policy on Shared-Memory Multiprocessors ， IEEE Transactions on Parallel and Distributed Systems(TPDS)，2015，第1作者
（3） 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，通讯作者
（4） Dynamic and Adaptive Calling Context Encoding， International Symposium on Code Generation and Optimization(CGO)，2014，通讯作者
（5） EATBit Effective Automated Test for Binary Translation with High Code Coverage，Design Automation and Test in Europe (DATE)，2014，通讯作者
（6） Synchronization Identification through On-the-fly Test，Euro-Par 2013，2013，通讯作者
（7） Providing Fairness on Shared-Memory Multiprocessors via Process Scheduling，SIGMETRICS/Performance 2012，2012，通讯作者
（8） On-the-fly Structure Splitting for Heap Objects， ACM Transactions on Architecture and Code Optimization，2012，通讯作者
（9） Dynamic Register Promotion of Stack Variables，IEEE/ACM International Symposium on Code Generation and Optimization (CGO).，2011，通讯作者
（10） Efficient and Effective Misaligned Data Access Handling in a Dynamic Binary Translation System.，ACM Transactions on Architecture and Code Optimization (TACO) ，2011，第2作者
（11） On Improving Heap Memory Layout by Dynamic Pool Allocation，IEEE Code Generation and Optimization (CGO 2010)，2010，通讯作者
（12） On Mitigating Memory Bandwidth Contention through Bandwidth-Aware Scheduling，ACM International Conference on Parallel Architectures and Compilation Techniques (PACT )，2010，通讯作者
（13） Evaluating Misaligned Data Access Handling Mechanisms in Dynamic Binary Translation Systems.，IEEE Code Generation and Optimization (CGO)，2009，第2作者
（14） Configurable Mobile Agent and Its Fault-tolerance Mechanism，International Conference on Computer Networks and Mobile Computing (ICCNMC)，2001，第2作者


发表著作