Ke Wang

According to our database, Ke Wang authored at least 14 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs.

Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su

Proc. ACM Program. Lang., 2021

On the generalizability of Neural Program Models with respect to semantic-preserving program transformations.

Md. Rafiqul Islam Rabin, Nghi D. Q. Bui, Ke Wang, Yijun Yu, Lingxiao Jiang, Mohammad Amin Alipour

Inf. Softw. Technol., 2021

2020

Blended, precise semantic program embeddings.

Ke Wang, Zhendong Su

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Testing Neural Programs.

Md. Rafiqul Islam Rabin, Ke Wang, Mohammad Amin Alipour

CoRR, 2019

Learning Blended, Precise Semantic Program Embeddings.

Ke Wang, Zhendong Su

CoRR, 2019

2018

Search, align, and repair: data-driven feedback generation for introductory programming exercises.

Ke Wang, Rishabh Singh, Zhendong Su

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Dynamic Neural Program Embeddings for Program Repair.

Ke Wang, Rishabh Singh, Zhendong Su

Proceedings of the 6th International Conference on Learning Representations, 2018

2017

Dynamic Neural Program Embedding for Program Repair.

Ke Wang, Rishabh Singh, Zhendong Su

CoRR, 2017

Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs.

Ke Wang, Zhendong Su

CoRR, 2017

Data-Driven Feedback Generation for Introductory Programming Exercises.

Ke Wang, Rishabh Singh, Zhendong Su

CoRR, 2017

Data-Driven Feedback Generator for Online Programing Courses.

Ke Wang, Benjamin Lin, Bjorn Rettig, Paul Pardi, Rishabh Singh

Proceedings of the Fourth ACM Conference on Learning @ Scale, 2017

2016

Dimensionally Guided Synthesis of Mathematical Word Problems.

Ke Wang, Zhendong Su

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Automated Geometry Theorem Proving for Human-Readable Proofs.

Ke Wang, Zhendong Su

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Automatic Generation of Raven's Progressive Matrices.

Ke Wang, Zhendong Su

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015