Follow
Ke Wang
Ke Wang
Visa Research
Verified email at ucdavis.edu - Homepage
Title
Cited by
Cited by
Year
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
2432020
Dynamic Neural Program Embedding for Program Repair
K Wang, R Singh, Z Su
International Conference on Learning Representations (ICLR), 2017
1632017
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
1222018
Calculating an entity'S location size via social graph
S Guo, B Yan, AC Lai, K Wang
US Patent 10,044,775, 2018
1002018
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
872021
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
692020
Blended, precise semantic program embeddings
K Wang, Z Su
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
662020
Automatic generation of raven’s progressive matrices
K Wang, Z Su
Twenty-fourth international joint conference on artificial intelligence, 2015
572015
How training data affect the accuracy and robustness of neural networks for image classification
S Lei, H Zhang, K Wang, Z Su
482019
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
442021
Automated geometry theorem proving for human-readable proofs
K Wang, Z Su
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
362015
Coset: A benchmark for evaluating neural program embeddings
K Wang, M Christodorescu
arXiv preprint arXiv:1905.11445, 2019
342019
Learning blended, precise semantic program embeddings
K Wang, Z Su
arXiv preprint arXiv:1907.02136, 2019
242019
Learning scalable and precise representation of program semantics
K Wang
arXiv preprint arXiv:1905.05251, 2019
242019
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
232021
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
222017
Testing neural program analyzers
MRI Rabin, K Wang, MA Alipour
arXiv preprint arXiv:1908.10711, 2019
172019
Dimensionally Guided Synthesis of Mathematical Word Problems.
K Wang, Z Su
IJCAI, 2661-2668, 2016
172016
Learning a static bug finder from data
Y Wang, F Gao, L Wang, K Wang
arXiv preprint arXiv:1907.05579, 2019
152019
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
102023
The system can't perform the operation now. Try again later.
Articles 1–20