| Learning semantic program embeddings with graph interval neural network Y Wang, K Wang, F Gao, L Wang Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020 | 71 | 2020 |
| Automatic detection and validation of race conditions in interrupt-driven embedded software Y Wang, L Wang, T Yu, J Zhao, X Li Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | 39 | 2017 |
| Automatic detection, validation, and repair of race conditions in interrupt-driven embedded software Y Wang, F Gao, L Wang, T Yu, J Zhao, X Li IEEE Transactions on Software Engineering 48 (1), 346-363, 2020 | 18 | 2020 |
| Discrete adversarial attack to models of code F Gao, Y Wang, K Wang Proceedings of the ACM on Programming Languages 7 (PLDI), 172-195, 2023 | 15 | 2023 |
| Carraybound: Static array bounds checking in c programs based on taint analysis F Gao, T Chen, Y Wang, L Situ, L Wang, X Li Proceedings of the 8th Asia-Pacific Symposium on Internetware, 81-90, 2016 | 13 | 2016 |
| Dangdone: Eliminating dangling pointers via intermediate pointers Y Wang, F Gao, L Situ, L Wang, B Chen, Y Liu, J Zhao, X Li Proceedings of the 10th Asia-Pacific Symposium on Internetware, 1-10, 2018 | 11 | 2018 |
| Detecting data races in interrupt-driven programs based on static analysis and dynamic simulation Y Wang, J Shi, L Wang, J Zhao, X Li Proceedings of the 7th Asia-Pacific Symposium on Internetware, 199-202, 2015 | 11 | 2015 |
| Automatic buffer overflow warning validation FJ Gao, Y Wang, LZ Wang, Z Yang, XD Li Journal of Computer Science and Technology 35, 1406-1427, 2020 | 6 | 2020 |
| An Explanation Method for Models of Code Y Wang, K Wang, L Wang Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 801-827, 2023 | 3 | 2023 |
| ACSPChecker: an ASP based CSP model checking tool L Situ, Y Wang, F Gao, L Wang, L Bu, J Zhao, X Li Proceedings of the 8th Asia-Pacific Symposium on Internetware, 99-102, 2016 | | 2016 |
