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

接收2025级硕士生

• 中国科学院软件研究所

• 国科大杭州高等研究院智能科学与技术学院

• 国科大现代产业学院

智能软件分析与测试，安全攸关软件验证与测试
安全攸关软件验证与测试

   

2010-07~现在, 中国科学院软件研究所, 副研究员
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） Accurate Fairness: Improving Individual Fairness without Trading Accuracy, AAAI 2023, 2023, 第 2 作者  通讯作者
（3） VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects, TASE 2023, 2023, 第 3 作者
（4） An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs, ACM Transactions on Software Engineering and Methodology, 2023, 第 6 作者
（5） TSO 内存模型下限界可线性化的可判定性研究, 软件学报, 2022, 第 3 作者
（6） Adversarial Input Detection Based on Critical Transformation Robustness, ISSRE 2022, 2022, 第 3 作者  通讯作者
（7） 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） An iterative metamorphic testing technique for web services and case studies, INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES, 2020, 第 6 作者
（10） Decidability of linearizabilities for relaxed data structures, SCIENCE CHINA-INFORMATION SCIENCES, 2018, 第 3 作者
（11） Diversity driven adaptive test generation for concurrent data structures, INFORMATION AND SOFTWARE TECHNOLOGY, 2018, 第 2 作者  通讯作者
（12） Interleaving-Tree Based Fine-Grained Linearizability Fault Localization, SETTA 2018, 2018, 第 1 作者  通讯作者
（13） TSO-to-TSO linearizability is undecidable, ACTA INFORMATICA, 2018, 第 3 作者
（14） Decomposable Relaxation for Concurrent Data Structures, SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2017, 第 3 作者
（15） Localization of Linearizability Faults on the Coarse-Grained Level, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2017, 第 2 作者  通讯作者
（16） Synthesizing Coalitions for Multi-agent Games, IFM 2017, 2017, 第 1 作者  通讯作者
（17） Modelling and Analysis of Network Security - an Algebraic Approach, 2016 IEEE TRUSTCOM/BIGDATASE/ISPA, 2016, 第 3 作者
（18） 基于扩展RED图的概率时间自动机可达性分析, Reachability Analysis of Probabilistic Timed Automata Based on Extended RED Diagrams, 计算机系统应用, 2016, 第 3 作者
（19） 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 作者
（20） 并发软件适应性随机测试方法, Adaptive Random Testing for Multi-Threaded Concurrent Programs, 计算机系统应用, 2015, 第 2 作者
（21） Input-driven Active Testing of Multi-threaded Programs, 2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015), 2015, 第 2 作者
（22） TSO-to-TSO Linearizability Is Undecidable, AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 第 3 作者
（23） Efficiently and Completely Verifying Synchronized Consistency Models, AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, 2014, 第 5 作者
（24） ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS, INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013, 第 4 作者  通讯作者
（25） Model Checking Optimisation-Based Congestion Control Models, Fundamenta Informaticae, 2010, 第 1 作者  通讯作者
（26） Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2009, 第 4 作者
（27） model-based testing of concurrent programs with predicate sequencing constraints, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2006, 第 1 作者  通讯作者
（28） 软件可移植性工程与度量, Software Portability Engineering: Concepts and Measurements, 情报科学, 2005, 第 2 作者
（29） 关于蜕变测试和特殊用例测试的实例研究, Metamorphic Testing and Special Case Testing: A Case Study, JOURNAL OF SOFTWARE, 2005, 第 1 作者
（30） Analyzing interoperability of protocols using model checking, CHINESE JOURNAL OF ELECTRONICS, 2005, 

   

（ 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

http://lcs.ios.ac.cn/~wp