I am a third-year Ph.D. candidate in Computer Science at the University of Southern California (USC), where I am fortunate to work with Prof. Chao Wang. Before joining USC, I worked as a Research Assistant at the Chinese University of Hong Kong and the Hong Kong University of Science and Technology. I received my B.E. in Cybersecurity from the School of Cyber Science and Engineering, Sichuan University, in 2021.
My Ph.D. research lies at the intersection of Software Engineering, Programming Languages, and Formal Methods. Broadly, I work on applying program analysis to improve the reliability and security of software systems from both qualitative and quantitative perspectives.
My recent focus is on AI compilers. I am currently an Applied Scientist Intern at Annapurna Labs (AWS), working on the AWS Neuron Compiler for Trainium chips. Previously, I interned at Meta, where I worked with a talented team on the Python Runtime, for Free-Threaded Python.
🔥 News
- 05/2026: 🎉🎉 Joined Annapurna Labs (AWS) as an Applied Scientist Intern for Summer 2026.
- 04/2026: 🎉🎉 One paper accepted to ECOOP 2026.
- 12/2025: 🎉🎉 Passed my Ph.D. qualifying exam.
- 05/2025: 🎉🎉 Joined Meta as a PhD Software Engineer Intern for Summer 2025.
📖 Education
- 2023.08 - current, Ph.D. 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.
💻 Experience
- 2026.05 - present, Applied Scientist Intern at Annapurna Labs (AWS), Cupertino, CA.
- 2025.05 - 2025.08, Ph.D. 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 - 2019.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, To Appear in ECOOP 2026.
- 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.