Assertion Recommendation for Formal Program Verification. - Cong Wang 020; Fei He 001; Xiaoyu Song; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001 (COMPSAC (1), 2017)

Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. - Cong Wang 020; Yu Jiang 001; Xibin Zhao; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ICSE (Companion Volume), 2018)

Statically-Directed Assertion Recommendation for C Programs. - Cong Wang 020; Le Kang; Renwei Zhang; Weiliang Yin (COMPSAC (1), 2019)

Go-Sanitizer: Bug-Oriented Assertion Generation for Golang. - Cong Wang 020; Hao Sun 021; Yiwen Xu; Yu Jiang 001; Huafeng Zhang; Ming Gu 001 (ISSRE Workshops, 2019)

Go-clone: graph-embedding based clone detector for Golang. - Cong Wang 020; Jian Gao 008; Yu Jiang 001; Zhenchang Xing; Huafeng Zhang; Weiliang Yin; Ming Gu 001; Jiaguang Sun 001 (ISSTA, 2019)

Escape from escape analysis of Golang. - Cong Wang 020; Mingrui Zhang; Yu Jiang 001; Huafeng Zhang; Zhenchang Xing; Ming Gu 001 (ICSE (SEIP), 2020)

HEALER: Relation Learning Guided Kernel Fuzzing. - Hao Sun 021; Yuheng Shen; Cong Wang 020; Jianzhong Liu; Yu Jiang 001; Ting Chen 002; Aiguo Cui (SOSP, 2021)

Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker. - Jian Gao 008; Yu Jiang 001; Zhe Liu 001; Xin Yang; Cong Wang 020; Xun Jiao; Zijiang Yang 006; Jiaguang Sun 001 (IEEE Trans. Software Eng., 2021)