| An empirical study on TensorFlow program bugs Y Zhang, Y Chen, SC Cheung, Y Xiong, L Zhang Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 324 | 2018 |
| Accelerating Program Analyses in Datalog by Merging Library Facts Y Chen, C Yang, X Zhang, Y Xiong, H Tang, X Wang, L Zhang International Static Analysis Symposium, 77-101, 2021 | 5 | 2021 |
