Precise Learning of Source Code Contextual Semantics via Hierarchical Dependence Structure and Graph Attention Networks. - Zhehao Zhao; Bo Yang; Ge Li 001; Huai Liu; Zhi Jin (J. Syst. Softw., 2022)

Towards Robustness of Deep Program Processing Models - Detection, Estimation, and Enhancement. - Huangzhao Zhang; Zhiyi Fu; Ge Li 001; Lei Ma 003; Zhehao Zhao; Hua'an Yang; Yizhe Sun; Yang Liu 003; Zhi Jin (ACM Trans. Softw. Eng. Methodol., 2022)

Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. - Ningyu He; Zhehao Zhao; Jikai Wang; Yubin Hu 003; Shengjian Guo; Haoyu Wang 001; Guangtai Liang; Ding Li 001; Xiangqun Chen; Yao Guo 001 (ISSTA, 2023)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries. - Ningyu He; Zhehao Zhao; Hanqin Guan; Jikai Wang; Shuo Peng; Ding Li 001; Haoyu Wang 001; Xiangqun Chen; Yao Guo 001 (ISSTA, 2024)

A programming framework for distributed computing continuum systems. - Zhehao Zhao; Yifeng Chen (Sci. Comput. Program., 2026)