Zhouyue Sun

According to our database, Zhouyue Sun authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Array-Carrying Symbolic Execution for Function Contract Generation.

Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Affine Disjunctive Invariant Generation with Farkas' Lemma.

Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen, Guoqiang Li

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025