Folgen
Amey Karkare
Amey Karkare
Faculty, Department of Computer Science, IIT Kanpur
Bestätigte E-Mail-Adresse bei iitk.ac.in - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1272016
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
1022017
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
1002019
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
852018
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
782017
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
592007
Automatically generating problems and solutions for natural deduction
UZ Ahmed, S Gulwani, A Karkare
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
582013
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
272016
Targeted example generation for compilation errors
UZ Ahmed, R Sindhgatta, N Srivastava, A Karkare
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
232019
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
142019
TipsC: Tips and corrections for programming MOOCs
S Sharma, P Agarwal, P Mor, A Karkare
Artificial Intelligence in Education: 19th International Conference, AIED …, 2018
142018
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
122020
Improving GPU Performance Through Resource Sharing
V Jatala, J Anantpur, A Karkare
Proceedings of the 25th ACM International Symposium on High-Performance …, 2016
12*2016
Choosing code segments to exclude from code similarity detection
O Karnalim, J Sheard, I Dema, A Karkare, J Leinonen, M Liut, R McCauley
Proceedings of the Working Group Reports on Innovation and Technology in …, 2020
112020
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
Scrawld: A dataset of real world ethereum smart contracts labelled with vulnerabilities
CS Yashavant, S Kumar, A Karkare
arXiv preprint arXiv:2202.11409, 2022
72022
Precise shape analysis using field sensitivity
S Dasgupta, A Karkare
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1300-1307, 2012
72012
Effectiveness of garbage collection in MIT/GNU Scheme
A Karkare, A Sanyal, U Khedker
arXiv preprint cs/0611093, 2006
62006
Scratchpad sharing in GPUs
V Jatala, J Anantpur, A Karkare
ACM Transactions on Architecture and Code Optimization (TACO) 14 (2), 1-29, 2017
52017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20