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

研究领域

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

招生信息

招生方向
系统软件验证、智能软件分析与测试
智能化并发软件验证与测试
智能系统鲁棒性、公平性分析与测试

工作经历

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

教授课程

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

出版信息

   
发表论文
[1] 李旭然, 吴鹏, 苏静. Accurate Fairness: Improving Individual Fairness without Trading Accuracy. AAAI 2023null. 2023, [2] Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang. VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. TASE 2023null. 2023, [3] 王超, 吕毅, 吴鹏, 贾巧雯. TSO 内存模型下限界可线性化的可判定性研究. 软件学报[J]. 2022, 33(8): 2896-2917, [4] 苏静, 张震, 吴鹏, 李旭然, 张健. Adversarial Input Detection Based on Critical Transformation Robustness. ISSRE 2022null. 2022, [5] 张震, 吴鹏, Yuhang Chen, 苏静. Out-of-Distribution Detection through Relative Activation-Deactivation Abstractions. ISSRE 2021null. 2021, [6] 谢文涛, 吴鹏. Fairness Testing of Machine Learning Models Using Deep Reinforcement Learning. TrustCom 2020null. 2020, [7] 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.
[8] 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.
[9] 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.
[10] 吴鹏. Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. SETTA 2018. 2018, [11] 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.
[12] 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, [13] 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.
[14] 吴鹏. Synthesizing Coalitions for Multi-agent Games. IFM 2017. 2017, [15] Zhang, Qian, Jiang, Ying, Wu, Peng, IEEE. Modelling and Analysis of Network Security - an Algebraic Approach. 2016 IEEE TRUSTCOM/BIGDATASE/ISPAnull. 2016, 308-315, [16] 纪玮, 王凡, 吴鹏. 基于扩展RED图的概率时间自动机可达性分析. 计算机系统应用[J]. 2016, 1-10, http://lib.cqvip.com/Qikan/Article/Detail?id=670524969.
[17] 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.
[18] 岳翰, 吴鹏. 并发软件适应性随机测试方法. 计算机系统应用[J]. 2015, 24(11): 1-6, http://lib.cqvip.com/Qikan/Article/Detail?id=666512118.
[19] 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, [20] 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, [21] 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, [22] Lomuscio, Alessio, Strulo, Ben, Walker, Nigel, Wu, Peng. ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE[J]. 2013, 24(4): 419-444, http://dx.doi.org/10.1142/S0129054113500123.
[23] 吴鹏. Model Checking Optimisation-Based Congestion Control Models. Fundamenta Informaticae. 2010, [24] 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.
[25] 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.
[26] 李娜娜, 吴鹏. 软件可移植性工程与度量. 情报科学[J]. 2005, 23(2): 268-273, http://lib.cqvip.com/Qikan/Article/Detail?id=11693926.
[27] Wu Peng, Shi Xiaochun, Tang Jiangjun, Lin Huimin, Chen T. Y.. Metamorphic Testing and Special Case Testing: A Case Study. JOURNAL OF SOFTWARE[J]. 2005, 16(7): 1210-1220, http://lib.cqvip.com/Qikan/Article/Detail?id=16146564.
[28] 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.

科研活动

   
科研项目
( 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--2022-12