武延军-中国科学院大学-UCAS


本站和网页 http://people.ucas.ac.cn/~0010682 的作者无关,不对其内容负责。快照谨为网络故障时之索引,不代表被搜索网站的即时页面。

武延军-中国科学院大学-UCAS
[中文]
[English]
研究领域
招生信息
教育背景
工作经历
教授课程
专利与奖励
出版信息
科研活动
指导学生
基本信息
武延军 男 研究员,博士生导师 中国科学院软件研究所电子邮件: yanjun@iscas.ac.cn办公电话:010-62661065通信地址: 北京市海淀区中关村南四街4号邮政编码: 100190
研究领域
操作系统机器学习系统软件系统安全
招生信息
招生专业
083500-软件工程081202-计算机软件与理论085400-电子信息
招生方向
操作系统RISC-V基础软件开源软件供应链
教育背景
2001-09--2006-07 中国科学院软件研究所 博士1997-09--2001-07 清华大学计算机系 工学学士
工作经历
工作简历
2022-02~现在, 中国科学院软件研究所, 总工程师,智能软件研究中心主任2018-05~2022-02,中国科学院软件研究所, 副总工程师,智能软件研究中心主任2012-07~2018-05,中国科学院软件研究所, 正高级工程师,博士生导师,其中2017年起任副总工2008-10~2012-07,基础软件国家工程研究中心, 副研究员2007-04~2008-05,美国纽约州立大学石溪分校, 博士后
社会兼职
2021-12-01-今,OpenHarmony开源社区, TSC委员2021-11-09-今,openEuler开源社区, 副理事长2020-01-01-今,RISC-V International, TSC委员
教授课程
操作系统人工智能系统软件
专利与奖励
奖励信息
(1)&nbsp中国科学院青促会优秀会员,&nbsp院级,&nbsp2015(2)&nbsp海淀区青年英才计划,&nbsp,&nbsp市地级,&nbsp2013(3)&nbsp中科院软件所杰出青年人才计划,&nbsp,&nbsp研究所(学校),&nbsp2011(4)&nbsp北京市科技新星,&nbsp,&nbsp省级,&nbsp2010
出版信息
发表论文
[1] 周鹏, 武延军, 赵琛. 一种Linux安全漏洞修复补丁自动识别方法. 计算机研究与发展. 2022, 59(1):&nbsp197-208, [2] Yanjie Shao, Yanjun Wu, Mutian Yang, Tianyue Luo, Jingzheng Wu. A Large-Scale Study on Vulnerabilities in Linux using Vtopia. 2021 IEEE International Conference on Software Quality, Reliability and Security Companionnull. 2021, [3] 侯朋朋, 张珩, 武延军, 于佳耕, 邰阳, 苗玉霞. 基于多标签的内核配置图及其应用. 计算机研究与发展. 2021, 58(3):&nbsp651-667, http://lib.cqvip.com/Qikan/Article/Detail?id=7104048040.[4] Hou, Pengpeng, Zhang, Heng, Wu, Yanjun, Yu, Jiageng, Miao, Yuxia, Tai, Yang. FindCmd: A personalised command retrieval tool. IET SOFTWARE[J]. 2021, 15(2):&nbsp161-173, https://doaj.org/article/abd4fb800bda4efda67d1834079cc2c2.[5] 刘畅, 武延军, 吴敬征, 赵琛. RISC-V指令集架构研究综述. 软件学报[J]. 2021, [6] Zhang, Hongjun, Zhang, Heng, Zhang, Libo, Wu, Yanjun. FastUDP: a highly scalable user-level UDP framework in multi-core systems for fast packet I/O. JOURNAL OF SUPERCOMPUTING[J]. 2021, 77(5):&nbsp5148-5175, http://dx.doi.org/10.1007/s11227-020-03486-6.[7] Xu Duan, Jingzheng Wu, Mengnan Du, Tianyue Luo, Mutian Yang, Yanjun Wu. MultiCode: A Unified Code Analysis Framework based on Multi-type and Multi-granularity Semantic Learning. the 32th International Symposium on Software Reliability Engineering Industry Tracknull. 2021, [8] 周鹏, 武延军, 赵琛. 一种融合程序员和神经网络的自动化程序生成方法. 计算机研究与发展. 2021, 58(3):&nbsp638-650, http://lib.cqvip.com/Qikan/Article/Detail?id=7104048039.[9] Wang, Feng, Wu, Yanjun, Huang, Feiyue. Rio: a personal storage system in multi-device and cloud (vol 76, pg 2315, 2020). JOURNAL OF SUPERCOMPUTINGnull. 2020, 76(9):&nbsp7519-7519, https://www.webofscience.com/wos/woscc/full-record/WOS:000532091000001.[10] Yao, Kaichun, Zhang, Libo, Du, Dawei, Luo, Tiejian, Tao, Lili, Wu, Yanjun. Dual Encoding for Abstractive Text Summarization. IEEE TRANSACTIONS ON CYBERNETICS[J]. 2020, 50(3):&nbsp985-996, http://dx.doi.org/10.1109/TCYB.2018.2876317.[11] Wang, Feng, Wu, Yanjun, Huang, Feiyue. Rio: a personal storage system in multi-device and cloud. JOURNAL OF SUPERCOMPUTING[J]. 2020, 76(4):&nbsp2315-2338, https://www.webofscience.com/wos/woscc/full-record/WOS:000529310600007.[12] Li Congcong, Du Dawei, Zhang Libo, Wen Longyin, Luo Tiejian, Wu Yanjun, Zhu Pengfei. Spatial Attention Pyramid Network for Unsupervised Domain Adaptation. 2020, http://arxiv.org/abs/2003.12979.[13] Ji Ruyi, Wen Longyin, Zhang Libo, Du Dawei, Wu Yanjun, Zhao Chen, Liu Xianglong, Huang Feiyue. Attention Convolutional Binary Neural Tree for Fine-Grained Visual Categorization. 2020, http://arxiv.org/abs/1909.11378.[14] 张鸿骏, 武延军, 张珩, 张立波. 一种适应GPU的混合访问缓存索引框架. 软件学报[J]. 2020, 31(10):&nbsp3038-3055, http://lib.cqvip.com/Qikan/Article/Detail?id=7103181213.[15] 段旭, 吴敬征, 罗天悦, 杨牧天, 武延军. 基于代码属性图及注意力双向LSTM的漏洞挖掘方法. 软件学报[J]. 2020, 31(11):&nbsp3404-3420, http://lib.cqvip.com/Qikan/Article/Detail?id=7103363892.[16] 武延军, 陈海波, 包云岗, 李玲. 系统软件前沿进展专题前言. 软件学报. 2020, 31(10):&nbsp2981-2982, http://lib.cqvip.com/Qikan/Article/Detail?id=7103181209.[17] Liu, Dan, Zhang, Libo, Luo, Tiejian, Tao, Lili, Wu, Yanjun. Towards interpretable and robust hand detection via pixel-wise prediction. PATTERN RECOGNITION[J]. 2020, 105: http://dx.doi.org/10.1016/j.patcog.2020.107202.[18] Liu Dan, Zhang Libo, Luo Tiejian, Tao Lili, Wu Yanjun. Towards Interpretable and Robust Hand Detection via Pixel-wise Prediction. 2020, http://arxiv.org/abs/2001.04163.[19] 张珩, 崔强, 侯朋朋, 武延军, 赵琛. 面向GPU平台的复杂网络core分解方法研究. 软件学报[J]. 2020, 31(4):&nbsp1225-1239, http://lib.cqvip.com/Qikan/Article/Detail?id=7101493138.[20] 梁冠宇, 武延军, 吴敬征, 赵琛. 面向操作系统可靠性保障的开源软件供应链. 软件学报[J]. 2020, 31(10):&nbsp3056-3073, http://lib.cqvip.com/Qikan/Article/Detail?id=7103181214.[21] 周鹏, 武延军, 赵琛. 可微分抽象机混合编程系统. 软件学报[J]. 2019, 30(5):&nbsp1224-1242, http://lib.cqvip.com/Qikan/Article/Detail?id=7001939800.[22] Mei LI, Hongjun ZHANG, Yanjun WU, Chen ZHAO. Prefetch-aware fingerprint cache management for data deduplication systems. 中国计算机科学前沿:英文版[J]. 2019, 13(3):&nbsp500-515, http://lib.cqvip.com/Qikan/Article/Detail?id=7002257821.[23] Wu, Fuzhang, Kong, Yan, Wu, Yanjun, Li, C, Yu, H, Pan, Z, Pu, Y. Deep Face Recognition with Weighted Center Loss. TENTH INTERNATIONAL CONFERENCE ON GRAPHICS AND IMAGE PROCESSING (ICGIP 2018)null. 2019, 11069: [24] Liu, Dan, Du, Dawei, Zhang, Libo, Luo, Tiejian, Wu, Yanjun, Huang, Feiyue, Lyu, Siwei, AAAI. Scale Invariant Fully Convolutional Network: Detecting Hands Efficiently. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCEnull. 2019, 4344-4351, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000485292604045.[25] Ji Ruyi, Du Dawei, Zhang Libo, Wen Longyin, Wu Yanjun, Zhao Chen, Huang Feiyue, Lyu Siwei. Learning Semantic Neural Tree for Human Parsing. 2019, http://arxiv.org/abs/1912.09622.[26] Li Congcong, Du Dawei, Zhang Libo, Luo Tiejian, Wu Yanjun, Tian Qi, Wen Longyin, Lyu Siwei. Data Priming Network for Automatic Check-Out. 2019, http://arxiv.org/abs/1904.04978.[27] Wu, Fuzhang, Kong, Yan, Dong, Weiming, Wu, Yanjun. Gradient-aware blind face inpainting for deep face verification. NEUROCOMPUTING[J]. 2019, 331(331):&nbsp301-311, http://ir.ia.ac.cn/handle/173211/23906.[28] Li, Mei, Zhang, Hongjun, Wu, Yanjun, Zhao, Chen. Prefetch-aware fingerprint cache management for data deduplication systems. FRONTIERS OF COMPUTER SCIENCE[J]. 2019, 13(3):&nbsp500-515, http://lib.cqvip.com/Qikan/Article/Detail?id=7002257821.[29] Liu Dan, Du Dawei, Zhang Libo, Luo Tiejian, Wu Yanjun, Huang Feiyue, Lyu Siwei. Scale Invariant Fully Convolutional Network: Detecting Hands Efficiently. 2019, http://arxiv.org/abs/1906.04634.[30] Li, Congcong, Du, Dawei, Zhang, Libo, Luo, Tiejian, Wu, Yanjun, Tian, Qi, Wen, Longyin, Lyu, Siwei, ACM. Data Priming Network for Automatic Check-Out. PROCEEDINGS OF THE 27TH ACM INTERNATIONAL CONFERENCE ON MULTIMEDIA (MM'19)null. 2019, 2152-2160, http://dx.doi.org/10.1145/3343031.3350989.[31] Zhang, Libo, Luo, Tiejian, Zhang, Fei, Wu, Yanjun. A Recommendation Model Based on Deep Neural Network. IEEE ACCESS[J]. 2018, 6: 9454-9463, https://doaj.org/article/3d978ed53b9b464a8c1c6b69d5e96aa6.[32] 张飞, 张立波, 罗铁坚, 武延军. 一种基于特征的协同聚类模型. 计算机研究与发展[J]. 2018, 55(7):&nbsp1508-1524, http://lib.cqvip.com/Qikan/Article/Detail?id=676015049.[33] 张珩, 张立波, 武延军. 基于Multi-GPU平台的大规模图数据处理. 计算机研究与发展[J]. 2018, 55(2):&nbsp273-288, http://lib.cqvip.com/Qikan/Article/Detail?id=7000473980.[34] Luo Tiejian. Teaching Machines to Ask Questions. The 27th International Joint Conference on Artificial Intelligence (IJCAI 2018). 2018, [35] 高需, 武延军, 郭黎敏, 丁治明, 陈军成. 基于偏好的个性化路网匹配算法. 软件学报[J]. 2018, 29(11):&nbsp3500-3516, http://lib.cqvip.com/Qikan/Article/Detail?id=676820075.[36] Yao, Kaichun, Zhang, Libo, Luo, Tiejian, Wu, Yanjun. Deep reinforcement learning for extractive document summarization. NEUROCOMPUTING[J]. 2018, 284: 52-62, http://dx.doi.org/10.1016/j.neucom.2018.01.020.[37] 郝春亮, 沈捷, 张珩, 武延军, 王青, 李明树. 大数据背景下集群调度结构与研究进展. 计算机研究与发展[J]. 2018, 55(1):&nbsp53-70, http://lib.cqvip.com/Qikan/Article/Detail?id=674133350.[38] 杨骁, 于佳耕, 武延军. 基于Intel SGX的Ansible安全增强. 计算机系统应用. 2017, 26(10):&nbsp67-72, http://lib.cqvip.com/Qikan/Article/Detail?id=673513552.[39] Li, Mei, Zhang, HongJun, Wu, YanJun, Zhao, Chen. MemSC: A Scan-Resistant and Compact Cache Replacement Framework for Memory-Based Key-Value Cache Systems. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2017, 32(1):&nbsp55-67, https://www.webofscience.com/wos/woscc/full-record/WOS:000392106200006.[40] 杨林, 张立波, 罗铁坚, 万启阳, 武延军. 一种基于链接和语义关联的知识图示化方法. 计算机研究与发展[J]. 2017, 54(8):&nbsp1655-1664, http://lib.cqvip.com/Qikan/Article/Detail?id=672891987.[41] Jingzheng Wu, Shen Liu, Shouling Ji, Mutian Yang, Tianyue Luo, Yanjun Wu, Yongji Wang. Exception beyond Exception: Crashing Android System by Trapping in \Uncaught Exception\. 2017ieeeacm39thinternationalconferenceonsoftwareengineeringsoftwareengineeringinpracticetrackicseseip. 2017, https://ieeexplore.ieee.org/document/7965452/authors#authors.[42] 王瑜, 武延军, 吴敬征, 刘晓燕. 基于异构网络面向多标签系统的推荐模型研究. 软件学报[J]. 2017, 28(10):&nbsp2611-2624, http://lib.cqvip.com/Qikan/Article/Detail?id=673398254.[43] Hao, Chunliang, Shen, Jie, Chen, Celia, Zhang, Heng, Wu, Yanjun, Li, Mingshu, IEEE. PCSsampler: Sample-based, Private-state Cluster Scheduling. 2017 17TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (CCGRID)null. 2017, 599-608, [44] 张宝婷, 芮建武, 周鹏, 武延军. 基于CoreOS面向负载整合的集群调度研究. 计算机系统应用. 2017, 26(11):&nbsp67-75, http://lib.cqvip.com/Qikan/Article/Detail?id=673772739.[45] Zhang, Heng, Hao, Chunliang, Wu, Yanjun, Li, Mingshu. Towards a scalable and energy-efficient resource manager for coupling cluster computing with distributed embedded computing. CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS[J]. 2017, 20(4):&nbsp3707-3720, https://www.webofscience.com/wos/woscc/full-record/WOS:000414780400072.[46] 宋梦蝶, 王枫, 武延军. 基于服务化技术的个人数据资源共享方法. 计算机系统应用. 2017, 26(9):&nbsp109-115, http://lib.cqvip.com/Qikan/Article/Detail?id=673109817.[47] 王栋, 张潇, 武延军. 流式数据查询系统. 计算机系统应用. 2016, 44-51, http://lib.cqvip.com/Qikan/Article/Detail?id=670083700.[48] 张继鑫, 武延军. 基于ROS的服务机器人云端协同计算框架. 计算机系统应用. 2016, 85-91, http://lib.cqvip.com/Qikan/Article/Detail?id=670083706.[49] Gao Xu, Guo Limin, Huang Guangyan, Ding Zhiming, Wu Yanjun, Cai Borui, Meng Xiangxi, Chen Juncheng, Chen J, Yang LT. Searching Time Period-based Longest Frequent Path in Big Trajectory Data. PROCEEDINGS OF 2016 IEEE 18TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS; IEEE 14TH INTERNATIONAL CONFERENCE ON SMART CITY; IEEE 2ND INTERNATIONAL CONFERENCE ON DATA SCIENCE AND SYSTEMS (HPCC/SMARTCITY/DSS)null. 2016, 1461-1468, http://dx.doi.org/10.1109/HPCC-SmartCity-DSS.2016.176.[50] Yanjun Wu. Low-overhead sample based scheduling with task hopping in DataOS. IEEE Cluster 2016. 2016, [51] Yanjun Wu. DataOS: A Data-centric Operating System for Future Data Center.. Poster Session of EuroSys 2016. 2016, [52] 陈贤, 武延军. 基于ROS的云机器人服务框架. 计算机系统应用. 2016, 73-80, http://lib.cqvip.com/Qikan/Article/Detail?id=670524977.[53] 黎丰泽, 杨达, 周鹏, 武延军. 虚拟环境下虚拟机应用性能建模. 计算机系统应用. 2015, 24(9):&nbsp9-15, http://lib.cqvip.com/Qikan/Article/Detail?id=665917735.[54] 谢沛东, 武延军. 基于Linux内核的Key-Value存储系统——KStore. 计算机应用[J]. 2015, 35(1):&nbsp99-102,114, http://lib.cqvip.com/Qikan/Article/Detail?id=663404813.[55] 汪正康, 周鹏, 肖俊超, 武延军. 基于SDN的数据中心网络资源调度机制. 计算机系统应用. 2015, 24(8):&nbsp212-218, http://lib.cqvip.com/Qikan/Article/Detail?id=665619684.[56] 吴敬征, 王永吉, 武志飞, 杨牧天, 罗天悦, 王永吉. 基于有向信息流的Android 隐私泄露类恶意应用检测方法. 中国科学院大学学报[J]. 2015, 32(6):&nbsp807-815, [57] Jingzheng Wu, Zhifei Wu, Mutian Yang, Tianyue Luo, Yanjun Wu, Yongji Wang. Poster: Quality, Reliability and Security Study of Vendor Customized Android Applications. ndsssymposium2015. 2015, [58] 李明树, 赵琛, 武延军, 谢沛东. 数据操作系统的思想、设计和原型验证. 中国科学. 信息科学[J]. 2015, 45(6):&nbsp703-720, [59] 吴敬征, 王永吉, 罗天悦, 武志飞, 杨牧天, 王永吉. 一种基于权限控制机制的Android系统隐蔽信道限制方法. 中国科学院大学学报[J]. 2015, 32(5):&nbsp667-675, [60] Jingzheng Wu, Yanjun Wu, Mutian Yang, Zhifei Wu, Tianyue Luo, Yongji Wang. POSTER: biTheft: Stealing Your Secrets by Bidirectional Covert Channel Communication with Zero-Permission Android Application. CCS. 2015, 1690-1692, [61] 郝春亮, 王凯, 武延军. 数据操作系统中的双层优化调度模型. 网络新媒体技术[J]. 2014, 3(1):&nbsp39-44, http://ir.iscas.ac.cn/handle/311060/16990.[62] Huangfu Yang, Liu Kuien, Zhang Wen, Zhou Peng, Wu Yanjun, Wang Qing, Zhu Jia. LSG: A unified multi-dimensional latent semantic graph for personal information retrieval. 15th International Conference on Web-Age Information Management, WAIM 2014null. 2014, 540-552, http://ir.iscas.ac.cn/handle/311060/16516.[63] 唐海东, 武延军. 分布式同步系统Zookeeper的优化. 计算机工程. 2014, 40(4):&nbsp53-56, http://lib.cqvip.com/Qikan/Article/Detail?id=49246130.[64] 张潇, 王凯, 武延军. 数据操作系统中基于博弈的多资源分配算法. 网络新媒体技术[J]. 2014, 3(2):&nbsp1-6, http://ir.iscas.ac.cn/handle/311060/16988.[65] 侯朋朋, 武延军, 谢沛东. 高频内存分配下内存泄露检测的性能提升方法. 计算机工程. 2013, 39(11):&nbsp295-298, http://lib.cqvip.com/Qikan/Article/Detail?id=47728449.[66] Ding Baozeng, He Yeping, Wu Yanjun, Lin Yuqi. HyperVerify: A VM-assisted Architecture for Monitoring Hypervisor Non-control Data. 7th IEEE International Conference on Software Security and Reliability (SERE)null. 2013, 26-35, http://ir.iscas.ac.cn/handle/311060/16531.[67] 武延军. 一个分布式图处理引擎. SOSP2013. 2013, [68] 武延军. 大数据时代已经来临——人机物融合的大数据时代. 高科技与产业化[J]. 2013, 46-49, http://ir.iscas.ac.cn/handle/311060/15603.[69] 蒋媛园, 武延军. 面向远程虚拟桌面的应用程序推送技术研究. 计算机科学. 2013, 40(5):&nbsp31-34, http://lib.cqvip.com/Qikan/Article/Detail?id=45647205.[70] Guan Bei, Wu Yanjun, Ding Liping, Wang Yongji. CIVSched: Communication-aware inter-VM scheduling in virtual machine monitor based on the process. 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2013null. 2013, 597-604, http://ir.iscas.ac.cn/handle/311060/16642.[71] Wu Jingzheng, Wu Yanjun, Yang Mutian, Wu Zhifei, Wang Yongji. Vulnerability Detection of Android System in Fuzzing Cloud. IEEEnull. 2013, 954-955, [72] Ding Baozeng, He Yeping, Zhou Qiming, Wu Yanjun, Wu Jingzheng. HGuard: A Framework to Measure Hypervisor Critical Files. 7th IEEE International Conference on Software Security and Reliability (SERE)null. 2013, 177-182, http://ir.iscas.ac.cn/handle/311060/16532.[73] Ding, Baozeng, He, Yeping, Wu, Yanjun, Yu, Jiageng. Systemic threats to hypervisor non-control data. IET INFORMATION SECURITY[J]. 2013, 7(4):&nbsp349-354, https://www.webofscience.com/wos/woscc/full-record/WOS:000328457400012.[74] Yang Mutian, Wu Jingzheng, Wu Yanjun, Wu Zhifei. Policykeeper: Recommending Proper Security Mechanisms based on the Severity of Vulnerability Considering User Experience. 7th IEEE International Conference on Software Security and Reliability (SERE)null. 2013, 228-229, http://ir.iscas.ac.cn/handle/311060/16529.[75] Wu Jingzheng, Wu Yanjun, Wu Zhifei, Yang Mutian, Wang Yongji. Vulcloud: Scalable and hybrid vulnerability detection in cloud computing. 7th International Conference on Software Security and Reliability, SERE-C 2013null. 2013, 225-226, http://ir.iscas.ac.cn/handle/311060/16533.[76] Guan Bei, Wu Yanjun, Ding Liping, Wang Yongji, Balaji P, Epema D, Fahringer T. CIVSched: Communication- aware Inter-VM Scheduling in Virtual Machine Monitor based on the Process. PROCEEDINGS OF THE 2013 13TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (CCGRID 2013)null. 2013, 597-604, [77] 于佳耕, 周鹏, 武延军, 赵琛. 虚拟机确定性执行重放的模型分析和实现方法. 软件学报. 2012, 23(6):&nbsp1620-1634, http://lib.cqvip.com/Qikan/Article/Detail?id=41961106.[78] 周鹏, 蒋媛园, 王枫, 谢沛东, 武延军. Skylark:云端一体化系统的设计与实现. 网络新媒体技术[J]. 2012, 1(6):&nbsp27-33, http://ir.iscas.ac.cn/handle/311060/15287.[79] Guan Bei, Wu Yanjun, Wang Yongji. A novel security scheme for online banking based on virtual machine. Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012null. 2012, 12-17, http://ir.iscas.ac.cn/handle/311060/15775.[80] Yu Jiageng, Zhou Peng, Wu Yanjun, Zhao Chen. Virtual machine replay update: improved implementation for modern hardware architecture. Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012null. 2012, 1-6, http://ir.iscas.ac.cn/handle/311060/15755.[81] Ding Baozeng, He Yeping, Wu Yanjun, Miller Alex, Criswell John. Baggy bounds with accurate checking. Proceedings - 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012null. 2012, 195-200, http://ir.iscas.ac.cn/handle/311060/15867.[82] Yu Jiageng, Ci Yiwei, Zhou Peng, Wu Yanjun, Zhao Chen. Deterministic replay of multithread applications using virtual machine. Proceedings - 26th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012null. 2012, 429-434, http://ir.iscas.ac.cn/handle/311060/15726.[83] Ding Baozeng, Yao Fufeng, Wu Yanjun, He Yeping. Improving flask implementation using hardware assisted in-vm isolation. IFIP Advances in Information and Communication Technologynull. 2012, 115-125, http://ir.iscas.ac.cn/handle/311060/15786.[84] Ding Baozeng, Wu Yanjun, He Yeping, Tian Shuo, Guan Bei, Wu Guowei. Return-oriented programming attack on the xen hypervisor. Proceedings - 2012 7th International Conference on Availability, Reliability and Security, ARES 2012null. 2012, 479-484, http://ir.iscas.ac.cn/handle/311060/15817.[85] 赵帅, 武延军, 贺也平. 基于虚拟机架构的内核Rootkit防范方案. 计算机工程与应用. 2011, 47(11):&nbsp72-74, http://lib.cqvip.com/Qikan/Article/Detail?id=37389420.[86] 武炳正, 武延军, 贺也平. 基于虚拟机架构的自修改代码监测技术. 计算机工程与应用. 2011, 47(10):&nbsp71-74, http://lib.cqvip.com/Qikan/Article/Detail?id=37389234.[87] 武延军. InDriver:虚拟机内部隔离的驱动实现方式. Xen Summit 2011. 2011, [88] 武延军. 基于虚拟机的新型网银安全方案. APSys2011. 2011, [89] 武延军. 使用虚拟机的多线程重放. APSys2011. 2011, [90] 郑婷婷, 武延军, 贺也平. 云计算环境下的虚拟机快速克隆技术. 计算机工程与应用. 2011, 47(13):&nbsp63-67, http://lib.cqvip.com/Qikan/Article/Detail?id=37768999.[91] 胡晓昌, 丁丽萍, 武延军. 基于虚拟机执行过程重放的热迁移系统研究. 计算机工程与设计. 2010, 4213-4217, http://lib.cqvip.com/Qikan/Article/Detail?id=35362053.[92] 武延军, 梁洪亮, 赵琛. 一个支持可信主体特权最小化的多级安全模型. 软件学报. 2007, 18(3):&nbsp730-738, http://lib.cqvip.com/Qikan/Article/Detail?id=24042434.[93] 武延军, 石文昌, 梁洪亮, 周洲仪. 一个基于应用程序监控的病毒防范框架. 计算机工程. 2006, 32(12):&nbsp152-153, http://lib.cqvip.com/Qikan/Article/Detail?id=22079757.[94] 袁春阳, 石文昌, 梁洪亮, 武延军, 商青华. 支持增强Linux安全性的多个安全策略模型的统一框架. 中国科学院研究生院学报. 2006, 23(2):&nbsp205-212, http://lib.cqvip.com/Qikan/Article/Detail?id=21312725.[95] YUAN ChunYang, SHI WenChang, LIANG HongLiang, WU YanJun, SHANG QingHua. 支持增强Linux安全性的多个安全策略模型的统一框架. 中国科学院研究生院学报. 2006, 23(2):&nbsp205-212, http://lib.cqvip.com/Qikan/Article/Detail?id=21312725.[96] 武延军. 安全操作系统动态策略支持的关键技术研究. 2006, 167-, http://ir.iscas.ac.cn/handle/311060/7124.
发表著作
(1) 机器人操作系统入门, Guide to Robot Operating System, GitBook网站, 2018-03, 第 2 作者(2) 鸿蒙操作系统应用开发实践, 清华大学出版社, 2021-05, 第 3 作者(3) 鸿蒙第三方组件库应用开发实战, 中国工信出版集团 人民邮电出版社, 2021-12, 第 1 作者
科研活动
科研项目
( 1 )&nbsp云计算操作系统的研究与开发, 负责人, 中国科学院计划, 2010-06--2013-05( 2 )&nbsp面向海云协同网络计算环境的数据操作系统, 参与, 中国科学院计划, 2012-01--2016-12( 3 )&nbsp智能处理器操作系统, 负责人, 国家任务, 2016-11--2018-06( 4 )&nbsp面向人工神经网络的系统软件体系结构研究, 负责人, 中国科学院计划, 2017-01--2018-12( 5 )&nbsp自完善智能操作系统, 负责人, 中国科学院计划, 2018-01--2018-12( 6 )&nbsp智能机器人操作系统产品原型验证平台, 负责人, 中国科学院计划, 2018-01--2018-12( 7 )&nbsp青年创新促进会武延军, 负责人, 中国科学院计划, 2016-01--2018-12( 8 )&nbsp面向机器人操作系统核心技术的高端科研设备, 负责人, 中国科学院计划, 2019-01--2020-12( 9 )&nbsp高安全可信移动终端, 参与, 国家任务, 2017-01--2020-06( 10 )&nbsp智能处理器操作系统支持及驱动二期, 负责人, 国家任务, 2018-07--2020-06( 11 )&nbsp开源软件可靠供应链关键技术, 负责人, 中国科学院计划, 2020-01--2021-12( 12 )&nbsp面向新一代人工智能的软件定义基础设施平台, 负责人, 中国科学院计划, 2021-01--2021-12( 13 )&nbsp工业机器人外接型安全增强装置项目, 负责人, 国家任务, 2021-04--2022-12( 14 )&nbspXXX 核心组件, 负责人, 国家任务, 2022-01--2024-12
指导学生
已指导学生侯朋朋 硕士研究生 081202-计算机软件与理论 蒋媛园 硕士研究生 081202-计算机软件与理论 谢沛东 硕士研究生 081202-计算机软件与理论 唐海东 硕士研究生 081202-计算机软件与理论 房锦章 硕士研究生 081202-计算机软件与理论 张珩 博士研究生 081202-计算机软件与理论 杨骁 硕士研究生 081202-计算机软件与理论 高需 博士研究生 081202-计算机软件与理论 张鸿骏 博士研究生 081202-计算机软件与理论 陈贤 硕士研究生 083500-软件工程 刘鹏坤 硕士研究生 081202-计算机软件与理论 侯朋朋 博士研究生 083500-软件工程 谭志浩 硕士研究生 081203-计算机应用技术 张尹 硕士研究生 083500-软件工程 现指导学生梁冠宇 博士研究生 081202-计算机软件与理论 刘畅 博士研究生 081202-计算机软件与理论 王伯英 博士研究生 083500-软件工程 张洪滨 博士研究生 083500-软件工程 熊轶翔 硕士研究生 083500-软件工程 韩柳彤 博士研究生 083500-软件工程 刘镓煜 硕士研究生 083500-软件工程 康舒婷 博士研究生 083500-软件工程 徐天宇 硕士研究生 083500-软件工程 林泓宇 硕士研究生 083500-软件工程 何家泰 硕士研究生 085400-电子信息 张益 硕士研究生 085400-电子信息 潘浩林 硕士研究生 085400-电子信息
2013 中国科学院大学,网络信息中心.