Chenyu Zhou

周辰宇

About Me

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. Generally I like Programming Language techniques with theoretical forms and guarantees.

Interested Areas: Program Analysis and Formal Verification

Education

Publication

  • An Incremental Algorithm for Algebraic Program Analysis
    Chenyu Zhou, Yuzhou Fang, Jingbo Wang, Chao Wang
    conditionally accepted by 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (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
    International Conference on Machine Learning (ICML), 2023
  • Academic Experience & Service

    PC/AEC Experience

    Reviewer

    Other Experiences

    L3H_Sec -- HUST CTF Team

    Teaching Assistant

    Competitive Programming

    MISC

    Side Projects

    These are some preprints and side project, which are usually from some random ideas or some interesting problems I met in daily life.
  • Exploring Neuron Interactions and Emergence in LLMs: From the Multifractal Analysis Perspective
    Xiongye Xiao, Chenyu Zhou, Heng Ping, Defu Cao, Yaxing Li, Yizhuo Zhou, Shixuan Li, Paul Bogdan
    Arxiv Preprint