| Semantic learning and emulation based cross-platform binary vulnerability seeker J Gao, Y Jiang, Z Liu, X Yang, C Wang, X Jiao, Z Yang, J Sun IEEE Transactions on Software Engineering 47 (11), 2575-2589, 2019 | 19 | 2019 |
| Assertion recommendation for formal program verification C Wang, F He, X Song, Y Jiang, M Gu, J Sun 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC …, 2017 | 11 | 2017 |
| Go-clone: graph-embedding based clone detector for Golang C Wang, J Gao, Y Jiang, Z Xing, H Zhang, W Yin, M Gu, J Sun Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 9 | 2019 |
| Weak-assert: A weakness-oriented assertion recommendation toolkit for program analysis C Wang, Y Jiang, X Zhao, X Song, M Gu, J Sun Proceedings of the 40th International Conference on Software Engineering …, 2018 | 9 | 2018 |
| Escape from Escape Analysis of Golang. C Wang, M Zhang, Y Jiang, H Zhang, Z Xing, M Gu the International Conference on Software Engineering (ICSE 2020), 2020 | 5 | 2020 |
| Statically-directed assertion recommendation for c programs C Wang, L Kang, R Zhang, W Yin 2019 ieee 43rd annual computer software and applications conference (compsac …, 2019 | 3 | 2019 |
| Go-Sanitizer: Bug-Oriented Assertion Generation for Golang C Wang, H Sun, Y Xu, Y Jiang, H Zhang, M Gu 2019 IEEE International Symposium on Software Reliability Engineering …, 2019 | 2 | 2019 |
Yu JiangTsinghua UniversityEmail yang diverifikasi di mail.tsinghua.edu.cn