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

导师武成岗长期从事计算机系统安全、程序分析和虚拟化技术的研究，旨在系统化方案提升计算机的安全性和可靠性。在漏洞挖掘、漏洞利用、二进制代码的分析变换、安全防御等方面有着较深的技术积累。发表论文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项国家自然科学基金重点项目。

注重培养研究生的系统开发、技术视野和学术创新能力，所毕业的学生深受用人单位的青睐。自从2003年团队成立以来，先后毕业了37名研究生，分别就业于中国科学院、百度、阿里巴巴、腾讯、华为、网易、搜狗、曙光、中信银行、intel、IBM、Microsoft、Google、Synopsys、英伟达、Freewhell等知名研究机构和企业，其中3/4以上已成为所在单位的骨干。

本团队希望招收对计算机系统安全感兴趣，有梦想、有抱负的同学来攻读研究生。

0812Z1-信息安全
081201-计算机系统结构
081202-计算机软件与理论

计算机系统安全
人工智能安全
虚拟化

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-08,中国科学院计算技术研究所, 副研究员、研究员级高级工程师
1987-08~2003-12,解放军信息工程大学, 讲师

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） 国科大校级优秀本科课程, , 研究所（学校）, 2022
（2） 国科大学院级优秀本科课程, 研究所（学校）, 2022
（3） 学术会议CCS最佳论文荣誉奖, 其他, 2022
（4） 国科大领雁奖（金奖）, 特等奖, 研究所（学校）, 2021
（5） “中国科学院教育教学成果奖, 二等奖, 院级, 2020
（6） 国家级线下一流本科课程, 特等奖, 国家级, 2020
（7） 北京高校“优质本科课程”, 省级, 2019
（8） 北京市科学技术奖, 二等奖, 省级, 2012
（9） 军队科技进步奖, 二等奖, 部委级, 1993

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

已指导学生

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

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

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

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

韩冬妮  博士研究生  081201-计算机系统结构  

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

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

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

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

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

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

卢兴敬  博士研究生  081201-计算机系统结构  

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

何文婷  博士研究生  081201-计算机系统结构  

李晶  博士研究生  081201-计算机系统结构  

王喆  博士研究生  081201-计算机系统结构  

孙力立  博士研究生  081201-计算机系统结构  

吕萧  硕士研究生  081201-计算机系统结构  

杨皓  硕士研究生  085211-计算机技术  

刘学宝  硕士研究生  081201-计算机系统结构  

康炎丽  硕士研究生  085211-计算机技术  

乔扬  硕士研究生  081201-计算机系统结构  

谢梦瑶  博士研究生  081201-计算机系统结构  

张晓峰  硕士研究生  085211-计算机技术  

陈瑞新  硕士研究生  081201-计算机系统结构  

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

陈博言  硕士研究生  081201-计算机系统结构  

胡宇浩  硕士研究生  085211-计算机技术  

现指导学生

贾力陈  博士研究生  081201-计算机系统结构  

唐博文  博士研究生  081201-计算机系统结构  

许佳丽  博士研究生  081201-计算机系统结构  

张培华  博士研究生  081201-计算机系统结构  

赖远明  博士研究生  081201-计算机系统结构  

侯承轩  博士研究生  083900-网络空间安全  

康妍  博士研究生  083900-网络空间安全  

孙越   博士研究生  083900-网络空间安全  

周洋帆  硕士研究生  083900-网络空间安全  

王继铭  博士研究生  083900-网络空间安全  

高亦凡  硕士研究生  083900-网络空间安全  

吴腾  硕士研究生  085400-电子信息  

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

任骥恺  博士研究生  083900-网络空间安全  

胡瀚之  硕士研究生  081200-计算机科学与技术  

胡宇浩  博士研究生  083900-网络空间安全  

吕京霖  博士研究生  081200-计算机科学与技术  

   

