I am currently a Ph.D. student at the Dept. of Computer Science, the University of Southern California (USC), fortunately to be advised by Prof. Chao Wang. Prior to USC, I did two RAs at the Chinese University of Hong Kong (CUHK) and the Hong Kong University of Science and Technology (HKUST), respectively, advised by Prof. Daoyuan Wu and Prof. Shuai Wang. I received my B.E. in Cybersecurity from the School of Cyber Science and Engineering, Sichuan University, in 2021.
My research interest lies in the intersection of Software Engineering, Formal Methods, and Programming Language. Specifically, I aim to improve the reliability and robustness of software by leveraging program analysis and verification techniques.
🔥 News
- 2024.08: 🎉🎉 I will be serving on the ICSE AEC program committee in 2025.
- 2024.01: 🎉🎉 I will be serving on the CAV AEC program committee in 2024.
- 2023.11: 🎉🎉 Welcome to my new homepage!
📖 Educations
- 2023.08 - current, Department of Computer Science, University of Southern California.
- 2017.09 - 2021.06, School of Cyber Science and Engineering, Sichuan University.
💻 Experiences
- 2022.10 - 2023.08, Research Assistant, the Hong Kong University of Science and Technology.
- 2021.10 - 2022.10, Research Assistant, the Chinese University of Hong Kong.
- 2019.07 - 20219.08, Visiting Student, National University of Singapore.
📝 Publications
- An Incremental Algorithm for Algebraic Program Analysis, Chenyu Zhou, Yuzhou Fang, Jingbo Wang and Chao Wang, To apper in POPL 2025.
- Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts, Yuzhou Fang, Daoyuan Wu, Xiao Yi, Shuai Wang, Yufan Chen, Mengjie Chen, Yang Liu, Lingxiao Jiang, ISSTA 2023.
- BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects, Xiao Yi, Yuzhou Fang, Daoyuan Wu, Lingxiao Jiang (2023), NDSS 2023.
- An Empirical Study of Blockchain System Vulnerabilities: Modules, Types, and Patterns, Xiao Yi, Daoyuan Wu, Lingxiao Jiang, Yuzhou Fang, Kehuan Zhang, Zhang Wei, FSE 2022.
- A novel framework for detecting social bots with deep neural networks and active learning, Yuhao Wu, Yuzhou Fang, Shuaikang Shang, Jin, JIng, Wei, Lai, Haizhou Wang, KBS 2021.
- Detecting Social Spammers in Sina Weibo Using Extreme Deep Factorization Machine, Yuhao Wu, Yuzhou Fang, Shuaikang Shang, Wei, Lai, Jin, Jing, Haizhou Wang, WISE 2020.
💬 Services
- Journal Reviewer: IEEE TIFS, IEEE TDSC, Elsevier FGCS.
- Program Committee: ICSE AEC’25, USENIX Security’24 AEC, CAV’24 AEC, ECOOP’24 AEC, ISSTA’24 AEC.
- External Review: PRDC’22, TSE’22’23, RAID’23, ICICS’23, FSE’23’24, CC’24, ICSE’24, ASE’24, ISSTA’25.
😁 Honors and Awards
- USENIX Security Distinguished Artifact Reviewer, 2024.
- CAV Verification Mentoring Workshop (VMW) Scholarship, 2024.
- ACM SigSOFT CAPS Travel Grant, ESEC/FSE, 2022.