| Hoppity: Learning graph transformations to detect and fix bugs in programs E Dinella, H Dai, Z Li, M Naik, L Song, K Wang International conference on learning representations (ICLR), 2020 | 243 | 2020 |
| Dynamic Neural Program Embedding for Program Repair K Wang, R Singh, Z Su International Conference on Learning Representations (ICLR), 2017 | 163 | 2017 |
| Search, align, and repair: data-driven feedback generation for introductory programming exercises K Wang, R Singh, Z Su Proceedings of the 39th ACM SIGPLAN conference on programming language …, 2018 | 122 | 2018 |
| Calculating an entity'S location size via social graph S Guo, B Yan, AC Lai, K Wang US Patent 10,044,775, 2018 | 100 | 2018 |
| On the generalizability of neural program models with respect to semantic-preserving program transformations MRI Rabin, NDQ Bui, K Wang, Y Yu, L Jiang, MA Alipour Information and Software Technology 135, 106552, 2021 | 87 | 2021 |
| 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 | 69 | 2020 |
| Blended, precise semantic program embeddings K Wang, Z Su Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 66 | 2020 |
| Automatic generation of raven’s progressive matrices K Wang, Z Su Twenty-fourth international joint conference on artificial intelligence, 2015 | 57 | 2015 |
| How training data affect the accuracy and robustness of neural networks for image classification S Lei, H Zhang, K Wang, Z Su | 48 | 2019 |
| Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs T Su, Y Yan, J Wang, J Sun, Y Xiong, G Pu, K Wang, Z Su Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-31, 2021 | 44 | 2021 |
| Automated geometry theorem proving for human-readable proofs K Wang, Z Su Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 36 | 2015 |
| Coset: A benchmark for evaluating neural program embeddings K Wang, M Christodorescu arXiv preprint arXiv:1905.11445, 2019 | 34 | 2019 |
| Learning blended, precise semantic program embeddings K Wang, Z Su arXiv preprint arXiv:1907.02136, 2019 | 24 | 2019 |
| Learning scalable and precise representation of program semantics K Wang arXiv preprint arXiv:1905.05251, 2019 | 24 | 2019 |
| Arbitrar: User-guided api misuse detection Z Li, A Machiry, B Chen, M Naik, K Wang, L Song 2021 IEEE Symposium on Security and Privacy (SP), 1400-1415, 2021 | 23 | 2021 |
| Data-driven feedback generator for online programing courses K Wang, B Lin, B Rettig, P Pardi, R Singh Proceedings of the Fourth (2017) ACM Conference on Learning@ Scale, 257-260, 2017 | 22 | 2017 |
| Testing neural program analyzers MRI Rabin, K Wang, MA Alipour arXiv preprint arXiv:1908.10711, 2019 | 17 | 2019 |
| Dimensionally Guided Synthesis of Mathematical Word Problems. K Wang, Z Su IJCAI, 2661-2668, 2016 | 17 | 2016 |
| Learning a static bug finder from data Y Wang, F Gao, L Wang, K Wang arXiv preprint arXiv:1907.05579, 2019 | 15 | 2019 |
| 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 | 10 | 2023 |
Zhendong SuProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
