招收2025级直博生 1 名。
研究方向：软件测试、软件安全、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:
- AI and AI based Systems
- Testing Autonomous Driving (ISSTA 2023).
- TTA (ICML 2024).
- Rule based bug mining (ICSE 2016b, ESEC/FSE 2018, IEEE TSE 2019).
- Concurrency
- General algorithms for detecting concurrency bugs (ACM TOSEM 2023, ESEC/FSE 2021a, ICSE 2023).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).
- Security
- Concurrency vulnerabilities: ICSE 2024, ESEC/FSE 2019, ESEC/FSE 2021b, ISSTA 2021a.
- Others: SANER 2020, USENIX 2022, IEEE TRel 2022, SOSP 2024.
Service (more)
- Associate Editor, Journal of Systems and Software (JSS)
- PC Member: ASE 2024, ICSE 2025.
Recent Publications (more)
- Siwei Wei, Xudong Zhang, Zhiyang Zhou, Yan Cai. Extending Test-Time Augmentation with Metamorphic Relations for Combinatorial Problems. ICML’24. 2024. Spotlight Paper
- Yuqi Guo, Shihao Zhu, Yan Cai, Liang He, and Jian Zhang. Reorder Pointer Flow in Sound Concurrency Bug Prediction. ICSE’24. 2024.