招聘:博士后,欢迎联系
招生:2023年入学博士生、硕士生
研究方向:软件安全、程序分析与测试、RISC-V软件等
I am interested in testing and analyzing large-scale programs, such as detection of concurrency issues and security bugs. My main works are as follows:
- Concurrency
- General algorithms for detecting concurrency bugs (ESEC/FSE 2021a).
- Deadlock detection, from prediction (ICSE 2020, ICSE 2012, IEEE TSE 2014) to isolation (ASE 2016, TSE 2016, ICSE 2014, IEEE TPDS 2015, PPoPP 2013, ICSE 2012).
- High quality strategy for concurrency bug fixing/repair: FSE 2017a, ICSE 2016a.
- Data race detection, such as sampling and active detection: FSE 2017b, FSE 2016, FSE 2015.
- Security
- Understand concurrency vulnerabilities: ESEC/FSE 2019, ESEC/FSE 2021b, ISSTA 2021a.
- Understand vulnerabilities on Android: SANER 2020.
- Mining
- Rule based bug mining (ICSE 2016b, ESEC/FSE 2018, IEEE TSE 2019).
Service (more)
- Editorial Board member, Journal of Systems and Software (JSS).
- Organizing Committee: ICSE 2022 (Artifact Evaluation Co-Chair)
- PC Member: ESEC/FSE 2022, ICSE 2022 Demo, Saner 2022 .
Recent Publications (more)
- Liang He, Hong Hu, Purui Su, Yan Cai, and Zhenkai Liang. FreeWill: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting Detection on Binaries. USENIX Security’22, 2022.
- Yan Cai, Hao Yun, Jinqiu Wang, Lei Qiao, and Jens Palsberg. Sound and Efficient Concurrency Bug Prediction. ESEC/FSE’21, 2021.
- Kunpeng Yu, Chenxu Wang, Yan Cai, Xiapu Luo, and Zijiang Yang. Detecting Concurrency Vulnerabilities Based on Partial Orders of Memory and Thread Events. ESEC/FSE’21, 2021.
- Ming Yuan, Yeseop Lee, Chao Zhang, Yun Li, Yan Cai, and Bodong Zhao. RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis. ISSTA’21, 2021.
- Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, and Yan Cai. Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? ISSTA’21, 2021.
- Yutian Tang, Hao Zhou, Xiapu Luo, Ting Chen, Haoyu Wang, Zhou Xu, and Yan Cai. XDebloat: Towards Automated Feature-Oriented App Debloating. IEEE TSE, 2021.
- Yang Liu, Ming Fan, Ting Liu, Yu Hao, Zisen Xu, Kai Chen, Hao Chen, and Yan Cai. ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs. QRS, 2021. Best Paper Award.