武成岗

武成岗，男，中科院计算所副研究员，博士生导师，中国计算机学会专委工作委员会委员、中国计算机学会体系结构专委常务委员会委员、ACM和IEEE会员。2001年毕业于中国科学院计算技术研究所，获博士学位。长期从事动态编译技术研究，在二进制翻译和动态优化方面进行了较为深入的探索。

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月-今 中国科学院计算技术研究所

2003年12月~2021年8月,中国科学院计算技术研究所, 副研究员、研究员级高级工程师

1987年8月~2003年12月,解放军信息工程大学, 讲师^[1]

长期从事计算机系统安全、程序分析和虚拟化技术的研究，旨在系统化方案提升计算机的安全性和可靠性。在漏洞挖掘、漏洞利用、二进制代码的分析变换、安全防御等方面有着较深的技术积累。发表论文30余篇，部分发表在IEEE Security and Privacy、USENIX Security、CCS、ATC、TDSC、TSE、ICSE、ASE、TPDS、TCAD、TACO、SIGMETRICS、PACT、CGO、VEE、DATE等学术期刊和会议上，获得授权专利23项，软件著作权7项，并于获省部级科技进步奖2项。担任国际学术会议CGO 2013大会主席、CGO的督导委员会（Steering Committee）委员，APPT 2013程序委员会主席、另外还担任PPoPP2017、CGO2015、CGO2016、CGO2017、CGO 2023、PLDI2012、CCGrid 2015、ICPADS 2014、PPPJ2014等会议的程序委员会委员。主持1项国家自然基金重点项目、 1项863项目和1项国家自然科学基金项目，作为分课题负责人参与1国家重大专项、3项国家自然科学基金重点项目。^[1]

长期从事基于编译技术的软件安全技术的研究，旨在通过程序分析技术，增强软件的安全性、可靠性和高效性。在程序缺陷定位、二进制代码的分析变换及优化、运行时程序行为监测、安全防御等方面，有着较深的技术积累。发表论文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] 武成岗, 王喆zhé, 唐博文, 贾力陈, 谢梦瑶. 一种基于缓存划分及回滚的处理器瞬态攻击防御方法. CN: CN111241010B, 2022-08-02.

[2] 武成岗, 王喆, 唐博文, 贾力陈, 谢梦瑶. 一种基于缓存回滚以防御处理器瞬态攻击的装置. CN: CN111274584B, 2022-07-15.

[3] 武成岗, 王喆, 唐博文, 贾力陈, 谢梦瑶. 一种基于缓存随机无效的处理器瞬态攻击防御方法. CN: CN111259384B, 2022-06-14.

[4] 王喆, 武成岗, 谢梦瑶. 一种基于Intel CET机制的保护通用内存完整性的方法. CN: CN114266036A, 2022-04-01.

[5] 王喆, 武成岗, 张培华, 曾凯. 一种处理软件代码的方法和电子设备. CN: CN114003868A, 2022-02-01.

[6] 王喆, 武成岗, 张培华, 曾凯. 一种处理软件代码的方法和电子设备. CN: CN114003868A, 2022-02-01.

[7] 武成岗, 王喆, 唐博文, 贾力陈, 谢梦瑶. 一种微架构. CN: CN111274198B, 2021-11-19.

[8] 武成岗, 王喆, 唐博文, 贾力陈, 谢梦瑶. 一种微架构. CN: CN111274198B, 2021-11-19.

[9] 王喆, 武成岗, 谢梦瑶, 张晓峰, 赖远明, 康妍, 曾凯. 一种容器虚拟化安全加固装置及方法. CN: CN110059453B, 2021-02-05.

[10] 王喆, 武成岗, 赖远明, 康妍. 一种应用的保护方法及系统. CN: CN109840411B, 2021-01-08.

[11] 王喆, 武成岗, 谢梦瑶, 张晓峰, 赖远明, 康妍. 面向应用程序的特权硬件资源访问方法及电子设备. CN: CN111737656A, 2020-10-02.

