Amey Karkare
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
13
Active years
1998–2025
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MSR | SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset. | Chavhan Sujeet Yashavant, MitrajSinh Chavda, Saurabh Kumar, Amey Karkare, Angshuman Karmakar |
| 2025 | SIGCSE | Feasibility Study of Augmenting Teaching Assistants with AI for CS1 Programming Feedback. | Umair Z. Ahmed, Shubham Sahai, Ben Leong, Amey Karkare |
| 2023 | HiPC | P | Deepak B. Hegde, Preeti Malakar, Amey Karkare |
| 2021 | ITiCSE | Instructor Performance on Progressively Complex Programming Tasks: A Multi-Institutional Study from India. | Viraj Kumar, Amey Karkare |
| 2020 | ICSE | Characterizing the pedagogical benefits of adaptive feedback for compilation errors by novice programmers. | Umair Z. Ahmed, Nisheeth Srivastava, Renuka Sindhgatta, Amey Karkare |
| 2020 | ITiCSE | Selection of Code Segments for Exclusion from Code Similarity Detection. | Simon, Oscar Karnalim, Judy Sheard, Ilir Dema, Amey Karkare, Juho Leinonen, Michael Liut, Rene McCauley |
| 2020 | ITiCSE | Choosing Code Segments to Exclude from Code Similarity Detection. | Simon, Oscar Karnalim, Judy Sheard, Ilir Dema, Amey Karkare, Juho Leinonen, Michael Liut, Rene McCauley |
| 2019 | CC | A static slicing method for functional programs and its incremental version. | Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi |
| 2019 | ITiCSE | Compiler Error Messages Considered Unhelpful: The Landscape of Text-Based Programming Error Message Research. | 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 | ITiCSE | Unexpected Tokens: A Review of Programming Error Messages and Design Guidelines for the Future. | 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 | AIED | TipsC: Tips and Corrections for programming MOOCs. | Saksham Sharma, Pallav Agarwal, Parv Mor, Amey Karkare |
| 2018 | EuroPar | Reducing GPU Register File Energy. | Vishwesh Jatala, Jayvant Anantpur, Amey Karkare |
| 2018 | ICSE | Compilation error repair: for the student programs, from the student programs. | Umair Z. Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani |
| 2018 | SAC | TwAS: two-stage shape analysis for speed and precision. | Amey Karkare |
| 2017 | ITiCSE | Automatic Grading and Feedback using Program Repair for Introductory Programming Courses. | Sagar Parihar, Ziyaan Dadachanji, Praveen Kumar Singh, Rajdeep Das, Amey Karkare, Arnab Bhattacharya |
| 2016 | HPDC | Improving GPU Performance Through Resource Sharing. | Vishwesh Jatala, Jayvant Anantpur, Amey Karkare |
| 2016 | ICSE | Program synthesis using natural language. | Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy |
| 2016 | SIGCSE | ParseIT: A Tool for Teaching Parsing Techniques. | Amey Karkare, Nimisha Agarwal |
| 2015 | HPCC | JolokiaC++: Optimizing Irregular Accesses for GPGPU. | Vibha Patel, Sanjeev Aggarwal, Amey Karkare |
| 2014 | CC | Liveness-Based Garbage Collection. | Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft |
| 2014 | HPCC | JolokiaC++: An Annotation Based Compiler Framework for GPGPUs. | Vibha Patel, Sanjeev Aggarwal, Amey Karkare |
| 2013 | IJCAI | Automatically Generating Problems and Solutions for Natural Deduction. | Umair Z. Ahmed, Sumit Gulwani, Amey Karkare |
| 2013 | ICSE | Functional SMT solving with Z3 and racket. | Siddharth Agarwal, Amey Karkare |
| 2012 | SAC | Precise shape analysis using field sensitivity. | Sandeep Dasgupta, Amey Karkare |
| 1998 | VLSID | Testability Preserving and Enhancing Transformations for Robust Delay Fault Testabilit. | Amey Karkare, Manoj Singla, Ajai Jain |