Amey Karkare
Amey Karkare
Faculty, Department of Computer Science, IIT Kanpur
Verified email at iitk.ac.in - Homepage
Title
Cited by
Cited by
Year
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
572016
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
522017
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
492007
Automatically Generating Problems and Solutions for Natural Deduction.
UZ Ahmed, S Gulwani, A Karkare
IJCAI, 1968-1975, 2013
452013
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
292017
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
262018
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
122019
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
102016
Liveness-based garbage collection
R Asati, A Sanyal, A Karkare, A Mycroft
International Conference on Compiler Construction, 85-106, 2014
102014
Liveness of heap data for functional programs
A Karkare, U Khedker, A Sanyal
arXiv preprint cs/0703155, 2007
82007
Improving GPU Performance Through Resource Sharing
V Jatala, J Anantpur, A Karkare
Proceedings of the 25th ACM International Symposium on High-Performance …, 2016
7*2016
Precise shape analysis using field sensitivity
S Dasgupta, A Karkare, VK Reddy
Innovations in Systems and Software Engineering 9 (2), 79-93, 2013
72013
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
62019
TipsC: tips and corrections for programming MOOCs
S Sharma, P Agarwal, P Mor, A Karkare
International Conference on Artificial Intelligence in Education, 322-326, 2018
52018
Effectiveness of garbage collection in MIT/GNU Scheme
A Karkare, A Sanyal, U Khedker
arXiv preprint cs/0611093, 2006
52006
Targeted example generation for compilation errors
UZ Ahmed, R Sindhgatta, N Srivastava, A Karkare
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
42019
Liveness-based garbage collection for lazy languages
PK Kumar, A Sanyal, A Karkare
ACM SIGPLAN NOTICES 51 (11), 122-133, 2016
42016
Heap reference analysis for functional programs
A Karkare, A Sanyal, U Khedker
arXiv preprint arXiv:0710.1482, 2007
42007
Scratchpad sharing in GPUs
V Jatala, J Anantpur, A Karkare
ACM Transactions on Architecture and Code Optimization (TACO) 14 (2), 1-29, 2017
32017
Heap dependence analysis for sequential programs
B Basak, S Dasgupta, A Karkare
Department of CSE, Indian Institute of Technology, Kanpur May, 2011
32011
The system can't perform the operation now. Try again later.
Articles 1–20