2022
Verifix: Verified Repair of Programming Assignments.
ACM Trans. Softw. Eng. Methodol., 2022

2020
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

2019
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

2018
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

2017
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

2016
Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis.
CoRR, 2016

2015
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2013
Automatically Generating Problems and Solutions for Natural Deduction.
Proceedings of the IJCAI 2013, 2013

2012
Can Modern Statistical Parsers Lead to Better Natural Language Understanding for Education?
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2012

2011
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