[12] 武成岗, 王喆, 唐博文, 贾力陈, 谢梦瑶. 一种基于缓存回滚以防御处理器瞬态攻击的装置. CN: CN111274584A, 2020-06-12.

[13] 武成岗, 王喆, 唐博文, 贾力陈, 谢梦瑶. 一种基于缓存随机无效的处理器瞬态攻击防御方法. CN: CN111259384A, 2020-06-09.

[14] 武成岗, 王喆, 唐博文, 贾力陈, 谢梦瑶. 一种基于缓存划分及回滚的处理器瞬态攻击防御方法. CN: CN111241010A, 2020-06-05.

[15] 王喆, 武成岗, 谢梦瑶, 张晓峰, 赖远明, 康妍, 曾凯. 一种容器虚拟化安全加固装置及方法. CN: CN110059453A, 2019-07-26.

[16] 王喆, 武成岗, 赖远明, 康妍. 一种应用的保护方法及系统. CN: CN109840411A, 2019-06-04.

[17] 王喆, 武成岗, 王振江, 李建军. 一种抵御代码重用攻击的方法. CN: CN105022956B, 2018-11-09.

[18] 王振江, 武成岗, 张洪娟. 共享库的二进制翻译执行方法和装置. CN: CN105335203B, 2018-10-19.

[19] 李建军, 武成岗, 王振江. 函数调用路径编解码方法、装置及系统. CN: CN105224305B, 2018-09-28.

[20] 王喆, 武成岗, 王振江, 李建军. 一种抵御代码重用攻击的工作进程随机化方法及系统. CN: CN105224864B, 2018-05-04.

[21] 王振江, 武成岗, 李斌, 杨东艳. 一种内存虚拟化的方法及装置. CN: CN104750623B, 2017-11-24.

[22] 王振江, 武成岗, 张洪娟. 共享库的二进制翻译执行方法和装置. CN: CN105335203A, 2016-02-17.

[23] 王喆, 武成岗, 王振江, 李建军. 一种抵御代码重用攻击的工作进程随机化方法及系统. CN: CN105224864A, 2016-01-06.

[24] 李建军, 武成岗, 王振江. 函数调用路径编解码方法、装置及系统. CN: CN105224305A, 2016-01-06.

[25] 王喆, 武成岗, 王振江, 李建军. 一种抵御代码重用攻击的方法. CN: CN105022956A, 2015-11-04.

[26] 王振江, 武成岗, 李斌, 杨东艳. 一种内存虚拟化的方法及装置. CN: CN104750623A, 2015-07-01.

[27] 武成岗, 王文文. 二进制翻译中间接跳转指令的翻译方法及其系统. CN: CN101706734B, 2013-08-14.

[28] 李建军, 武成岗. 包含栈变量函数的优化方法. CN: CN101847096B, 2012-12-12.

[29] 贾耀仓, 武成岗, 徐地, 王振江, 李建军, 米伟. 一种基于阶段分析的缓存动态划分方法和系统. CN: CN101894048B, 2012-11-14.

[30] 王振江, 武成岗. 在运行时对堆数据进行池分配的方法. CN: CN101763308B, 2012-02-22.

[31] 陈龙, 武成岗, 崔慧敏. 一种RISC处理器浮点栈指令翻译装置及方法. CN: CN101286122B, 2011-03-23.

[32] 张盈, 武成岗. 二进制翻译器中线程共享目标本地码缓存替换方法及系统. CN: CN101482851B, 2011-02-16.

[33] 贾耀仓, 武成岗, 徐地, 王振江, 李建军, 米伟. 一种基于阶段分析的缓存动态划分方法和系统. CN: CN101894048A, 2010-11-24.

[34] 李建军, 武成岗. 包含栈变量函数的优化方法. CN: CN101847096A, 2010-09-29.

[35] 王振江, 武成岗. 在运行时对堆数据进行池分配的方法. CN: CN101763308A, 2010-06-30.

[36] 李建军, 武成岗, 陈龙. 一种非对齐访存的处理方法. CN: CN101299192B, 2010-06-02.

