Iām a third-year PhD student supervised by Scientia Associate Professor Yulei Sui at School of Computer Science and Engineering, University of New South Wales.
My research interests include static analysis and formal verification, particularly focusing on the verification of deep neural networks (DNNs).
š„ News
- 2026.03: Ā šš Our work on mining verdict boundaries for DNN verification is accepted by FM 2026.
- 2024.01: Ā šš Our work on path-sensitive typestate analysis is accepted by FSE 2024.
- 2024.01: Ā šš Our work on quantum speedups on dynamic transitive closure-based static analysis is accepted by TOSEM.
š Publications
- Mining Verdict Boundaries for Neural Network Verification
Jiawei Ren, Guanqin Zhang, Zhenya Zhang, Yulei Sui
The 27th International Symposium on Formal Methods (FM ā26) - Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing
Xiao Cheng, Jiawei Ren, Yulei Sui
32nd ACM International Conference on the Foundations of Software Engineering (FSE ā24) - Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search
Jiawei Ren, Yulei Sui, Xiao Cheng, Yuan Feng, Jianjun Zhao
ACM Transactions on Software Engineering and Methodology (TOSEM)
š Educations
- 2023.05 - now, Doctor of Philosophy, Computer Science and Engineering, UNSW Sydney.
š» Experiences
- Tutor and lab demonstrator, 41184 Software Analysis Studio, UTS, 2024, 2025 and 2026.
- Reviewer of SAS 2025, TSE.