I am currently a third-year Ph.D. student at the Dept. of Computer Science, the University of Southern California (USC), fortunately to be advised by Prof. Chao Wang. I interned at Meta, where I worked on profiling the contention in Free-Threaded Python. 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, Programming Language, and Formal Methods. Specifically, I aim to improve the reliability and robustness of software by leveraging program analysis and verification techniques.
🔥 News
- 05/2025: 🎉🎉 Started my summer internship at Meta!
- 01/2025: 🎉🎉 Invited to serve on PLDI AEC in 2025.
- 10/2024: 🎉🎉 Our paper got accepted by POPL 2025!
- 08/2024: 🎉🎉 Awarded USENIX Security Distinguished Artifact Reviewer!
📖 Educations
- 2023.08 - current, Ph.D. in Computer Science, Department of Computer Science, University of Southern California.
- 2023.08 - 2025.05, Master of Science in Computer Science, Department of Computer Science, University of Southern California.
- 2017.09 - 2021.06, B.E. in Cybersecurity, School of Cyber Science and Engineering, Sichuan University.
💻 Experiences
- 2025.05 - 2025.08, PhD Software Engineer Intern at Meta, Menlo Park, CA.
- 2024.05 - 2024.06, Thirteenth Summer School on Formal Techniques, Menlo College, CA.
- 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
- Efficient Symbolic Execution of Software under Fault Attacks, Yuzhou Fang, Chenyu Zhou, Jingbo Wang, Chao Wang, under submission.
- An Incremental Algorithm for Algebraic Program Analysis, Chenyu Zhou, Yuzhou Fang, Jingbo Wang, Chao Wang, 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, ACM TOSEM, Elsevier FGCS.
- Program Committee: PLDI AEC’25, ICSE AEC’25, VALID 2025, 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.