[37] 武成岗, 王文文. 二进制翻译中间接跳转指令的翻译方法及其系统. CN: CN101706734A, 2010-05-12.

[38] 张 盈, 武成岗. 二进制翻译器中线程共享目标本地码缓存替换方法及系统. CN: CN101482851A, 2009-07-15.

[39] 李建军, 武成岗, 陈 龙. 一种非对齐访存的处理方法. CN: CN101299192A, 2008-11-05.

[40] 陈龙, 武成岗, 崔慧敏. 一种RISC处理器及其浮点栈指令翻译装置及方法. CN: CN101286122A, 2008-10-15.

[41] 陈龙, 武成岗, 崔慧敏. 一种RISC处理器及其浮点栈指令翻译装置及方法. CN: CN101286122A, 2008-10-15.

[42] 崔慧敏, 武成岗, 谢海斌, 张兆庆, 冯晓兵, 唐 锋, 杨 浩. 二进制翻译中局部变量识别和提升的处理方法. CN: CN100377088C, 2008-03-26.

[43] 杨浩, 唐锋, 谢海斌, 武成岗, 张兆庆, 冯晓兵, 崔慧敏, 陈龙. 一种二进制翻译中库函数调用的处理方法. CN: CN100359472C, 2008-01-02.

[44] 谢海斌, 武成岗, 张兆庆, 冯晓兵, 崔慧敏, 唐锋, 杨浩. 二进制翻译中的库函数调用处理方法. CN: CN100359471C, 2008-01-02.

[45] 武成岗, 张兆庆, 冯晓兵, 崔慧敏, 谢海斌, 唐 锋, 杨 浩. 动静结合二进制翻译中静态信息不完备的处理方法及装置. CN: CN100359470C, 2008-01-02.

[46] 武成岗, 谢海斌, 张兆庆, 冯晓兵, 崔慧敏, 唐锋, 杨浩. 二进制翻译中对X86中浮点运算的处理方法. CN: CN100345117C, 2007-10-24.

[47] 武成岗, 张兆庆, 冯晓兵, 石学林, 高琳. 一种遗产代码向现代语言变换过程中的控制流变换方法. CN: CN100337203C, 2007-09-12.

[48] 白童心, 张兆庆, 冯晓兵, 武成岗, 唐锋, 马湘宁, 谢海斌, 杨浩, 崔慧敏. 一种动态二进制翻译中的翻译方法. CN: CN1332308C, 2007-08-15.

[49] 马湘宁, 冯晓兵, 张兆庆, 武成岗, 唐锋. 二进制翻译中标志位的优化处理方法. CN: CN1296815C, 2007-01-24.

[50] 杨 浩, 唐 锋, 谢海斌, 武成岗, 张兆庆, 冯晓兵, 崔慧敏, 陈 龙. 一种二进制翻译中库函数调用的处理方法. CN: CN1892602A, 2007-01-10.

[51] 崔慧敏, 武成岗, 谢海斌, 张兆庆, 冯晓兵, 唐锋, 杨浩. 二进制翻译中局部变量识别和提升的处理方法. CN: CN1828539A, 2006-09-06.

[52] 唐生林, 吴曾, 武成岗, 崔慧敏, 张兆庆, 苏灵燕, 王振江. COBOL到JAVA代码翻译中面向对象翻译的方法. CN: CN1818861A, 2006-08-16.

[53] 谢海斌, 武成岗, 张兆庆, 冯晓兵, 崔慧敏, 唐 锋, 杨 浩. 二进制翻译中的库函数调用处理方法. CN: CN1755631A, 2006-04-05.

[54] 白童心, 张兆庆, 冯晓兵, 武成岗, 唐锋, 马湘宁, 谢海斌, 杨浩, 崔慧敏. 一种动态二进制翻译中的翻译方法. CN: CN1746849A, 2006-03-15.

[55] 武成岗, 谢海斌, 张兆庆, 冯晓兵, 崔慧敏, 唐锋, 杨浩. 二进制翻译中对X86中浮点运算的处理方法. CN: CN1746850A, 2006-03-15.

