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

研究领域

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

招生信息

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

工作经历

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

教授课程

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

出版信息

   
发表论文
(1) An Iterative Metamorphic Testing Technique for Web Services and Case Studies, Int. J. Web and Grid Services, 2020, 第 6 作者
(2) Fairness Testing of Machine Learning Models Using Deep Reinforcement Learning, TrustCom 2020, 2020, 通讯作者
(3) Localization of Linearizability Faults on the Coarse-Grained Level, International Journal of Software Engineering and Knowledge Engineering, 2018, 通讯作者
(4) Diversity driven adaptive test generation for concurrent data structures, Information and Software Technology, 2018, 通讯作者
(5) Interleaving-Tree Based Fine-Grained Linearizability Fault Localization, SETTA 2018, 2018, 通讯作者
(6) TSO-to-TSO Linearizability is Undecidable, Acta Informatica, 2018, 第 3 作者
(7) Decidability of Linearizabilities for Relaxed Data Structures, Science China Information Sciences, 2018, 第 3 作者
(8) Synthesizing Coalitions for Multi-agent Games, IFM 2017, 2017, 通讯作者
(9) Localization of Linearizability Faults on the Coarse-Grained Level, SEKE 2017, 2017, 通讯作者
(10) Decomposable Relaxation for Concurrent Data Structures, SOFSEM 2017, 2017, 第 3 作者
(11) An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata, ICECCS 2016, 2016, 通讯作者
(12) Modelling and Analysis of Network Security - an Algebraic Approach, IEEE TrustCom-16, 2016, 第 3 作者
(13) Input-driven Active Testing of Multi-threaded Programs, APSEC 2015, 2015, 通讯作者
(14) TSO-to-TSO Linearizability is Undecidable, ATVA 2015, 2015, 第 3 作者
(15) Efficiently and Completely Verifying Synchronized Consistency Models, ATVA 2014, 2014, 第 5 作者
(16) Assume-Guarantee Verification with Local Specifications, International Journal of Foundations of Computer Science, 2013, 通讯作者
(17) Model Checking Optimisation-Based Congestion Control Models, Fundamenta Informaticae, 2010, 通讯作者
(18) Model Checking Probabilistic and Stochastic Extensions of the Pi-calculus, IEEE Transactions on Software Engineering, 2009, 通讯作者
(19) Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints, International Journal of Software Engineering and Knowledge Engineering, 2006, 第 1 作者
(20) Analyzing Interoperability of Protocols Using Model Checking, The Chinese Journal of Electronics, 2005, 第 1 作者
(21) Metamorphic Testing and Special Case Testing: A Case Study, Journal of Software, 2005, 第 1 作者

科研活动

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