基本信息

蔡彦

研究员、博导

软件研究所(计算机科学国家重点实验室)


电话: (+86) 010-6266 1614
邮箱: yancai [AT] ios.ac.cn

主页: http://yancai.site

研究领域

程序分析与测试、软件安全等


招生信息

招收 2023 入学推免生(硕士生、博士生),程序分析与测试、软件安全等方向!

招生专业
083500-软件工程
081202-计算机软件与理论
083900-网络空间安全
招生方向
并发程序分析, 软件测试理论, 软件安全

教育背景

2010-09--2014-08 香港城市大学 博士
2009-10--2010-03 日本熊本大学 Research Student
2005-09--2009-07 山东大学 学士

出版信息

   
发表论文
[1] He Liang, Hong Hu, Su Purui, Cai Yan, Zhenkai Liang. FREEWILL: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting Detection on Binaries. 31st USENIX Security Symposium (USENIX Security 22)null. 2022, [2] Liu Yang, Xu Zisen, Fan Ming, Hao Yu, Chen Kai, Chen Hao, Cai Yan, Yang Zijiang, Liu Ting. ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs. IEEE TRANSACTIONS ON RELIABILITY[J]. 2022, 71(2): 1174-1188, [3] Yuan Ming, Lee Yeseop, Zhang Chao, Yun Li, Cai Yan, Zhao Bodong. RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis. ISSTAnull. 2021, [4] Yu Kunpeng, Wang Chenxu, Cai Yan, Luo Xiapu, Yang Zijiang. Detecting Concurrency Vulnerabilities Based on Partial Orders of Memory and Thread Events. The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)null. 2021, [5] Cai Yan, Yun Hao, Wang Jinqiu, Qiao Lei, Jens Palsberg. Sound and Efficient Concurrency Bug Prediction. The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)null. 2021, [6] Ren Meng, Yin Zijing, Ma Fuchen, Xu Zhenyang, Jiang Yu, Sun Chengnian, Li Huizhong, Cai Yan. Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?. The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)null. 2021, [7] Cai, Yan, Tang, Yutian, Li, Haicheng, Yu, Le, Zhou, Hao, Luo, Xiapu, He, Liang, Su, Purui, Kontogiannis, K, Khomh, F, Chatzigeorgiou, A, Fokaefs, ME, Zhou, M. Resource Race Attacks on Android. PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20)null. 2020, 47-58, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000568240800005.
[8] Bian, Pan, Liang, Bin, Zhang, Yan, Yang, Chaoqun, Shi, Wenchang, Cai, Yan. Detecting Bugs by Discovering Expectations and Their Violations (vol 45, pg 984, 2019). IEEE TRANSACTIONS ON SOFTWARE ENGINEERINGnull. 2020, 46(1): 113-113, https://www.webofscience.com/wos/woscc/full-record/WOS:000508392800007.
[9] Bayley, Ian, Cai, Yan, Machado, Patricia. Special section on testing and repair for software engineering technologies and applications. SOFTWARE QUALITY JOURNALnull. 2020, 28(2): 821-822, https://www.webofscience.com/wos/woscc/full-record/WOS:000510349500001.
[10] Cai Yan. Low-Overhead Deadlock Prediction. The 42nd International Conference on Software Engineering (ICSE'20). 2020, [11] Cai Yan, Zhu Biyun, Meng Ruijie, Yun Hao, He Liang, Su Purui, Liang Bin, Dumas M, Pfahl D, Apel S, Russo A. Detecting Concurrency Memory Corruption Vulnerabilities. ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERINGnull. 2019, 706-717, http://dx.doi.org/10.1145/3338906.3338927.
[12] Bian, Pan, Liang, Bin, Zhang, Yan, Yang, Chaoqun, Shi, Wenchang, Cai, Yan. Detecting Bugs by Discovering Expectations and Their Violations. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING[J]. 2019, 45(10): 984-1001, https://www.webofscience.com/wos/woscc/full-record/WOS:000502113300003.
[13] 张健, 张超, 玄跻峰, 熊英飞, 王千祥, 梁彬, 李炼, 窦文生, 陈振邦, 陈立前, 蔡彦. 程序分析研究进展. 软件学报. 2019, 30(1): 80-109, http://lib.cqvip.com/Qikan/Article/Detail?id=7001388130.
[14] Meng, Ruijie, Zhu, Biyun, Yun, Hao, Li, Haicheng, Cai, Yan, Yang, Zijiang, IEEE. CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities. 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019)null. 2019, 1154-1157, http://dx.doi.org/10.1109/ASE.2019.00125.
[15] Bian, Pan, Liang, Bin, Shi, Wenchang, Huang, Jianjun, Cai, Yan, Leavens, GT, Garcia, A, Pasareanu, CS. NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection. ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERINGnull. 2018, 411-422, http://dx.doi.org/10.1145/3236024.3236032.
[16] Guo, Yu, Cai, Yan, Yang, Zijiang, Bodden, E, Schafer, W, VanDeursen, A, Zisman, A. AtexRace: Across Thread and Execution Sampling for In-House Race Detection. ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERINGnull. 2017, 315-325, http://dx.doi.org/10.1145/3106237.3106242.
[17] Cai, Yan, Cao, Lingwei, Zhao, Jing, Bodden, E, Schafer, W, VanDeursen, A, Zisman, A. Adaptively Generating High Quality Fixes for Atomicity Violations. ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERINGnull. 2017, 303-314, http://dx.doi.org/10.1145/3106237.3106239.
[18] Liang Bin, Bian Pan, Zhang Yan, Shi Wenchang, You Wei, Cai Yan, IEEE. AntMiner: Mining More Bugs by Reducing Noise Interference. 2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)null. 2016, 333-344, [19] Cai, Yan, Lu, Qiong. Dynamic Testing for Deadlocks via Constraints. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING[J]. 2016, 42(9): 825-842, https://www.webofscience.com/wos/woscc/full-record/WOS:000384666100002.
[20] Cai Yan, Cao Lingwei, IEEE. Fixing Deadlocks via Lock Pre-Acquisitions. 2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)null. 2016, 1109-1120, [21] Cai Yan. The 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016). A Deployable Sampling Strategy for Data Race Detection. 2016, [22] Cai Yan. The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016). Radius Aware Probabilistic Testing of Deadlocks with Guarantees. 2016, [23] Jia, Changjiang, Cai, Yan, Yu, Yuen Tak, Tse, T H. 5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing. JOURNAL OF SYSTEMS AND SOFTWARE[J]. 2016, 116: 206-219, http://dx.doi.org/10.1016/j.jss.2015.01.058.
[24] Cai Yan. 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, [25] Mei, Lijun, Cai, Yan, Jia, Changjiang, Jiang, Bo, Chan, W K, Zhang, Zhenyu, Tse, T H. A Subsumption Hierarchy of Test Case Prioritization for Composite Services. IEEE TRANSACTIONS ON SERVICES COMPUTING[J]. 2015, 8(5): 658-673, https://www.webofscience.com/wos/woscc/full-record/WOS:000362791500002.
[26] Cai, Yan, Jia, Changjiang, Wu, Shangru, Zhai, Ke, Chan, W K. ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS[J]. 2015, 26(1): 13-23, https://www.webofscience.com/wos/woscc/full-record/WOS:000348206700002.
[27] Cai Yan. ConLock: A Constraint-based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs. The 36th International Conference on Software Engineering (ICSE 2014). 2014, [28] Cai, Yan, Chan, W K. Magiclock: Scalable Detection of Potential Deadlocks in Large-Scale Multithreaded Programs. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING[J]. 2014, 40(3): 266-281, https://www.webofscience.com/wos/woscc/full-record/WOS:000334666500004.
[29] Cai Yan. Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions. The 20th IEEE International Conference on Web Services (ICWS 2013). 2013, [30] Chan, W K, Cai, Yan. In quest of the science in statistical fault localization. SOFTWARE-PRACTICE & EXPERIENCE[J]. 2013, 43(8): 971-987, https://www.webofscience.com/wos/woscc/full-record/WOS:000328984900005.
[31] Mei, Lijun, Cai, Yan, Jia, Changjiang, Jiang, Bo, Chan, W K. Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs. INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH[J]. 2013, 10(1): 73-102, https://www.webofscience.com/wos/woscc/full-record/WOS:000327473700005.
[32] Cai, Yan, Chan, W K. Lock Trace Reduction for Multithreaded Programs. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS[J]. 2013, 24(12): 2407-2417, https://www.webofscience.com/wos/woscc/full-record/WOS:000326501400010.
[33] Cai, Yan, Zhai, Ke, Wu, Shangru, Chan, W K. TeamWork: Synchronizing Threads Globally to Detect Real Deadlocks for Multithreaded Programs. ACM SIGPLAN NOTICES[J]. 2013, 48(8): 311-312, https://www.webofscience.com/wos/woscc/full-record/WOS:000324158900042.
[34] Cai Yan, Chan W K, Yu Y T, Gotlieb A, Chen Z. Taming Deadlocks in Multithreaded Programs. 2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC)null. 2013, 276-279, [35] Cai Yan, Chan W K, Glinz M, Murphy G, Pezze M. MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications. 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)null. 2012, 606-616, [36] Cai Yan, Chan W K, IEEE. LOFT: Redundant Synchronization Event Removal for Data Race Detection. 22ND IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE)null. 2011, 160-169, http://dx.doi.org/10.1109/ISSRE.2011.12.
[37] Chang, Jialiang, Gao, Bo, Xiao, Hao, Sun, Jun, Yang, Zijiang. sCompile: Critical Path Identification and Analysis for Smart Contracts. http://arxiv.org/abs/1808.00624.

指导学生

已指导学生

曹玲微  硕士研究生  081203-计算机应用技术  

朱碧云  硕士研究生  081202-计算机软件与理论  

李海成  硕士研究生  085211-计算机技术  

孟瑞杰  硕士研究生  083500-软件工程  

云昊  硕士研究生  083500-软件工程  

现指导学生

祝世豪  博士研究生  083500-软件工程  

张旭东  博士研究生  083500-软件工程  

王金秋  硕士研究生  083500-软件工程  

郭宇祺  博士研究生  083500-软件工程  

卫思为  硕士研究生  083500-软件工程