[56] 武成岗, 张兆庆, 冯晓兵, 崔慧敏, 谢海斌, 唐锋, 杨浩. 动静结合二进制翻译中静态信息不完备的处理方法及装置. CN: CN1716202A, 2006-01-04.

[57] 武成岗, 张兆庆, 冯晓兵, 石学林, 高琳. 一种遗产代码向现代语言变换过程中的控制流变换方法. CN: CN1680922A, 2005-10-12.

武成岗在学术界发表了多篇有影响力的论文，其中包括：

（1） PANIC: PAN-assisted Intra-process Memory Isolation on ARM, ACM Conference on Computer and Communications Security (CCS) （CCF A类）, 2023, 第 3 作者

（2） SPECWANDS: An Efficient Priority-based Scheduler Against Speculation Contention Attacks, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS （CCF A类）, 2023, 第 2 作者

（3） SoftTRR: Protect Page Tables against Rowhammer Attacks using Software-only Target Row Refresh., 2022 USENIX Annual Technical Conference.(USENIX ATC '22). (CCF A), 2022, 第 10 作者

（4） CETIS: Retrofitting Intel CET for Generic and Efficient Intra-process Memory Isolation., The 29th ACM Conference on Computer and Communications Security.(CCS 2022) (CCF A), 2022, 第 2 作者

（5） Dancing with Wolves: An Intra-process Isolation Technique with Privileged Hardware., IEEE Transactions on Dependable and Secure Computing (CCF A), 2022, 第 1 作者

（6） SPECBOX: A Label-Based Transparent Speculation Scheme Against Transient Execution Attacks., IEEE Transactions on Dependable and Secure Computing (CCF A), 2022, 第 2 作者

（7） Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths, USENIX Security 2022. (CCF A), 2022, 第 7 作者

（8） Making Information Hiding Effective Again, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING (CCF A), 2021, 通讯作者

（9） SEIMI: Efficient and Secure SMAP-Enabled Intra-process Memory Isolation, 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), 2020, 通讯作者

（10） SafeHidden: An Efficient and Secure Information Hiding Technique Using Re-randomization, PROCEEDINGS OF THE 28TH USENIX SECURITY SYMPOSIUM, 2019, 通讯作者

（11） Using Local Clocks to Reproduce Concurrency Bugs, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING （CCF A）, 2018, 通讯作者

（12） pbSE: Phase-based Symbolic Execution, 2017 47TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2017,

（13） RERANZ:A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks, Virtual Execution Environments （CCF B类）, 2017, 通讯作者

（14） Memos: A Full Hierarchy Hybrid Memory Management Framework, PROCEEDINGS OF THE 34TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2016, 第 6 作者

（15） 控制流完整性的发展历程, 中国教育网络, 2016, 第 1 作者

（16） 二进制翻译系统中信号处理机制的研究, Research on signal handlingin binary translators, 高技术通讯, 2015, 第 2 作者

（17） Reproducing Concurrency Bugs Using Local Clocks, ACM/IEEE 37th International Conference on Software Engineering (ICSE 2015) （CCF A类）., 2015, 通讯作者

（18） HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines, ACM SIGPLAN NOTICES, 2015, 通讯作者

（19） FPS: A Fair-Progress Process Scheduling Policy on Shared-Memory Multiprocessors, IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS (CCF A), 2015, 通讯作者

（20） EATBit: Effective Automated Test for Binary Translation with High Code Coverage, 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014, 通讯作者

