基本信息
吴鹏  男  硕导  中国科学院软件研究所
电子邮件: wp@ios.ac.cn
通信地址: 北京8718信箱计算机科学国家重点实验室
邮政编码: 100190

研究领域

并发理论、模型检测与测试、机器学习

招生信息

招生方向
系统软件验证、智能软件分析与测试
并发程序分析、验证与测试
智能软件分析与测试

工作经历

   
工作简历
2010-07~现在, 中国科学院软件研究所, 副研究员
2007-09~2010-07,英国伦敦大学学院(University College London)计算机系, Research Associate
2005-09~2007-09,法国巴黎高工(Ecole Polytechnique)计算机系, 博士后

教授课程

并发数据结构与多核编程
多处理器系统编程
软件测试与安全分析

出版信息

   
发表论文
[1] 吴鹏. Out-of-Distribution Detection through Relative Activation-Deactivation Abstractions. ISSRE 2021[J]. 2021, [2] 吴鹏. Fairness Testing of Machine Learning Models Using Deep Reinforcement Learning. TrustCom 2020. 2020, [3] Sun, Changai, Fu, An, Liu, Yiqiang, Wen, Qing, Wang, Zuoyi, Wu, Peng, Chen, Tsong Yueh. An iterative metamorphic testing technique for web services and case studies. INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES[J]. 2020, 16(4): 364-392, https://www.webofscience.com/wos/woscc/full-record/WOS:000588465300002.
[4] Wang, Chao, Lv, Yi, Wu, Peng. Decidability of linearizabilities for relaxed data structures. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2018, 61(1): https://www.webofscience.com/wos/woscc/full-record/WOS:000409915100006.
[5] Ma, Linhai, Wu, Peng, Chen, Tsong Yueh. Diversity driven adaptive test generation for concurrent data structures. INFORMATION AND SOFTWARE TECHNOLOGY[J]. 2018, 103: 162-173, http://dx.doi.org/10.1016/j.infsof.2018.07.001.
[6] 吴鹏. Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. SETTA 2018. 2018, [7] Wang, Chao, Lv, Yi, Wu, Peng. TSO-to-TSO linearizability is undecidable. ACTA INFORMATICA[J]. 2018, 55(8): 649-668, https://www.webofscience.com/wos/woscc/full-record/WOS:000452106900003.
[8] Wang, Chao, Lv, Yi, Wu, Peng, Steffen, B, Baier, C, VanDenBrand, M, Eder, J, Hinchey, M, Margaria, T. Decomposable Relaxation for Concurrent Data Structures. SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCEnull. 2017, 10139: 188-202, [9] Zhang, Zhenya, Wu, Peng, Zhang, Yu. Localization of Linearizability Faults on the Coarse-Grained Level. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING[J]. 2017, 27(9-10): 1483-1505, https://www.webofscience.com/wos/woscc/full-record/WOS:000423457100008.
[10] 吴鹏. Synthesizing Coalitions for Multi-agent Games. IFM 2017. 2017, [11] Zhang, Qian, Jiang, Ying, Wu, Peng, IEEE. Modelling and Analysis of Network Security - an Algebraic Approach. 2016 IEEE TRUSTCOM/BIGDATASE/ISPAnull. 2016, 308-315, [12] 纪玮, 王凡, 吴鹏. 基于扩展RED图的概率时间自动机可达性分析. 计算机系统应用. 2016, 1-10, http://lib.cqvip.com/Qikan/Article/Detail?id=670524969.
[13] Ji Wei, Wang Farn, Wu Peng, Lv Yi, Wang H, Mokhtari M. An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. 2016 21ST INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2016)null. 2016, 111-121, http://dx.doi.org/10.1109/ICECCS.2016.12.
[14] 岳翰, 吴鹏. 并发软件适应性随机测试方法. 计算机系统应用. 2015, 24(11): 1-6, http://lib.cqvip.com/Qikan/Article/Detail?id=666512118.
[15] Yue, Han, Wu, Peng, Chen, TsongYueh, Lv, Yi, Sun, J, Reddy, YR, Bahulkar, A, Pasala, A. Input-driven Active Testing of Multi-threaded Programs. 2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015)null. 2015, 246-253, [16] Wang Chao, Lv Yi, Wu Peng, Finkbeiner B, Pu G, Zhang L. TSO-to-TSO Linearizability Is Undecidable. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015null. 2015, 9364: 309-325, [17] Lv, Yi, Sun, Luming, Ye, Xiaochun, Fan, Dongrui, Wu, Peng, Cassez, F, Raskin, JF. Efficiently and Completely Verifying Synchronized Consistency Models. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014null. 2014, 8837: 264-280, [18] 吴鹏. Assume-Guarantee Verification with Local Specifications. International Journal of Foundations of Computer Science. 2013, [19] 吴鹏. Model Checking Optimisation-Based Congestion Control Models. Fundamenta Informaticae. 2010, [20] Norman, Gethin, Palamidessi, Catuscia, Parker, David, Wu, Peng. Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING[J]. 2009, 35(2): 209-223, http://dx.doi.org/10.1109/TSE.2008.77.
[21] Wu, Peng, Lin, Huimin. Model-based testing of concurrent programs with predicate sequencing constraints. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING[J]. 2006, 16(5): 727-746, https://www.webofscience.com/wos/woscc/full-record/WOS:000241963600005.
[22] 李娜娜, 吴鹏. 软件可移植性工程与度量. 情报科学[J]. 2005, 23(2): 268-273, http://lib.cqvip.com/Qikan/Article/Detail?id=11693926.
[23] Wu Peng, Shi Xiaochun, Tang Jiangjun, Lin Huimin, Chen Zongyue. 关于蜕变测试和特殊用例测试的实例研究. 软件学报[J]. 2005, 16(7): 1210-1220, http://lib.cqvip.com/Qikan/Article/Detail?id=16146564.
[24] Wu, P. Analyzing interoperability of protocols using model checking. CHINESE JOURNAL OF ELECTRONICS[J]. 2005, 14(3): 453-457, http://lib.cqvip.com/Qikan/Article/Detail?id=16071742.
[25] 吴鹏. Metamorphic Testing and Special Case Testing: A Case Study. Journal of Software. 2005, [26] 吴鹏, 施小纯, 唐江峻, 林惠民, 陈宗岳. 关于蜕变测试和特殊用例测试的实例研究. 软件学报. 2005, 16(7): 1210-1220, http://lib.cqvip.com/Qikan/Article/Detail?id=16146564.
[27] 吴鹏. Bluetooth服务发现协议的验证、实现与测试. 2001, 66-, http://ir.iscas.ac.cn/handle/311060/6650.

科研活动

   
科研项目
( 1 ) 基于测试用例多样性的并发软件适应性测试方法研究, 主持, 国家级, 2012-01--2014-12
( 2 ) 基于逻辑的新型计算模型, 参与, 国家级, 2012-01--2016-12
( 3 ) 确定性表达式及其子类的理论问题与工具研究, 参与, 国家级, 2015-01--2018-12
( 4 ) 安全攸关软件系统的构造与质量保障方法研究, 参与, 国家级, 2014-01--2018-12
( 5 ) 高安全可信移动终端操作系统安全防护关键技术研究, 参与, 国家级, 2017-07--2020-06
( 6 ) 内生安全应用构造技术, 参与, 国家级, 2019-01--2020-12
( 7 ) XX智能控制系统形式设计验证理论及应用, 参与, 国家级, 2019-06--2022-06
( 8 ) 验证、交互和证明(对外合作重点项目), 主持, 部委级, 2017-11--2021-12