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, and my M.S. in Computer Science from USC in 2025. My research interest lies in the intersection of Software Engineering, Programming Language, and Formal Methods.
๐ฅ 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, M.Sc. 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.
๐ Selected 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.
๐ฌ 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.