Zhongyi Wang

Ph.D. Candidate

Zhejiang University

I am currently a Ph.D. student at the Formal Verification Group. My research focuses on static program analysis where, in particular, I develop formal techniques for automating the procedure of abstract interpretation for analyzing C/C++ programs.

Interests

Abstract Interpretation
Static Analysis
Automated Verification
Programming Theory/Languages

Education

Ph.D. in Software Engineering, 2028

Zhejiang University
M.Sc. in Software Engineering, 2025

Zhejiang University
B.Sc. in Bioinformatics, 2023

Shanghai Jiao Tong University

Conference Papers

Yutao Sun, Mingshuai Chen, Tiancheng Zhao, Kangjia Zhao, He Li, Jintao Chen, Zhongyi Wang, Liqiang Lu, Xinkui Zhao, Shuiguang Deng, Jianwei Yin (2025). Horae: A Domain-Agnostic Language for Automated Service Regulation. In IJCAI 2025. Cite Code Dataset
Zhongyi Wang, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin (2024). Parf: Adaptive Parameter Refining for Abstract Interpretation. In ASE 2024. PDF Cite Code Slides Video DOI 2nd Prize@ChinaSoft'24