Cong Wang

According to our database, Cong Wang authored at least 8 papers between 2017 and 2021.

Collaborative distances:

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

2021

Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker.

Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun

IEEE Trans. Software Eng., 2021

HEALER: Relation Learning Guided Kernel Fuzzing.

Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, Aiguo Cui

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

2020

Escape from escape analysis of Golang.

Cong Wang, Mingrui Zhang, Yu Jiang, Huafeng Zhang, Zhenchang Xing, Ming Gu

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019

Go-clone: graph-embedding based clone detector for Golang.

Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Go-Sanitizer: Bug-Oriented Assertion Generation for Golang.

Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

Statically-Directed Assertion Recommendation for C Programs.

Cong Wang, Le Kang, Renwei Zhang, Weiliang Yin

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis.

Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Assertion Recommendation for Formal Program Verification.

Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017