Iām a second-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
- 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
- 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.