Precise Divide-By-Zero Detection with Affirmative Evidence. - Yiyuan Guo; Jinguo Zhou; Peisen Yao; Qingkai Shi; Charles Zhang 001 (ICSE, 2022)

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. - Heqing Huang 002; Yiyuan Guo; Qingkai Shi; Peisen Yao; Rongxin Wu; Charles Zhang 001 (SP, 2022)

Precise Compositional Buffer Overflow Detection via Heap Disjointness. - Yiyuan Guo; Peisen Yao; Charles Zhang 001 (ISSTA, 2024)

Titan : Efficient Multi-target Directed Greybox Fuzzing. - Heqing Huang 002; Peisen Yao; Hung-Chun Chiu; Yiyuan Guo; Charles Zhang 001 (SP, 2024)

A Method for Retrieving Cloud Microphysical Properties Using Combined Measurement of Millimeter-Wave Radar and Lidar. - Weiqi Lin; Qianshan He; Tiantao Cheng; Haojun Chen; Chao Liu; Jie Liu; Zhecheng Hong; Xinrong Hu; Yiyuan Guo (Remote. Sens., 2024)