About

Currently I am a Ph.D. Student from University of Southern California, Department of Computer Science, advised by Prof. Chao Wang.

I got my Bachelor degree from Huazhong University of Science and Technology in 2023. I am generally interested in Program Analysis and Verification, especially on algebraic tools and its theoretical aspect.

News

  • 2024.11: One paper got accepted at POPL 2025.
  • 2024.11: I will be at OOPSLA 2024 at Pasadena!
  • 2023.9: I started my Ph.D. at University of Southern California. Beautiful Los Angeles~

Education

  • 2023.9 - now: CS PhD Student at University of Southern California(USC), Thomas Lord Department of Computer Science.
  • 2019.9 - 2023.6: Bachelor of Engineering at Huazhong University of Science and Technology(HUST), School of Computer Science and Technology.

Publications

  • An Incremental Algorithm for Algebraic Program Analysis. Chenyu Zhou, Yuzhou Fang, Jingbo Wang, Chao Wang, POPL 2025.
  • On Strengthening and Defending Graph Reconstruction Attack with Markov Chain Approximation. Zhanke Zhou, Chenyu Zhou, Xuan Li, Jiangchao Yao, Quanming Yao, Bo Han, ICML 2023.

Academic Service

  • Journal Reviewer : TNNLS
  • AEC : USENIX Security’24, CAV’24, CCS’23
  • Reviewer : NeurIPS’24, ICLR’24

Other Experience

  • 2023, 2024: Teaching Assistant for CSCI 310: Software Engineering with Prof. Chao Wang at USC.
  • 2021: Teaching Assistant for CST 2261: Algorithm Design and Analysis with Prof. Teng Zhang at HUST.
  • 2024: Volunteer for OPLSS 2024.

Scholorship & Awards

  • Verification Mentoring Workshop(VMW) Scholarship at CAV 2024.
  • Oregon Programming Languages Summer School(OPLSS) Scholarship 2024.
  • 2022 CCF Outstanding College Student.
  • 2021 ACM-ICPC Asia Reginal Contest(Macau), Silver Award.
  • 2022 ASC Asia Supercomputer Contest, Second Class Prize.
  • National Olympiad in Informatics in Province(NOIP 2018, Jiangsu),First Prize

MISC

  • We have a USC-PLFM Reading Group, Feel free to join us if you are interested in!
  • New homepage photo was taken in San Francisco, credit to my labmate Jacqueline Mitchell.
  • During my Undergrad, I played CTF with Team L3H_Sec.
  • I am a member of the doujin club yukiha(雪羽) and the maintainer of the website.
  • I am a World of Warcraft Player, majoring in Marksmanship/Beast Mastery Hunter in BFA, ShadowLands, Dragon Flights and The War Within.