| 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 | 163 | 2020 |
| Dynamic Neural Program Embedding for Program Repair K Wang, R Singh, Z Su International Conference on Learning Representations (ICLR), 2017 | 128 | 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 | 87 | 2018 |
| Calculating an entity'S location size via social graph S Guo, B Yan, AC Lai, K Wang US Patent 10,044,775, 2018 | 80 | 2018 |
| 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 | 47 | 2020 |
| Blended, precise semantic program embeddings K Wang, Z Su Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 46 | 2020 |
| 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 | 41 | 2021 |
| Automatic generation of raven’s progressive matrices K Wang, Z Su Twenty-fourth international joint conference on artificial intelligence, 2015 | 40 | 2015 |
| Automated geometry theorem proving for human-readable proofs K Wang, Z Su Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 37 | 2015 |
| How training data affect the accuracy and robustness of neural networks for image classification S Lei, H Zhang, K Wang, Z Su | 30 | 2019 |
| Coset: A benchmark for evaluating neural program embeddings K Wang, M Christodorescu arXiv preprint arXiv:1905.11445, 2019 | 29 | 2019 |
| Learning blended, precise semantic program embeddings K Wang, Z Su arXiv preprint arXiv:1907.02136, 2019 | 22 | 2019 |
| Learning scalable and precise representation of program semantics K Wang arXiv preprint arXiv:1905.05251, 2019 | 21 | 2019 |
| 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 | 19 | 2017 |
| 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 | 17 | 2021 |
| Testing neural program analyzers MRI Rabin, K Wang, MA Alipour arXiv preprint arXiv:1908.10711, 2019 | 15 | 2019 |
| Learning a static bug finder from data Y Wang, F Gao, L Wang, K Wang arXiv preprint arXiv:1907.05579, 2019 | 12 | 2019 |
| Dimensionally Guided Synthesis of Mathematical Word Problems. K Wang, Z Su IJCAI, 2661-2668, 2016 | 12 | 2016 |
| 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 | 9 | 2021 |
| Testing neural program analyzers. 34th IEEE MRI Rabin, K Wang, MA Alipour ACM International Conference on Automated Software Engineering (Late …, 2019 | 5* | 2019 |
Zhendong SuProfessor of Computer Science, ETH ZurichVahvistettu sähköpostiosoite verkkotunnuksessa inf.ethz.ch
