Umair Z. Ahmed

According to our database, Umair Z. Ahmed authored at least 13 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Verifix: Verified Repair of Programming Assignments.

Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury

ACM Trans. Softw. Eng. Methodol., 2022

2020

Synthesizing Tasks for Block-based Programming.

Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla

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.

Umair Z. Ahmed, Nisheeth Srivastava, Renuka Sindhgatta, Amey Karkare

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.

Darshak Chhatbar, Umair Z. Ahmed, Purushottam Kar

Proceedings of the Artificial Intelligence in Education - 21st International Conference, 2020

2019

Re-Factoring Based Program Repair Applied to Programming Assignments.

Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Targeted Example Generation for Compilation Errors.

Umair Z. Ahmed, Renuka Sindhgatta, Nisheeth Srivastava, Amey Karkare

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.

Umair Z. Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani

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.

Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, Abhik Roychoudhury

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.

Rajdeep Das, Umair Z. Ahmed, Amey Karkare, Sumit Gulwani

CoRR, 2016

2015

Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.

Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2013

Automatically Generating Problems and Solutions for Natural Deduction.

Umair Z. Ahmed, Sumit Gulwani, Amey Karkare

Proceedings of the IJCAI 2013, 2013

2012

Can Modern Statistical Parsers Lead to Better Natural Language Understanding for Education?

Umair Z. Ahmed, Arpit Kumar, Monojit Choudhury, Kalika Bali

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.

Umair Z. Ahmed, Kalika Bali, Monojit Choudhury, Sowmya V. B.

Proceedings of the Workshop on Advances in Text Input Methods, 2011