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 | 250 | 2020 |
Dynamic Neural Program Embedding for Program Repair K Wang, R Singh, Z Su International Conference on Learning Representations (ICLR), 2017 | 167 | 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 | 125 | 2018 |
Calculating an entity'S location size via social graph S Guo, B Yan, AC Lai, K Wang US Patent 10,044,775, 2018 | 97 | 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 | 92 | 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 | 71 | 2020 |
Blended, precise semantic program embeddings K Wang, Z Su Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 69 | 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 | 53 | 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 | 49 | 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 scalable and precise representation of program semantics K Wang arXiv preprint arXiv:1905.05251, 2019 | 26 | 2019 |
Learning blended, precise semantic program embeddings K Wang, Z Su arXiv preprint arXiv:1907.02136, 2019 | 25 | 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 | 24 | 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 |
Dimensionally Guided Synthesis of Mathematical Word Problems. K Wang, Z Su IJCAI, 2661-2668, 2016 | 18 | 2016 |
Testing neural program analyzers MRI Rabin, K Wang, MA Alipour arXiv preprint arXiv:1908.10711, 2019 | 17 | 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 | 15 | 2023 |
Learning a static bug finder from data Y Wang, F Gao, L Wang, K Wang arXiv preprint arXiv:1907.05579, 2019 | 15 | 2019 |