Eric Zitong Zhou (周子童)

I am a third-year Ph.D. student in Computer Science at UCLA advised by Professor Miryung Kim. My research interests broadly span Software Engineering, Programming Languages, Compilers, and Machine Learning. My goal is to build practical testing and program analysis tools that help developers better understand and verify software behaviors. Prior to UCLA, I did my master's at the University of Illinois (Go Illini!), working with Prof. Sasa Misailovic on the analysis of probabilistic programs.

Feel free to shoot me an email at \(\text{zitongzhou}\ at\ \text{cs.ucla.edu}\), or check out Github. Here is my CV (last updated Jan, 2026).

Publications

1. Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation
   Zitong Zhou*, Matteo Paltenghi*, Miryung Kim, Michael Pradel.
   International Conference on Software Engineering (ICSE) 2026.
   *Equal contribution.
   [arxiv] [paper]
2. Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
   Zitong Zhou, Ben Limpanukorn, Hong Jin Kang, Jiyuan Wang, Yaoxuan Wu, Akos Kiss, Renata Hodovan, Miryung Kim.
   Preprint.
   [arxiv] [paper]
3. Fuzzing MLIR Compilers with Custom Mutation Synthesis
   Ben Limpanukorn, Jiyuan Wang, Hong Jin Kang, Zitong Zhou, Miryung Kim.
   International Conference on Software Engineering (ICSE) 2025.
   [arxiv] [paper]
4. Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference.
   Zitong Zhou, Zixin Huang, Sasa Misailovic.
   International Symposium on Automated Technology for Verification and Analysis (ATVA) 2023.
   [paper]