Ke Wang

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 12

Top Topics

Theorem Proving

Introductory Programming

University Courses

Top Venues

Proc. ACM Program. Lang.

Publications

Md. Rafiqul Islam Rabin, Nghi D. Q. Bui, Ke Wang, Yijun Yu, Lingxiao Jiang, Mohammad Amin Alipour
On the generalizability of Neural Program Models with respect to semantic-preserving program transformations. Inf. Softw. Technol. 135 (2021)
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su
Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Ke Wang, Zhendong Su
Blended, precise semantic program embeddings. PLDI (2020)
Md. Rafiqul Islam Rabin, Ke Wang, Mohammad Amin Alipour
Testing Neural Programs. CoRR (2019)
Ke Wang, Zhendong Su
Learning Blended, Precise Semantic Program Embeddings. CoRR (2019)
Ke Wang, Rishabh Singh, Zhendong Su
Search, align, and repair: data-driven feedback generation for introductory programming exercises. PLDI (2018)
Ke Wang, Rishabh Singh, Zhendong Su
Dynamic Neural Program Embeddings for Program Repair. ICLR (Poster) (2018)
Ke Wang, Zhendong Su
Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs. CoRR (2017)
Ke Wang, Benjamin Lin, Bjorn Rettig, Paul Pardi, Rishabh Singh
Data-Driven Feedback Generator for Online Programing Courses. L@S (2017)
Ke Wang, Rishabh Singh, Zhendong Su
Dynamic Neural Program Embedding for Program Repair. CoRR (2017)
Ke Wang, Rishabh Singh, Zhendong Su
Data-Driven Feedback Generation for Introductory Programming Exercises. CoRR (2017)
Ke Wang, Zhendong Su
Dimensionally Guided Synthesis of Mathematical Word Problems. IJCAI (2016)
Ke Wang, Zhendong Su
Automatic Generation of Raven's Progressive Matrices. IJCAI (2015)
Ke Wang, Zhendong Su
Automated Geometry Theorem Proving for Human-Readable Proofs. IJCAI (2015)