招收2026级博士生 1 名（普博，2026年1月9日前联系报名）。
研究方向：软件测试（基于AI的软件测试）、智能软件系统分析与测试、软件安全、RISC-V软件等。
I am interested in testing and analyzing large-scale programs, such as detection of concurrency issues and security bugs, with traditional or AI-based approaches.
- AI and AI based Systems
- Autonomous Driving (ISSTA 2023).
- AI and ML (ICSE 2026b, AAAI 2025, ICML 2024, ICSE 2016b, ESEC/FSE 2018, IEEE TSE 2019).
- Concurrency
- General algorithms (ICSE 2025, ACM TOSEM 2023, ESEC/FSE 2021a, ICSE 2023).
- Deadlocks (ICSE 2020, ICSE 2012, IEEE TSE 2014, ASE 2016, TSE 2016, ICSE 2014, IEEE TPDS 2015, PPoPP 2013, ICSE 2012).
- Security
- Concurrency vulnerabilities: ICSE 2024, ESEC/FSE 2019, ESEC/FSE 2021b, ISSTA 2021a.
- Software vulnerabilities: ICSE 2026a, SANER 2020, USENIX 2022, IEEE TRel 2022, SOSP 2023, CCS 2024.
Service (more)
- Associate Editor, Journal of Systems and Software (JSS)
- PC Member: AAAI 2026, ICSE 2026, ASE 2025, FSE 2025 … see more at: https://conf.researchr.org/profile/yancai
- Reviewers: KDD 2026, KDD 2025.
Recent Publications (more)
- Luxia Lin, Xudong Zhang, Shihao Zhu, Yan Cai. Metamorphic Fuzzing for Multi-Agent Path Finding Algorithms. ICSE ’26. Accepted.
- Siwei Wei, Yan Cai. Generator Solving for Symbolic Execution. ICSE ’26. Accepted.
- Zhiyang Zhou, Siwei Wei, Xudong Zhang, Wensheng Dou, Muzi Qu, Yan Cai. Training Deep Neural Networks with Virtual Smoothing Classes. AAAI ’25.
- Shihao Zhu, Yuqi Guo, Yan Cai, Bin Liang, Long Zhang, Rui Chen, and Tingting Yu. Reduce Dependence for Sound Concurrency Bug Prediction. ICSE‘25.