[1] 陈磊, Shi Liu, 王晨曦, Haoran Ma, Yifan Qiao, 王喆, 武成岗, Youyou Lu, 冯晓兵, 崔慧敏, Harry Xu. A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications. 第18届USENIX操作系统设计与实现研讨会. 2024, 
[2] 许佳丽, 谢梦瑶, 武成岗, 张殷乾, 栗祺菁, 黄轩, 赖远明, 康妍, 王伟, 魏强, 王喆. PANIC: PAN-assisted Intra-process Memory Isolation on ARM. ACM Conference on Computer and Communications Security (CCS) （CCF A类）. 2023, 
[3] 唐博文, 武成岗, Pen-Chung Yew, 张殷乾, 谢梦瑶, 赖远明, 康妍, 王伟, 王喆. SPECWANDS: An Efficient Priority-based Scheduler Against Speculation Contention Attacks. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS （CCF A类）[J]. 2023, 
[4] 孙力立, 张培华, 武成岗, 王喆. JavaScript引擎JIT代码的类型混淆缺陷检测器. 高技术通讯. 2023, 33(3): 251-260, http://lib.cqvip.com/Qikan/Article/Detail?id=7109832057.
[5] Zhi Zhang, Yueqiang Cheng, Minghua Wang, Wei He, Wenhao Wang, Surya Nepal, Yansong Gao, Kang Li, 王喆, 武成岗. SoftTRR: Protect Page Tables against Rowhammer Attacks using Software-only Target Row Refresh.. 2022 USENIX Annual Technical Conference.(USENIX ATC '22). (CCF A). 2022, 
[6] 谢梦瑶, 武成岗, 王喆, 张殷乾, 许佳丽, 赖远明, 康妍, 王伟. 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, 
[7] 孙力立, 武成岗, 许佳丽, 张培华, 唐博文, 谢梦瑶. 脚本语言执行引擎的模糊测试技术综述. 高技术通讯. 2022, 32(12): 1226-1235, http://lib.cqvip.com/Qikan/Article/Detail?id=7109182734.
[8] 武成岗, 谢梦瑶, 王喆, 张殷乾, 卢康杰, 张晓峰, 赖远明, 康妍, 杨珉, 李涛. Dancing with Wolves: An Intra-process Isolation Technique with Privileged Hardware.. IEEE Transactions on Dependable and Secure Computing (CCF A)[J]. 2022, 
[9] 唐博文, 武成岗, 王喆, 贾力陈, Pen-Chung Yew, Yueqiang Cheng, 张殷乾, 王晨曦, Harry Xu. SPECBOX: A Label-Based Transparent Speculation Scheme Against Transient Execution Attacks.. IEEE Transactions on Dependable and Secure Computing (CCF A)[J]. 2022, 
[10] Zhou ShunFan, 杨哲慜, Dan Qiao, Peng Liu, 杨珉, 王喆, 武成岗. Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths. USENIX Security 2022. (CCF A). 2022, 
[11] 王喆, 武成岗, Yinqian Zhang, 唐博文, yew penchung, 谢梦瑶, 赖远明, 康妍. Making Information Hiding Effective Again. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING (CCF A)[J]. 2021, 
[12] 王喆, Wu, Chenggang, Xie, Mengyao, Zhang, Yinqian, Lu, Kangjie, Zhang, Xiaofeng, Lai, Yuanming, Kang, Yan, Yang, Min. SEIMI: Efficient and Secure SMAP-Enabled Intra-process Memory Isolation. 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020). 2020, 592-607, 
[13] 王喆, Wu Chenggang, Zhang Yinqian, Tang Bowen, Yew PenChung, Xie Mengyao, Lai Yuanming, Kang Yan, Cheng Yueqiang, Shi Zhiping. SafeHidden: An Efficient and Secure Information Hiding Technique Using Re-randomization. PROCEEDINGS OF THE 28TH USENIX SECURITY SYMPOSIUM. 2019, 1239-1256, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000509775000071.
[14] Wang, Zhe, Wu, Chenggang, Yuan, Xiang, Wang, Zhenjiang, Li, Jianjun, Yew, PenChung, Huang, Jeff, Feng, Xiaobing, Lan, Yanyan, Chen, Yunji, Lai, Yuanming, Guan, Yong. Using Local Clocks to Reproduce Concurrency Bugs. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING （CCF A）[J]. 2018, 44(11): 1112-1128, https://www.webofscience.com/wos/woscc/full-record/WOS:000449964600006.
[15] Xiao, Qixue, Chen, Yu, Wu, Chengang, Li, Kang, Mao, Junjie, Guo, Shize, Shi, Yuanchun, IEEE. pbSE: Phase-based Symbolic Execution. 2017 47TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN). 2017, 133-144, 
[16] 武成岗. RERANZ:A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks. Virtual Execution Environments （CCF B类）. 2017, 
[17] Liu Lei, Yang Hao, Li Yong, Xie Mengyao, Li Lian, Wu Chenggang, IEEE. Memos: A Full Hierarchy Hybrid Memory Management Framework. PROCEEDINGS OF THE 34TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD). 2016, 368-371, 
[18] 武成岗, 李建军. 控制流完整性的发展历程. 中国教育网络[J]. 2016, 52-55, http://lib.cqvip.com/Qikan/Article/Detail?id=668512653.
[19] 远翔, 武成岗, 王振江. 二进制翻译系统中信号处理机制的研究. 高技术通讯[J]. 2015, 543-551, http://lib.cqvip.com/Qikan/Article/Detail?id=666426461.
[20] 远翔, 武成岗, 王振江, 李建军, Pen-Chung Yew, Jeff Huang, 冯晓兵, 兰艳艳, 陈云霁, 关永. Reproducing Concurrency Bugs Using Local Clocks. ACM/IEEE 37th International Conference on Software Engineering (ICSE 2015) （CCF A类）.. 2015, 
[21] Wang, Zhe, Li, Jianjun, Wu, Chenggang, Yang, Dongyan, Wang, Zhenjiang, Hsu, WeiChung, Li, Bin, Guan, Yong. HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines. ACM SIGPLAN NOTICES. 2015, 50(7): 53-64, https://www.webofscience.com/wos/woscc/full-record/WOS:000361284300005.
[22] Wu, Chenggang, Li, Jin, Xu, Di, Yew, PenChung, Li, Jianjun, Wang, Zhenjiang. FPS: A Fair-Progress Process Scheduling Policy on Shared-Memory Multiprocessors. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS (CCF A)[J]. 2015, 26(2): 444-454, https://www.webofscience.com/wos/woscc/full-record/WOS:000349769300012.
[23] Guo Hui, Wang Zhenjiang, Wu Chenggang, He Ruining, IEEE. EATBit: Effective Automated Test for Binary Translation with High Code Coverage. 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE). 2014, 
[24] 王文文, 王振江, 武成岗, Pen-Chung Yew, Xipeng Shen, 远翔, 李建军, 冯晓兵, 关永. Localization of Concurrency Bugs Using Shared Memory Access. 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) (CCF A类）. 2014, 
[25] Wang, Wenwen, Wu, Chenggang, Yew, PenChung, Yuan, Xiang, Wang, Zhenjiang, Li, Jianjun, Feng, Xiaobing. Concurrency Bug Localization using Shared Memory Access Pairs. ACM SIGPLAN NOTICES[J]. 2014, 49(8): 375-376, https://www.webofscience.com/wos/woscc/full-record/WOS:000349142100035.
[26] 王文文, 武成岗, 白童心, 王振江, 远翔, 崔慧敏. 二进制翻译中标志位的模式化翻译方法. 计算机研究与发展[J]. 2014, 51(10): 2336-2347, http://lib.cqvip.com/Qikan/Article/Detail?id=662435627.
[27] 王文文, 武成岗, Paruj Ratanaworabhan, 远翔, 王振江, 李建军, 冯晓兵. 动态容忍和检测非对称数据竞争. 计算机研究与发展[J]. 2014, 51(8): 1748-1763, http://lib.cqvip.com/Qikan/Article/Detail?id=661863766.
[28] 李建军, 王振江, 武成岗, Wei-Chung Hsu, 徐地. Dynamic and Adaptive Calling Context Encoding. INTERNATIONALSYMPOSIUMONCODEGENERATIONANDOPTIMIZATIONCGO. 2014, 
[29] Yuan Xiang, Wang Zhenjiang, Wu Chenggang, Yew PenChung, Wang Wenwen, Li Jianjun, Xu Di, Wolf F, Mohr B, Mey DA. Synchronization Identification through On-the-Fly Test. EURO-PAR 2013 PARALLEL PROCESSING. 2013, 8097: 4-15, 
[30] Wang, Zhenjiang, Wu, Chenggang, Yew, PenChung, Li, Jianjun, Xu, Di. On-the-Fly Structure Splitting for Heap Objects. ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION (CCF B)[J]. 2012, 8(4): https://www.webofscience.com/wos/woscc/full-record/WOS:000299995000009.
[31] 贾耀仓, 武成岗, 张兆庆. 指导cache静态划分的程序性能profiling优化技术. 计算机研究与发展[J]. 2012, 49(1): 93-102, http://lib.cqvip.com/Qikan/Article/Detail?id=40786903.
[32] 徐地, 武成岗, Pen-Chung Yew, 李建军, 王振江. Providing Fairness on Shared-Memory Multiprocessors via Process Scheduling. SIGMETRICS/Performance 2012 （CCF B类）. 2012, 
[33] Li, Jianjun, Wu, Chenggang, Hsu, WeiChung. Efficient and Effective Misaligned Data Access Handling in a Dynamic Binary Translation System. ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION (CCF B)[J]. 2011, 8(2): http://dx.doi.org/10.1145/1970386.1970388.
[34] Li, Jianjun, Wu, Chenggang, Hsu, WeiChung, IEEE. Dynamic Register Promotion of Stack Variables. 2011 9TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO). 2011, 21-31, 
[35] 徐地, 武成岗, Pen-Chung Yew. On Mitigating Memory Bandwidth Contention through Bandwidth-Aware Scheduling. ACM International Conference on Parallel Architectures and Compilation Techniques (PACT ) （CCF B类）. 2010, 
[36] 王振江, 武成岗, Yew, PenChung, ACM. On Improving Heap Memory Layout by Dynamic Pool Allocation. CGO 2010: THE EIGHTH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS. 2010, 92-+, 
[37] 李建军, 武成岗, Wei-Chung Hsu. An Evaluation of Misaligned Data Access Handling Mechanisms in Dynamic Binary Translation Systems. CGO 2009: INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS. 2009, 180-+, 
[38] 谢海斌, 武成岗, 崔慧敏, 李晶. 二进制翻译中的X86浮点栈处理. 计算机研究与发展[J]. 2007, 44(11): 1946-1954, http://lib.cqvip.com/Qikan/Article/Detail?id=25904276.
[39] 唐锋, 武成岗, 张兆庆, 杨浩. 二进制翻译应用级异常处理. 计算机研究与发展[J]. 2006, 43(12): 2166-2173, https://crad.ict.ac.cn/cn/article/id/2010.
[40] 杨浩, 唐锋, 谢海斌, 武成岗, 冯晓兵. 二进制翻译中的库函数处理. 计算机研究与发展[J]. 2006, 43(12): 2174-2179, https://crad.ict.ac.cn/cn/article/id/2020.
[41] 石学林, 张兆庆, 武成岗. Cobol到Java翻译中的数据类型转换方法. 计算机研究与发展[J]. 2006, 43(2): 336-342, http://lib.cqvip.com/Qikan/Article/Detail?id=21242002.
[42] 马湘宁, 武成岗, 唐锋, 冯晓兵, 张兆庆. 二进制翻译中的标志位优化技术. 计算机研究与发展[J]. 2005, 42(2): 329-337, http://lib.cqvip.com/Qikan/Article/Detail?id=12076230.
[43] 武成岗, 焦文品, 田启家, 史忠值. 基于主体论和多主体信息检索服务器. 计算机研究与发展[J]. 2001, 38(6): 641-647, http://lib.cqvip.com/Qikan/Article/Detail?id=5281719.
[44] 武成岗, 刘少辉, 王博, 史忠值. Configurable Mobile Agent and Its Fault-tolerance Mechanism. International Conference on Computer Networks and Mobile Computing (ICCNMC). 2001, 
[45] 郭绍忠, 武成岗. 在PowerBuilder中读写Sybase的Image数据. 信息工程学院学报[J]. 1998, 17(4): 8-11, http://lib.cqvip.com/Qikan/Article/Detail?id=3327782.