Verifix: Verified Repair of Programming Assignments.
ACM Trans. Softw. Eng. Methodol., 2022
Synthesizing Tasks for Block-based Programming.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Characterizing the pedagogical benefits of adaptive feedback for compilation errors by novice programmers.
Proceedings of the ICSE-SEET 2020: 42nd International Conference on Software Engineering, Software Engineering Education and Training, Seoul, South Korea, 27 June, 2020
MACER: A Modular Framework for Accelerated Compilation Error Repair.
Proceedings of the Artificial Intelligence in Education - 21st International Conference, 2020
Re-Factoring Based Program Repair Applied to Programming Assignments.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Targeted Example Generation for Compilation Errors.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Compilation error repair: for the student programs, from the student programs.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training, 2018
A feasibility study of using automated program repair for introductory programming assignments.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis.
CoRR, 2016
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Automatically Generating Problems and Solutions for Natural Deduction.
Proceedings of the IJCAI 2013, 2013
Can Modern Statistical Parsers Lead to Better Natural Language Understanding for Education?
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2012
Challenges in Designing Input Method Editors for Indian Lan-guages: The Role of Word-Origin and Context.
Proceedings of the Workshop on Advances in Text Input Methods, 2011