Automatic Generation of Raven's Progressive Matrices. - Ke Wang 022; Zhendong Su 001 (IJCAI, 2015)

Automated Geometry Theorem Proving for Human-Readable Proofs. - Ke Wang 022; Zhendong Su 001 (IJCAI, 2015)

Dimensionally Guided Synthesis of Mathematical Word Problems. - Ke Wang 022; Zhendong Su 001 (IJCAI, 2016)

Data-Driven Feedback Generator for Online Programing Courses. - Ke Wang 022; Benjamin Lin; Bjorn Rettig; Paul Pardi; Rishabh Singh (L@S, 2017)

Data-Driven Feedback Generation for Introductory Programming Exercises. - Ke Wang 022; Rishabh Singh; Zhendong Su 001 (CoRR, 2017)

Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs. - Ke Wang 022; Zhendong Su 001 (CoRR, 2017)

Dynamic Neural Program Embedding for Program Repair. - Ke Wang 022; Rishabh Singh; Zhendong Su 001 (CoRR, 2017)

Dynamic Neural Program Embeddings for Program Repair. - Ke Wang 022; Rishabh Singh; Zhendong Su 001 (ICLR (Poster), 2018)

Search, align, and repair: data-driven feedback generation for introductory programming exercises. - Ke Wang 022; Rishabh Singh; Zhendong Su 001 (PLDI, 2018)

Learning Blended, Precise Semantic Program Embeddings. - Ke Wang 022; Zhendong Su 001 (CoRR, 2019)

Learning a Static Bug Finder from Data. - Yu Wang 093; Fengjuan Gao; Linzhang Wang; Ke Wang 022 (CoRR, 2019)

Testing Neural Programs. - Md. Rafiqul Islam Rabin; Ke Wang 022; Mohammad Amin Alipour (CoRR, 2019)

Blended, precise semantic program embeddings. - Ke Wang 022; Zhendong Su 001 (PLDI, 2020)

Learning semantic program embeddings with graph interval neural network. - Yu Wang 093; Ke Wang 022; Fengjuan Gao; Linzhang Wang (Proc. ACM Program. Lang., 2020)

On the generalizability of Neural Program Models with respect to semantic-preserving program transformations. - Md. Rafiqul Islam Rabin; Nghi D. Q. Bui; Ke Wang 022; Yijun Yu; Lingxiao Jiang; Mohammad Amin Alipour (Inf. Softw. Technol., 2021)

Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs. - Ting Su 001; Yichen Yan; Jue Wang; Jingling Sun; Yiheng Xiong; Geguang Pu; Ke Wang 022; Zhendong Su 001 (Proc. ACM Program. Lang., 2021)

Demystifying What Code Summarization Models Learned. - Yu Wang 093; Ke Wang 022 (CoRR, 2023)

Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software. - Yu Wang 093; Fengjuan Gao; Linzhang Wang; Tingting Yu 001; Ke Wang 022; Jianhua Zhao; Xuandong Li (CoRR, 2023)

Discrete Adversarial Attack to Models of Code. - Fengjuan Gao; Yu Wang 093; Ke Wang 022 (Proc. ACM Program. Lang., 2023)

An Explanation Method for Models of Code. - Yu Wang 093; Ke Wang 022; Linzhang Wang (Proc. ACM Program. Lang., 2023)

Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks. - Qian Chen; Chenyang Yu; Ruyan Liu; Chi Zhang 073; Yu Wang 093; Ke Wang 022; Ting Su 001; Linzhang Wang (Proc. ACM Program. Lang., 2024)