Amey Karkare
Amey Karkare
Faculty, Department of Computer Science, IIT Kanpur
Verified email at iitk.ac.in - Homepage
TitleCited byYear
Heap reference analysis using access graphs
UP Khedker, A Sanyal, A Karkare
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 1, 2007
452007
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
342016
Automatically generating problems and solutions for natural deduction
UZ Ahmed, S Gulwani, A Karkare
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
322013
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
302017
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
152017
Compilation error repair: for the student programs, from the student programs
UZ Ahmed, P Kumar, A Karkare, P Kar, S Gulwani
2018 IEEE/ACM 40th International Conference on Software Engineering …, 2018
102018
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
82014
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
Liveness of heap data for functional programs
A Karkare, U Khedker, A Sanyal
arXiv preprint cs/0703155, 2007
72007
Precise shape analysis using field sensitivity
S Dasgupta, A Karkare, VK Reddy
Innovations in Systems and Software Engineering 9 (2), 79-93, 2013
62013
Effectiveness of garbage collection in MIT/GNU Scheme
A Karkare, A Sanyal, U Khedker
arXiv preprint cs/0611093, 2006
52006
Heap reference analysis for functional programs
A Karkare, A Sanyal, U Khedker
arXiv preprint arXiv:0710.1482, 2007
42007
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
32018
Heap dependence analysis for sequential programs
B Basak, S Dasgupta, A Karkare
Department of CSE, Indian Institute of Technology, Kanpur May, 2011
32011
Liveness-based garbage collection for lazy languages
P Kumar K, A Sanyal, A Karkare
ACM SIGPLAN Notices 51 (11), 122-133, 2018
22018
Scratchpad Sharing in GPUs
V Jatala, J Anantpur, A Karkare
ACM Transactions on Architecture and Code Optimization (TACO) 14 (2), 15, 2017
22017
TwAS: two-stage shape analysis for speed and precision
A Karkare
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1857-1864, 2018
12018
ParseIT: A Question-Answer based Tool to Learn Parsing Techniques
A Karkare, N Agarwal
Proceedings of the 10th Annual ACM India Compute Conference, 115-120, 2017
12017
GREENER: a tool for improving energy efficiency of register files
V Jatala, J Anantpur, A Karkare
arXiv preprint arXiv:1709.04697, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20