基本信息
吴鹏 男 硕导 中国科学院软件研究所
电子邮件： wp@ios.ac.cn
通信地址： 北京8718信箱计算机科学国家重点实验室
邮政编码： 100190
电子邮件： wp@ios.ac.cn
通信地址： 北京8718信箱计算机科学国家重点实验室
邮政编码： 100190
研究领域
并发理论、模型检测与测试、机器学习
工作经历
工作简历
2010-07~现在, 中国科学院软件研究所, 副研究员
2007-09~2010-07,英国伦敦大学学院（University College London）计算机系, Research Associate
2005-09~2007-09,法国巴黎高工（Ecole Polytechnique）计算机系, 博士后
2007-09~2010-07,英国伦敦大学学院（University College London）计算机系, Research Associate
2005-09~2007-09,法国巴黎高工（Ecole Polytechnique）计算机系, 博士后
教授课程
高可信软件工程
并发数据结构与多核编程
多处理器系统编程
软件测试与安全分析
并发数据结构与多核编程
多处理器系统编程
软件测试与安全分析
出版信息
发表论文
[1] 代艺博, 吴鹏, 崔舍承, 马林海. Intrathread Method Orders based Adaptive Testing of Concurrent Objects. TASE 2024. 2024, 第 2 作者 通讯作者 null(null):
[2] 李旭然, 吴鹏, 苏静. Accurate Fairness: Improving Individual Fairness without Trading Accuracy. AAAI 2023. 2023, 第 2 作者 通讯作者
[3] Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang. VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. TASE 2023. 2023, 第 3 作者
[4] ACM Transactions on Software Engineering and Methodology. 2023, 第 6 作者
[5] 王超, 吕毅, 吴鹏, 贾巧雯. TSO 内存模型下限界可线性化的可判定性研究. 软件学报[J]. 2022, 第 3 作者33(8): 2896-2917,
[6] 苏静, 张震, 吴鹏, 李旭然, 张健. Adversarial Input Detection Based on Critical Transformation Robustness. ISSRE 2022. 2022, 第 3 作者 通讯作者
[7] 张震, 吴鹏, Yuhang Chen, 苏静. Out-of-Distribution Detection through Relative Activation-Deactivation Abstractions. ISSRE 2021. 2021, 第 2 作者 通讯作者
[8] 谢文涛, 吴鹏. Fairness Testing of Machine Learning Models Using Deep Reinforcement Learning. TrustCom 2020. 2020, 第 2 作者 通讯作者
[9] 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, 第 6 作者16(4): 364-392, https://www.webofscience.com/wos/woscc/full-record/WOS:000588465300002.
[10] Wang, Chao, Lv, Yi, Wu, Peng. Decidability of linearizabilities for relaxed data structures. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2018, 第 3 作者61(1): https://www.webofscience.com/wos/woscc/full-record/WOS:000409915100006.
[11] Ma, Linhai, Wu, Peng, Chen, Tsong Yueh. Diversity driven adaptive test generation for concurrent data structures. INFORMATION AND SOFTWARE TECHNOLOGY[J]. 2018, 第 2 作者 通讯作者 103: 162-173, http://dx.doi.org/10.1016/j.infsof.2018.07.001.
[12] 吴鹏. Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. SETTA 2018. 2018, 第 1 作者 通讯作者
[13] Wang, Chao, Lv, Yi, Wu, Peng. TSO-to-TSO linearizability is undecidable. ACTA INFORMATICA[J]. 2018, 第 3 作者55(8): 649-668, http://dx.doi.org/10.1007/s00236-017-0305-6.
[14] 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 SCIENCE. 2017, 第 3 作者10139: 188-202,
[15] 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, 第 2 作者 通讯作者 27(9-10): 1483-1505, http://dx.doi.org/10.1142/S0218194017400071.
[16] 吴鹏. Synthesizing Coalitions for Multi-agent Games. IFM 2017. 2017, 第 1 作者 通讯作者
[17] Zhang, Qian, Jiang, Ying, Wu, Peng, IEEE. Modelling and Analysis of Network Security - an Algebraic Approach. 2016 IEEE TRUSTCOM/BIGDATASE/ISPA. 2016, 第 3 作者308-315,
[18] 纪玮, 王凡, 吴鹏. 基于扩展RED图的概率时间自动机可达性分析. 计算机系统应用[J]. 2016, 第 3 作者1-10, http://lib.cqvip.com/Qikan/Article/Detail?id=670524969.
[19] 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). 2016, 第 3 作者111-121, http://dx.doi.org/10.1109/ICECCS.2016.12.
[20] 岳翰, 吴鹏. 并发软件适应性随机测试方法. 计算机系统应用[J]. 2015, 第 2 作者24(11): 1-6, http://lib.cqvip.com/Qikan/Article/Detail?id=666512118.
[21] 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). 2015, 第 2 作者246-253,
[22] 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 2015. 2015, 第 3 作者9364: 309-325,
[23] 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 2014. 2014, 第 5 作者8837: 264-280,
[24] Lomuscio, Alessio, Strulo, Ben, Walker, Nigel, Wu, Peng. ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE[J]. 2013, 第 4 作者 通讯作者 24(4): 419-444, http://dx.doi.org/10.1142/S0129054113500123.
[25] 吴鹏. Model Checking Optimisation-Based Congestion Control Models. Fundamenta Informaticae. 2010, 第 1 作者 通讯作者
[26] 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, 第 4 作者35(2): 209-223, http://dx.doi.org/10.1109/TSE.2008.77.
[27] Wu, Peng, Lin, Huimin. Model-based testing of concurrent programs with predicate sequencing constraints. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING[J]. 2006, 第 1 作者 通讯作者 16(5): 727-746, https://www.webofscience.com/wos/woscc/full-record/WOS:000241963600005.
[28] 李娜娜, 吴鹏. 软件可移植性工程与度量. 情报科学[J]. 2005, 第 2 作者23(2): 268-273, http://lib.cqvip.com/Qikan/Article/Detail?id=11693926.
[29] 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, 第 1 作者16(7): 1210-1220, http://lib.cqvip.com/Qikan/Article/Detail?id=16146564.
[30] 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.
[2] 李旭然, 吴鹏, 苏静. Accurate Fairness: Improving Individual Fairness without Trading Accuracy. AAAI 2023. 2023, 第 2 作者 通讯作者
[3] Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang. VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. TASE 2023. 2023, 第 3 作者
[4] ACM Transactions on Software Engineering and Methodology. 2023, 第 6 作者
[5] 王超, 吕毅, 吴鹏, 贾巧雯. TSO 内存模型下限界可线性化的可判定性研究. 软件学报[J]. 2022, 第 3 作者33(8): 2896-2917,
[6] 苏静, 张震, 吴鹏, 李旭然, 张健. Adversarial Input Detection Based on Critical Transformation Robustness. ISSRE 2022. 2022, 第 3 作者 通讯作者
[7] 张震, 吴鹏, Yuhang Chen, 苏静. Out-of-Distribution Detection through Relative Activation-Deactivation Abstractions. ISSRE 2021. 2021, 第 2 作者 通讯作者
[8] 谢文涛, 吴鹏. Fairness Testing of Machine Learning Models Using Deep Reinforcement Learning. TrustCom 2020. 2020, 第 2 作者 通讯作者
[9] 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, 第 6 作者16(4): 364-392, https://www.webofscience.com/wos/woscc/full-record/WOS:000588465300002.
[10] Wang, Chao, Lv, Yi, Wu, Peng. Decidability of linearizabilities for relaxed data structures. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2018, 第 3 作者61(1): https://www.webofscience.com/wos/woscc/full-record/WOS:000409915100006.
[11] Ma, Linhai, Wu, Peng, Chen, Tsong Yueh. Diversity driven adaptive test generation for concurrent data structures. INFORMATION AND SOFTWARE TECHNOLOGY[J]. 2018, 第 2 作者 通讯作者 103: 162-173, http://dx.doi.org/10.1016/j.infsof.2018.07.001.
[12] 吴鹏. Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. SETTA 2018. 2018, 第 1 作者 通讯作者
[13] Wang, Chao, Lv, Yi, Wu, Peng. TSO-to-TSO linearizability is undecidable. ACTA INFORMATICA[J]. 2018, 第 3 作者55(8): 649-668, http://dx.doi.org/10.1007/s00236-017-0305-6.
[14] 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 SCIENCE. 2017, 第 3 作者10139: 188-202,
[15] 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, 第 2 作者 通讯作者 27(9-10): 1483-1505, http://dx.doi.org/10.1142/S0218194017400071.
[16] 吴鹏. Synthesizing Coalitions for Multi-agent Games. IFM 2017. 2017, 第 1 作者 通讯作者
[17] Zhang, Qian, Jiang, Ying, Wu, Peng, IEEE. Modelling and Analysis of Network Security - an Algebraic Approach. 2016 IEEE TRUSTCOM/BIGDATASE/ISPA. 2016, 第 3 作者308-315,
[18] 纪玮, 王凡, 吴鹏. 基于扩展RED图的概率时间自动机可达性分析. 计算机系统应用[J]. 2016, 第 3 作者1-10, http://lib.cqvip.com/Qikan/Article/Detail?id=670524969.
[19] 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). 2016, 第 3 作者111-121, http://dx.doi.org/10.1109/ICECCS.2016.12.
[20] 岳翰, 吴鹏. 并发软件适应性随机测试方法. 计算机系统应用[J]. 2015, 第 2 作者24(11): 1-6, http://lib.cqvip.com/Qikan/Article/Detail?id=666512118.
[21] 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). 2015, 第 2 作者246-253,
[22] 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 2015. 2015, 第 3 作者9364: 309-325,
[23] 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 2014. 2014, 第 5 作者8837: 264-280,
[24] Lomuscio, Alessio, Strulo, Ben, Walker, Nigel, Wu, Peng. ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE[J]. 2013, 第 4 作者 通讯作者 24(4): 419-444, http://dx.doi.org/10.1142/S0129054113500123.
[25] 吴鹏. Model Checking Optimisation-Based Congestion Control Models. Fundamenta Informaticae. 2010, 第 1 作者 通讯作者
[26] 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, 第 4 作者35(2): 209-223, http://dx.doi.org/10.1109/TSE.2008.77.
[27] Wu, Peng, Lin, Huimin. Model-based testing of concurrent programs with predicate sequencing constraints. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING[J]. 2006, 第 1 作者 通讯作者 16(5): 727-746, https://www.webofscience.com/wos/woscc/full-record/WOS:000241963600005.
[28] 李娜娜, 吴鹏. 软件可移植性工程与度量. 情报科学[J]. 2005, 第 2 作者23(2): 268-273, http://lib.cqvip.com/Qikan/Article/Detail?id=11693926.
[29] 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, 第 1 作者16(7): 1210-1220, http://lib.cqvip.com/Qikan/Article/Detail?id=16146564.
[30] 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 ） 数字电网可信基础设施的建模与分析关键技术, 负责人, 境内委托项目, 2023-10--2026-03
（ 2 ） 安全攸关软件框架验证的数学方法与应用, 参与, 国家任务, 2022-12--2027-11
（ 3 ） 针对数字电网应用中智能算法的评测原理, 负责人, 境内委托项目, 2022-03--2024-09
（ 4 ） XX智能控制系统形式设计验证理论及应用, 参与, 国家任务, 2019-06--2022-06
（ 5 ） 内生安全应用构造技术, 参与, 国家任务, 2019-01--2020-12
（ 6 ） 验证、交互和证明（对外合作重点项目）, 负责人, 中国科学院计划, 2017-11--2022-12
（ 7 ） 高安全可信移动终端操作系统安全防护关键技术研究, 参与, 国家任务, 2017-07--2020-06
（ 8 ） 确定性表达式及其子类的理论问题与工具研究, 参与, 国家任务, 2015-01--2018-12
（ 9 ） 安全攸关软件系统的构造与质量保障方法研究, 参与, 国家任务, 2014-01--2018-12
（ 10 ） 基于测试用例多样性的并发软件适应性测试方法研究, 负责人, 国家任务, 2012-01--2014-12
（ 11 ） 基于逻辑的新型计算模型, 参与, 国家任务, 2012-01--2016-12
（ 2 ） 安全攸关软件框架验证的数学方法与应用, 参与, 国家任务, 2022-12--2027-11
（ 3 ） 针对数字电网应用中智能算法的评测原理, 负责人, 境内委托项目, 2022-03--2024-09
（ 4 ） XX智能控制系统形式设计验证理论及应用, 参与, 国家任务, 2019-06--2022-06
（ 5 ） 内生安全应用构造技术, 参与, 国家任务, 2019-01--2020-12
（ 6 ） 验证、交互和证明（对外合作重点项目）, 负责人, 中国科学院计划, 2017-11--2022-12
（ 7 ） 高安全可信移动终端操作系统安全防护关键技术研究, 参与, 国家任务, 2017-07--2020-06
（ 8 ） 确定性表达式及其子类的理论问题与工具研究, 参与, 国家任务, 2015-01--2018-12
（ 9 ） 安全攸关软件系统的构造与质量保障方法研究, 参与, 国家任务, 2014-01--2018-12
（ 10 ） 基于测试用例多样性的并发软件适应性测试方法研究, 负责人, 国家任务, 2012-01--2014-12
（ 11 ） 基于逻辑的新型计算模型, 参与, 国家任务, 2012-01--2016-12