（21） Localization of Concurrency Bugs Using Shared Memory Access, 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) (CCF A类）, 2014, 通讯作者

（22） Concurrency Bug Localization using Shared Memory Access Pairs, ACM SIGPLAN NOTICES, 2014, 第 2 作者

（23） 二进制翻译中标志位的模式化翻译方法, A Pattern Translation Method for Flags in Binary Translation, 计算机研究与发展, 2014, 第 2 作者

（24） 动态容忍和检测非对称数据竞争, Dynamically Tolerating and Detecting Asymmetric Races, 计算机研究与发展, 2014, 第 2 作者

（25） Dynamic and Adaptive Calling Context Encoding, INTERNATIONALSYMPOSIUMONCODEGENERATIONANDOPTIMIZATIONCGO, 2014, 通讯作者

（26） Synchronization Identification through On-the-Fly Test, EURO-PAR 2013 PARALLEL PROCESSING, 2013, 通讯作者

（27） On-the-Fly Structure Splitting for Heap Objects, ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION (CCF B), 2012, 通讯作者

（28） 指导cache静态划分的程序性能profiling优化技术, Program＇s Performance Profiling Optimization for Guiding Static Cache Partitioning, 计算机研究与发展, 2012, 第 2 作者

（29） Providing Fairness on Shared-Memory Multiprocessors via Process Scheduling, SIGMETRICS/Performance 2012 （CCF B类）, 2012, 通讯作者

（30） Efficient and Effective Misaligned Data Access Handling in a Dynamic Binary Translation System, ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION (CCF B), 2011, 通讯作者

（31） Dynamic Register Promotion of Stack Variables, 2011 9TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2011, 第 2 作者

（32） On Mitigating Memory Bandwidth Contention through Bandwidth-Aware Scheduling, ACM International Conference on Parallel Architectures and Compilation Techniques (PACT ) （CCF B类）, 2010, 通讯作者

（33） On Improving Heap Memory Layout by Dynamic Pool Allocation, CGO 2010: THE EIGHTH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS, 2010, 通讯作者

（34） An Evaluation of Misaligned Data Access Handling Mechanisms in Dynamic Binary Translation Systems, CGO 2009: INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS, 2009, 通讯作者

（35） 二进制翻译中的X86浮点栈处理, Disposing X86 FPU Stack in Binary Translation, 计算机研究与发展, 2007, 第 2 作者

（36） 二进制翻译应用级异常处理, Exception Handling in Application Level Binary Translation, 计算机研究与发展, 2006, 第 2 作者

（37） 二进制翻译中的库函数处理, Library Function Disposing Approach in Binary Translation, 计算机研究与发展, 2006, 第 4 作者

（38） Cobol到Java翻译中的数据类型转换方法, Mapping Cobol Data to Java Type System with Functional Equivalence, 计算机研究与发展, 2006, 第 3 作者

（39） 二进制翻译中的标志位优化技术, Two Condition Code Optimization Approaches in Binary Translation, 计算机研究与发展, 2005, 第 2 作者

（40） 基于主体论和多主体信息检索服务器, 计算机研究与发展, 2001, 第 1 作者

（41） Configurable Mobile Agent and Its Fault-tolerance Mechanism, International Conference on Computer Networks and Mobile Computing (ICCNMC), 2001, 第 1 作者

（42） 在PowerBuilder中读写Sybase的Image数据, 信息工程学院学报, 1998, 第 2 作者

武成岗参与并负责了多个科研项目，包括：

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

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

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

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

5. 国家863项目："面向多核结构的动态存储优化" （负责人）

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

7. 国家863重点项目："四核龙芯通用CPU研制" （子课题负责人）

武成岗在科研领域获得了多项荣誉，包括：

- 1993年获军队科技进步二等奖

- 2006年中科院计算所优秀员工

- 2007获中科院计算所所长奖教金

- 2009获中科院计算所优秀员工

- 2010获联想奖教金

- 2012计算所之星

- 2012 北京市科学技术成果奖（二等）

- 2013 获浪潮奖教金

2022-03-01-2023-03-31,CGO 2023 Program Committee, PC member

2022-01-01-2022-08-01,CCF芯片大会, 程序委员会主席

2020-05-30-2021-05-30,PACT 2020 program committee, 程序委员会委员

2020-01-15-2024-01-15,中国计算机学会理事会, 理事

2020-01-14-2024-01-14,中国计算机学会体系结构专委会, 主任

2018-09-01-2019-09-01,国际会议CC程序委员会委员, 委员

2017-01-01-2017-12-31,PPoPP 2018 程序委员会, 委员

2017-01-01-2017-12-31,CGO 2018程序委员会, 委员

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]