Fengjuan Gao, Hongyu Chen, Yuewei Zhou, Ke Wang, "Shoot Yourself in the Foot — Efficient Code Causes Inefficiency in Compiler Optimizations”
the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE),
2024.
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, and Linzhang Wang, "Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks”
Proceedings of the ACM on Programming Languages Issue Object Oriented Programming Systems Languages and Applications (OOPSLA),
2024.
Yu Wang, Ke Wang, and Linzhang Wang, "An Explanation Method for Models of Code”
Proceedings of the ACM on Programming Languages Issue Object Oriented Programming Systems Languages and Applications (OOPSLA),
2023.
Fengjuan Gao, Yu Wang, and Ke Wang, "Discrete Adversarial Attack to Models of Code”,
Proceedings of the 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI),
2023.
Yizhen Wang, Mohannad Alhanahnah, Xiaozhu Meng, Ke Wang, Mihai Christodorescu, and Somesh Jha, "Robust Learning against Relational Adversaries”
Thirty-Sixth Conference on Neural Information Processing Systems (NeurIPS),
2022.
Oral Paper Presentation
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, and Zhendong Su, "Fully Automated Functional Fuzzing of Android Apps for Detecting Non-Crashing Logic Bugs”
Proceedings of the ACM on Programming Languages Issue Object Oriented Programming Systems Languages and Applications (OOPSLA),
2021.
Ziyang Li, Aravind Machiry, Binghong Chen, Mayur Naik, Ke Wang, and Le Song, "ARBITRAR: User-Guided API Misuse Detection”
42nd IEEE Symposium on Security and Privacy (S&P),
2021.
Md Rafiqul Islam Rabin, Nghi DQ Bui, Ke Wang, Yijun Yu, Lingxiao Jiang, and Mohammad Amin Alipour, "On the Generalizability of Neural Program Models with respect to Semantic-preserving Program Transformations”
Information and Software Technology (IST),
2021.
Yu Wang*, Ke Wang*, Fengjuan Gao, and Linzhang Wang, "Learning Semantic Program Embeddings with Graph Interval Neural Network”
Proceedings of the ACM on Programming Languages Issue Object Oriented Programming Systems Languages and Applications (OOPSLA),
2020.
(* denotes parallel first author)
ACM SIGPLAN Distinguished Paper Award
Ke Wang and Zhendong Su, "Blended, Precise Semantic Program Embeddings”,
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI),
2020.
Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song and Ke Wang, "Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Program”,
8th International Conference on Learning Representations (ICLR),
2020.
Ke Wang, "Learning Scalable, Precise Semantic Program Embeddings”, 2019.
Ke Wang and Mihai Christodorescu, "COSET: A Benchmark for Evaluating Neural Program Embeddings ”, 2019.
Md Rafiqul Islam Rabin, Ke Wang, Mohammad Amin Alipour, "Testing Neural Programs”, The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE Late Breaking Resutls), 2019.
Ke Wang, Rishabh Singh and Zhendong Su, "Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises”,
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI),
2018. (Only Student Author)
Ke Wang, Rishabh Singh and Zhendong Su, "Dynamic Neural Program Embedding for Program Repair”,
6th International Conference on Learning Representations (ICLR),
2018. (Only Student Author)
Ke Wang, Benjamin Lin, Bjorn Rettig, Paul Pardi and Rishabh Singh, "Data-Driven Feedback Generator for
Online Programming Courses”,
Proceedings of the Fourth ACM Conference on Learning @ Scale (L@S), 2017. (Only Student Author)
Ke Wang and Zhendong Su, "Dimensionally Guided Synthesis of Mathematical Word Problems”,
Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI),
2016. (Only Student Author)
Ke Wang and Zhendong Su, “Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs", 2015.(Only Student Author)
Ke Wang and Zhendong Su, "Automated geometry theorem proving for human-readable proofs”, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), 2015. (Only Student Author)
Ke Wang and Zhendong Su, "Automatic Generation of Ravens Progressive Matrices”, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), 2015. (Only Student Author)