中国科学院软件研究所（计算机科学国家重点实验室）导师蔡彦介绍
作者：科大科院考研网 发表时间：2019-09-29 来源：研招办
中科院考研推荐链接：
考研资料：中科院考研真题
考研信息：找个直系学长，咨询考研问题
考研一对一：学长带队，复习不累
导师介绍：
研究领域
程序分析与测试、软件安全等
招生信息
招收 2020 入学推免生，软件测试、并发分析、安全等方面，有意者请邮件联系
招生专业
081202-计算机软件与理论
083500-软件工程
083500-软件工程
招生方向
并发程序分析, 软件测试理论, 程序安全
教育背景
2010-09--2014-08 香港城市大学 博士
2009-10--2010-03 日本熊本大学 Research Student
2005-09--2009-07 山东大学 学士
2009-10--2010-03 日本熊本大学 Research Student
2005-09--2009-07 山东大学 学士
专利与奖励
奖励信息
（1） CCF NASAC-东软 青年软件创新奖, 其他, 2018
（2） 优秀导师（中国科学院软件研究所）, 研究所（学校）, 2018
（3） ACM SIGSOFT CAPS Travel Award, 一等奖, 专项, 2014
（4） Outstanding Academic Performance Award, 一等奖, 研究所（学校）, 2013
（5） Research Tuition Scholarship, 一等奖, 研究所（学校）, 2013
（2） 优秀导师（中国科学院软件研究所）, 研究所（学校）, 2018
（3） ACM SIGSOFT CAPS Travel Award, 一等奖, 专项, 2014
（4） Outstanding Academic Performance Award, 一等奖, 研究所（学校）, 2013
（5） Research Tuition Scholarship, 一等奖, 研究所（学校）, 2013
专利成果
（ 1 ） 一种用于数据竞争检测的程序调度方法, 发明, 2018, 第 1 作者, 专利号: 201510399123.1
（ 2 ） 一种基于锁提前获取的死锁自动修复方法, 发明, 2018, 第 1 作者, 专利号: 201610069697.7
（ 3 ） 一种基于硬件和线程本地时序的数据竞争采样检测方法, 发明, 2018, 第 1 作者, 专利号: 201610565161.4
（ 2 ） 一种基于锁提前获取的死锁自动修复方法, 发明, 2018, 第 1 作者, 专利号: 201610069697.7
（ 3 ） 一种基于硬件和线程本地时序的数据竞争采样检测方法, 发明, 2018, 第 1 作者, 专利号: 201610565161.4
出版信息
发表论文
（1） sCompile: Critical Path Identification and Analysis for Smart Contracts, ICFEM’19, 2019, 第 5 作者
（2） Detecting Concurrency Memory Corruption Vulnerabilities, The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019), 2019, 第 1 作者
（3） Detecting Bugs by Discovering Expectations and Their Violations., IEEE Transactions on Software Engineering (IEEE TSE), 2018, 第 6 作者
（4） NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection., The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2018, 第 5 作者
（5） AtexRace: Across Thread and Execution Sampling for In-house Race Detection, The 11th Joint Meeting of the European Software Engineering Conference and The ACM SigSoft Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), 2017, 第 1 作者
（6） Adaptively Generating High Quality Fixes for Atomicity Violations, The 11th Joint Meeting of the European Software Engineering Conference and The ACM SigSoft Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), 2017, 第 1 作者
（7） Dynamic Testing for Deadlocks via Constraints, IEEE Transactions on Software Engineering (TSE), 2016, 第 1 作者
（8） AntMiner: Mining More Bugs by Reducing Noise Interference, The 38th International Conference on Software Engineering (ICSE), 2016, 第 4 作者
（9） Fixing Deadlocks via Lock Pre-Acquisitions, The 38th International Conference on Software Engineering (ICSE), 2016, 第 1 作者
（10） 5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing, Journal of Systems and Software (JSS), 2016, 第 2 作者
（11） The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), Radius Aware Probabilistic Testing of Deadlocks with Guarantees, 2016, 第 1 作者
（12） The 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), A Deployable Sampling Strategy for Data Race Detection, 2016, 第 1 作者
（13） ASN: A Dynamic Barrier-based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs, IEEE Transactions on Parallel and Distributed Systems (TPDS), 2015, 第 1 作者
（14） A Subsumption Hierarchy of Test Case Prioritization for Composite Services, IEEE Transactions on Services Computing (TSC), 2015, 第 2 作者
（15） Effective and Precise Dynamic Detection of Hidden Races for Java Programs., 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2015, 第 1 作者
（16） Magiclock: Scalable Detection of Potential Deadlocks in Large-Scale Multithreaded Programs, IEEE Transactions on Software Engineering (TSE), 2014, 第 1 作者
（17） ConLock: A Constraint-based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs, The 36th International Conference on Software Engineering (ICSE 2014), 2014, 第 1 作者
（18） Lock Trace Reduction for Multithreaded Programs, IEEE Transactions on Parallel and Distributed Systems (TPDS), 2013, 第 1 作者
（19） Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs, International Journal of Web Services Research (IJWSR), 2013, 第 2 作者
（20） In Quest of the Science in Statistical Fault Localization, Software: Practice and Experience (SPE), 2013, 第 2 作者
（21） Taming Deadlocks in Multithreaded Programs, The 13th International Conference on Quality Software 2013 (QSIC 2013), 2013, 第 1 作者
（22） Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions, The 20th IEEE International Conference on Web Services (ICWS 2013), 2013, 第 2 作者
（23） TeamWork: Synchronizing Threads Globally to Detect Real Deadlocks for Multithreaded Programs, The 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2013), 2013, 第 1 作者
（24） MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications, The 34th International Conference on Software Engineering (ICSE 2012), 2012, 第 1 作者
（25） LOFT: Redundant Synchronization Event Removal for Data Race Detection, The 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011), 2011, 第 1 作者
（2） Detecting Concurrency Memory Corruption Vulnerabilities, The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019), 2019, 第 1 作者
（3） Detecting Bugs by Discovering Expectations and Their Violations., IEEE Transactions on Software Engineering (IEEE TSE), 2018, 第 6 作者
（4） NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection., The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2018, 第 5 作者
（5） AtexRace: Across Thread and Execution Sampling for In-house Race Detection, The 11th Joint Meeting of the European Software Engineering Conference and The ACM SigSoft Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), 2017, 第 1 作者
（6） Adaptively Generating High Quality Fixes for Atomicity Violations, The 11th Joint Meeting of the European Software Engineering Conference and The ACM SigSoft Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), 2017, 第 1 作者
（7） Dynamic Testing for Deadlocks via Constraints, IEEE Transactions on Software Engineering (TSE), 2016, 第 1 作者
（8） AntMiner: Mining More Bugs by Reducing Noise Interference, The 38th International Conference on Software Engineering (ICSE), 2016, 第 4 作者
（9） Fixing Deadlocks via Lock Pre-Acquisitions, The 38th International Conference on Software Engineering (ICSE), 2016, 第 1 作者
（10） 5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing, Journal of Systems and Software (JSS), 2016, 第 2 作者
（11） The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), Radius Aware Probabilistic Testing of Deadlocks with Guarantees, 2016, 第 1 作者
（12） The 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), A Deployable Sampling Strategy for Data Race Detection, 2016, 第 1 作者
（13） ASN: A Dynamic Barrier-based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs, IEEE Transactions on Parallel and Distributed Systems (TPDS), 2015, 第 1 作者
（14） A Subsumption Hierarchy of Test Case Prioritization for Composite Services, IEEE Transactions on Services Computing (TSC), 2015, 第 2 作者
（15） Effective and Precise Dynamic Detection of Hidden Races for Java Programs., 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2015, 第 1 作者
（16） Magiclock: Scalable Detection of Potential Deadlocks in Large-Scale Multithreaded Programs, IEEE Transactions on Software Engineering (TSE), 2014, 第 1 作者
（17） ConLock: A Constraint-based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs, The 36th International Conference on Software Engineering (ICSE 2014), 2014, 第 1 作者
（18） Lock Trace Reduction for Multithreaded Programs, IEEE Transactions on Parallel and Distributed Systems (TPDS), 2013, 第 1 作者
（19） Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs, International Journal of Web Services Research (IJWSR), 2013, 第 2 作者
（20） In Quest of the Science in Statistical Fault Localization, Software: Practice and Experience (SPE), 2013, 第 2 作者
（21） Taming Deadlocks in Multithreaded Programs, The 13th International Conference on Quality Software 2013 (QSIC 2013), 2013, 第 1 作者
（22） Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions, The 20th IEEE International Conference on Web Services (ICWS 2013), 2013, 第 2 作者
（23） TeamWork: Synchronizing Threads Globally to Detect Real Deadlocks for Multithreaded Programs, The 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2013), 2013, 第 1 作者
（24） MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications, The 34th International Conference on Software Engineering (ICSE 2012), 2012, 第 1 作者
（25） LOFT: Redundant Synchronization Event Removal for Data Race Detection, The 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011), 2011, 第 1 作者
科研活动
科研项目
（ 1 ） 数据竞争的主动检测技术, 主持, 国家级, 2016-01--2018-12
（ 2 ） 融合动态执行和语义推理的软件演化错误定位及应用研究, 参与, 国家级, 2016-01--2019-12
（ 3 ） 安全攸关软件系统的构造与质量保障方法研究, 参与, 国家级, 2014-01--2018-12
（ 4 ） 中科院青年促进会项目, 主持, 部委级, 2017-01--2020-12
（ 5 ） 安全攸关软件的缺陷定位与分析, 参与, 国家级, 2016-01--2018-08
（ 6 ） 中国科协青年人才托举工程, 主持, 国家级, 2017-01--2019-12
（ 7 ） 漏洞XXX项目, 参与, 国家级, 2019-01--2020-12
（ 8 ） 并发程序概率测试新方法, 主持, 部委级, 2019-09--2024-09
（ 9 ） 智能软件系统的数据驱 动测试方法与技术, 主持, 国家级, 2020-01--2024-12
（ 2 ） 融合动态执行和语义推理的软件演化错误定位及应用研究, 参与, 国家级, 2016-01--2019-12
（ 3 ） 安全攸关软件系统的构造与质量保障方法研究, 参与, 国家级, 2014-01--2018-12
（ 4 ） 中科院青年促进会项目, 主持, 部委级, 2017-01--2020-12
（ 5 ） 安全攸关软件的缺陷定位与分析, 参与, 国家级, 2016-01--2018-08
（ 6 ） 中国科协青年人才托举工程, 主持, 国家级, 2017-01--2019-12
（ 7 ） 漏洞XXX项目, 参与, 国家级, 2019-01--2020-12
（ 8 ） 并发程序概率测试新方法, 主持, 部委级, 2019-09--2024-09
（ 9 ） 智能软件系统的数据驱 动测试方法与技术, 主持, 国家级, 2020-01--2024-12
