Amey Karkare

64 papers A* 3A 3B 6C 1Misc 3Journal 25Unranked 20
YearRankTypeTitle / Venue / Authors
2025 J jnl
CS Educator challenges and their solutions : A systematic mapping study.
CoRR
Anjali Chouhan, Sruti Srinivasa Ragavan, Amey Karkare
2025 — ed.
Computing Education Research - 17th Annual ACM India Compute Conference, COMPUTE 2024, Gandhinagar, India, December 5-7, 2024, Proceedings
COMPUTE
Amey Karkare, Prajish Prasad, Arun Raman
2025 — conf
Feasibility Study of Augmenting Teaching Assistants with AI for CS1 Programming Feedback.
SIGCSE (1)
Umair Z. Ahmed, Shubham Sahai, Ben Leong, Amey Karkare
2025 A conf
SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset.
MSR
Chavhan Sujeet Yashavant, MitrajSinh Chavda, Saurabh Kumar, Amey Karkare, Angshuman Karmakar
2024 J jnl
Network-Level Vulnerability Assessment of Synchrophasor Measurement Devices.
IEEE Access
Kamakshi P. Swain, Ankush Sharma, Amey Karkare, Saikat Chakrabarti, Elena N. Gryazina, Vladimir V. Terzija
2024 J jnl
SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset.
CoRR
Chavhan Sujeet Yashavant, MitrajSinh Chavda, Saurabh Kumar, Amey Karkare, Angshuman Karmakar
2023 — conf
A Bug's New Life: Creating Refute Questions from Filtered CS1 Student Code Snapshots.
CompEd (1)
Nimisha Agarwal, Viraj Kumar, Arun Raman, Amey Karkare
2023 — conf
Advances in Automated Pedagogical Compile-time Error Repair.
ISEC
Sharath H. Padmanabha, Fahad Shaikh, Mayank Bansal, Debanjan Chatterjee, Preeti Singh, Amey Karkare, Purushottam Kar
2023 — conf
P
HiPCW
Deepak B. Hegde, Preeti Malakar, Amey Karkare
2023 — conf
PRIORITY: An Intelligent Problem Indicator Repository.
ISEC
Sharath H. Padmanabha, Fahad Shaikh, Mayank Bansal, Debanjan Chatterjee, Preeti Singh, Amey Karkare, Purushottam Kar
2023 — ed.
Proceedings of the 16th Annual ACM India Compute Conference, COMPUTE 2023, Hyderabad, India, December 9-11, 2023
COMPUTE
Chitra Babu, Neeraj Goel, Amey Karkare
2022 — ed.
COMPUTE 2022, Jaipur, India, November 9-11, 2022
COMPUTE
Venkatesh Choppella, Amey Karkare, Chitra Babu, Sridhar Chimalakonda
2022 B conf
LEGenT: Localizing Errors and Generating Testcases for CS1.
L@S
Nimisha Agarwal, Amey Karkare
2022 J jnl
Prutor: an intelligent learning and management system for programming courses.
Commun. ACM
Amey Karkare, Purushottam Kar
2022 J jnl
ScrawlD: A Dataset of Real World Ethereum Smart Contracts Labelled with Vulnerabilities.
CoRR
Chavhan Sujeet Yashavant, Saurabh Kumar, Amey Karkare
2021 — conf
Inclusive Accommodations for Persons with Visual Impairments in Computer-Based Tests.
UD
Pawan Kumar Patel, Amey Karkare, Gaurav Raheja
2021 — conf
Instructor Performance on Progressively Complex Programming Tasks: A Multi-Institutional Study from India.
ITiCSE (1)
Viraj Kumar, Amey Karkare
2020 — conf
A Report on Tutorials co-located with ISEC 2020.
ISEC
Amey Karkare
2020 — conf
Characterizing the pedagogical benefits of adaptive feedback for compilation errors by novice programmers.
ICSE (SEET)
Umair Z. Ahmed, Nisheeth Srivastava, Renuka Sindhgatta, Amey Karkare
2020 — conf
Choosing Code Segments to Exclude from Code Similarity Detection.
ITiCSE-WGR
Simon, Oscar Karnalim, Judy Sheard, Ilir Dema, Amey Karkare, Juho Leinonen, Michael Liut, Renée McCauley
2020 B conf
Selection of Code Segments for Exclusion from Code Similarity Detection.
ITiCSE
Simon, Oscar Karnalim, Judy Sheard, Ilir Dema, Amey Karkare, Juho Leinonen, Michael Liut, Renée McCauley
2019 J jnl
A report on 1st Software Engineering Research in India Update Meeting (SERI 2019).
ACM SIGSOFT Softw. Eng. Notes
Sai Anirudh Karre, Lalit Mohan S., Y. Raghu Reddy, K. V. Raghavan, Ravindra Naik, Rahul Purandare, Amey Karkare
2019 B conf
A static slicing method for functional programs and its incremental version.
CC
Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi
2019 J jnl
Accessibility Evaluation of Computer Based Tests.
CoRR
Pawan Kumar Patel, Amey Karkare
2019 — conf
Compiler Error Messages Considered Unhelpful: The Landscape of Text-Based Programming Error Message Research.
ITiCSE-WGR
Brett A. Becker, Paul Denny, Raymond Pettit, Durell Bouchard, Dennis J. Bouvier, Brian Harrington, Amir Kamil, Amey Karkare, Chris McDonald, Peter-Michael Osera, Janice L. Pearce, James Prather
2019 A* conf
Targeted Example Generation for Compilation Errors.
ASE
Umair Z. Ahmed, Renuka Sindhgatta, Nisheeth Srivastava, Amey Karkare
2019 J jnl
Targeted Example Generation for Compilation Errors.
CoRR
Umair Z. Ahmed, Renuka Sindhgatta, Nisheeth Srivastava, Amey Karkare
2019 B conf
Unexpected Tokens: A Review of Programming Error Messages and Design Guidelines for the Future.
ITiCSE
Brett A. Becker, Paul Denny, Raymond Pettit, Durell Bouchard, Dennis J. Bouvier, Brian Harrington, Amir Kamil, Amey Karkare, Chris McDonald, Peter-Michael Osera, Janice L. Pearce, James Prather
2018 — conf
Compilation error repair: for the student programs, from the student programs.
ICSE (SEET)
Umair Z. Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
2018 — conf
Reducing GPU Register File Energy.
Euro-Par
Vishwesh Jatala, Jayvant Anantpur, Amey Karkare
2018 — conf
TipsC: Tips and Corrections for programming MOOCs.
AIED (2)
Saksham Sharma, Pallav Agarwal, Parv Mor, Amey Karkare
2018 J jnl
TipsC: Tips and Corrections for programming MOOCs.
CoRR
Saksham Sharma, Pallav Agarwal, Parv Mor, Amey Karkare
2018 Misc conf
TwAS: two-stage shape analysis for speed and precision.
SAC
Amey Karkare
2017 — conf
A feasibility study of using automated program repair for introductory programming assignments.
ESEC/SIGSOFT FSE
Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, Abhik Roychoudhury
2017 J jnl
An Incremental Slicing Method for Functional Programs.
CoRR
Prasanna Kumar K., Amitabha Sanyal, Amey Karkare
2017 B conf
Automatic Grading and Feedback using Program Repair for Introductory Programming Courses.
ITiCSE
Sagar Parihar, Ziyaan Dadachanji, Praveen Kumar Singh, Rajdeep Das, Amey Karkare, Arnab Bhattacharya
2017 J jnl
GREENER: A Tool for Improving Energy Efficiency of Register Files.
CoRR
Vishwesh Jatala, Jayvant Anantpur, Amey Karkare
2017 — conf
ParseIT: A Question-Answer based Tool to Learn Parsing Techniques.
COMPUTE
Amey Karkare, Nimisha Agarwal
2017 J jnl
ParseIT: A Question-Answer based Tool to Learn Parsing Techniques.
CoRR
Amey Karkare, Nimisha Agarwal
2017 J jnl
Scratchpad Sharing in GPUs.
ACM Trans. Archit. Code Optim.
Vishwesh Jatala, Jayvant Anantpur, Amey Karkare
2016 A conf
Improving GPU Performance Through Resource Sharing.
HPDC
Vishwesh Jatala, Jayvant Anantpur, Amey Karkare
2016 J jnl
Liveness-Based Garbage Collection for Lazy Languages.
CoRR
Prasanna Kumar K., Amitabha Sanyal, Amey Karkare
2016 C conf
Liveness-based garbage collection for lazy languages.
ISMM
Prasanna Kumar K., Amitabha Sanyal, Amey Karkare
2016 A conf
ParseIT: A Tool for Teaching Parsing Techniques.
SIGCSE
Amey Karkare, Nimisha Agarwal
2016 A* conf
Program synthesis using natural language.
ICSE
Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
2016 J jnl
Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis.
CoRR
Rajdeep Das, Umair Z. Ahmed, Amey Karkare, Sumit Gulwani
2016 J jnl
Scratchpad Sharing in GPUs.
CoRR
Vishwesh Jatala, Jayvant Anantpur, Amey Karkare
2015 — conf
JolokiaC++: Optimizing Irregular Accesses for GPGPU.
HPCC/CSS/ICESS
Vibha Patel, Sanjeev Aggarwal, Amey Karkare
2015 J jnl
Program Synthesis using Natural Language.
CoRR
Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
2015 J jnl
The More We Share, The More We Have: Improving GPU performance through Register Sharing.
CoRR
Vishwesh Jatala, Jayvant Anantpur, Amey Karkare
2014 — conf
JolokiaC++: An Annotation Based Compiler Framework for GPGPUs.
HPCC/CSS/ICESS
Vibha Patel, Sanjeev Aggarwal, Amey Karkare
2014 B conf
Liveness-Based Garbage Collection.
CC
Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft
2013 A* conf
Automatically Generating Problems and Solutions for Natural Deduction.
IJCAI
Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
2013 — conf
Functional SMT solving with Z3 and racket.
FormaliSE@ICSE
Siddharth Agarwal, Amey Karkare
2013 J jnl
Precise shape analysis using field sensitivity.
Innov. Syst. Softw. Eng.
Sandeep Dasgupta, Amey Karkare, Vinay K. Reddy
2013 J jnl
Retargeting GCC: Do We Reinvent the Wheel Every Time?
CoRR
Saravana Perumal P., Amey Karkare
2012 Misc conf
Precise shape analysis using field sensitivity.
SAC
Sandeep Dasgupta, Amey Karkare
2011 — conf
Heap Dependence Analysis for Sequential Programs.
PARCO
Barnali Basak, Sandeep Dasgupta, Amey Karkare
2007 J jnl
Heap Reference Analysis for Functional Programs
CoRR
Amey Karkare, Amitabha Sanyal, Uday P. Khedker
2007 J jnl
Heap reference analysis using access graphs.
ACM Trans. Program. Lang. Syst.
Uday P. Khedker, Amitabha Sanyal, Amey Karkare
2007 J jnl
Liveness of Heap Data for Functional Programs
CoRR
Amey Karkare, Uday P. Khedker, Amitabha Sanyal
2006 J jnl
Effectiveness of Garbage Collection in MIT/GNU Scheme
CoRR
Amey Karkare, Amitabha Sanyal, Uday P. Khedker
2006 J jnl
Heap Reference Analysis Using Access Graphs
CoRR
Uday P. Khedker, Amitabha Sanyal, Amey Karkare
1998 Misc conf
Testability Preserving and Enhancing Transformations for Robust Delay Fault Testabilit.
VLSI Design
Amey Karkare, Manoj Singla, Ajai Jain