Follow
Amey Karkare
Amey Karkare
Faculty, Department of Computer Science, IIT Kanpur
Verified email at iitk.ac.in - Homepage
Title
Cited by
Cited by
Year
Compiler error messages considered unhelpful: The landscape of text-based programming error message research
BA Becker, P Denny, R Pettit, D Bouchard, DJ Bouvier, B Harrington, ...
Proceedings of the working group reports on innovation and technology in …, 2019
2152019
Program synthesis using natural language
A Desai, S Gulwani, V Hingorani, N Jain, A Karkare, M Marron, S Roy
Proceedings of the 38th International Conference on Software Engineering …, 2016
1832016
A feasibility study of using automated program repair for introductory programming assignments
J Yi, UZ Ahmed, A Karkare, SH Tan, A Roychoudhury
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
1452017
Compilation error repair: for the student programs, from the student programs
UZ Ahmed, P Kumar, A Karkare, P Kar, S Gulwani
Proceedings of the 40th International Conference on Software Engineering …, 2018
1222018
Automatic grading and feedback using program repair for introductory programming courses
S Parihar, Z Dadachanji, PK Singh, R Das, A Karkare, A Bhattacharya
Proceedings of the 2017 ACM conference on innovation and technology in …, 2017
1142017
Automatically generating problems and solutions for natural deduction
UZ Ahmed, S Gulwani, A Karkare
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
742013
Heap reference analysis using access graphs
UP Khedker, A Sanyal, A Karkare
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 1-es, 2007
662007
Prutor: A system for tutoring CS1 and collecting student programs for analysis
R Das, UZ Ahmed, A Karkare, S Gulwani
arXiv preprint arXiv:1608.03828, 2016
442016
Targeted example generation for compilation errors
UZ Ahmed, R Sindhgatta, N Srivastava, A Karkare
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
392019
Characterizing the pedagogical benefits of adaptive feedback for compilation errors by novice programmers
UZ Ahmed, N Srivastava, R Sindhgatta, A Karkare
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
332020
Scrawld: A dataset of real world ethereum smart contracts labelled with vulnerabilities
CS Yashavant, S Kumar, A Karkare
arXiv preprint arXiv:2202.11409, 2022
262022
Choosing code segments to exclude from code similarity detection
Simon, O Karnalim, J Sheard, I Dema, A Karkare, J Leinonen, M Liut, ...
Proceedings of the Working Group Reports on Innovation and Technology in …, 2020
192020
Unexpected tokens: A review of programming error messages and design guidelines for the future
BA Becker, P Denny, R Pettit, D Bouchard, DJ Bouvier, B Harrington, ...
Proceedings of the 2019 ACM conference on innovation and technology in …, 2019
162019
TipsC: Tips and corrections for programming MOOCs
S Sharma, P Agarwal, P Mor, A Karkare
Artificial Intelligence in Education: 19th International Conference, AIED …, 2018
162018
Improving GPU Performance Through Resource Sharing
V Jatala, J Anantpur, A Karkare
Proceedings of the 25th ACM International Symposium on High-Performance …, 2016
14*2016
Liveness-based garbage collection
R Asati, A Sanyal, A Karkare, A Mycroft
Compiler Construction: 23rd International Conference, CC 2014, Held as Part …, 2014
102014
Liveness of heap data for functional programs
A Karkare, U Khedker, A Sanyal
arXiv preprint cs/0703155, 2007
82007
A Bug's New Life: Creating Refute Questions from Filtered CS1 Student Code Snapshots
N Agarwal, V Kumar, A Raman, A Karkare
Proceedings of the ACM Conference on Global Computing Education Vol 1, 7-14, 2023
72023
A static slicing method for functional programs and its incremental version.
K Prasanna Kumar, A Sanyal, A Karkare, S Padhi
CC, 53-64, 2019
72019
Precise shape analysis using field sensitivity
S Dasgupta, A Karkare
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1300-1307, 2012
72012
The system can't perform the operation now. Try again later.
Articles 1–20