Ke Wang: Publication

Yu Wang, Fengjuan Gao, Linzhang Wang and Ke 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.

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)