Testability Preserving and Enhancing Transformations for Robust Delay Fault Testabilit. - Amey Karkare; Manoj Singla; Ajai Jain (VLSI Design, 1998)

Effectiveness of Garbage Collection in MIT/GNU Scheme - Amey Karkare; Amitabha Sanyal; Uday P. Khedker (CoRR, 2006)

Heap Reference Analysis for Functional Programs - Amey Karkare; Amitabha Sanyal; Uday P. Khedker (CoRR, 2007)

Liveness of Heap Data for Functional Programs - Amey Karkare; Uday P. Khedker; Amitabha Sanyal (CoRR, 2007)

Heap reference analysis using access graphs. - Uday P. Khedker; Amitabha Sanyal; Amey Karkare (ACM Trans. Program. Lang. Syst., 2007)

Heap Dependence Analysis for Sequential Programs. - Barnali Basak; Sandeep Dasgupta; Amey Karkare (PARCO, 2011)

Precise shape analysis using field sensitivity. - Sandeep Dasgupta; Amey Karkare (SAC, 2012)

Functional SMT solving with Z3 and racket. - Siddharth Agarwal; Amey Karkare (FormaliSE@ICSE, 2013)

Automatically Generating Problems and Solutions for Natural Deduction. - Umair Z. Ahmed; Sumit Gulwani; Amey Karkare (IJCAI, 2013)

Retargeting GCC: Do We Reinvent the Wheel Every Time? - Saravana Perumal P.; Amey Karkare (CoRR, 2013)

Precise shape analysis using field sensitivity. - Sandeep Dasgupta; Amey Karkare; Vinay K. Reddy (Innov. Syst. Softw. Eng., 2013)

Liveness-Based Garbage Collection. - Rahul Asati; Amitabha Sanyal; Amey Karkare; Alan Mycroft (CC, 2014)

JolokiaC++: An Annotation Based Compiler Framework for GPGPUs. - Vibha Patel; Sanjeev Aggarwal; Amey Karkare (HPCC/CSS/ICESS, 2014)

JolokiaC++: Optimizing Irregular Accesses for GPGPU. - Vibha Patel; Sanjeev Aggarwal; Amey Karkare (HPCC/CSS/ICESS, 2015)

The More We Share, The More We Have: Improving GPU performance through Register Sharing. - Vishwesh Jatala; Jayvant Anantpur; Amey Karkare (CoRR, 2015)

Improving GPU Performance Through Resource Sharing. - Vishwesh Jatala; Jayvant Anantpur; Amey Karkare (HPDC, 2016)

Program synthesis using natural language. - Aditya Desai; Sumit Gulwani; Vineet Hingorani; Nidhi Jain; Amey Karkare; Mark Marron; Sailesh R; Subhajit Roy 001 (ICSE, 2016)

Liveness-based garbage collection for lazy languages. - Prasanna Kumar K.; Amitabha Sanyal; Amey Karkare (ISMM, 2016)

ParseIT: A Tool for Teaching Parsing Techniques. - Amey Karkare; Nimisha Agarwal (SIGCSE, 2016)

Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis. - Rajdeep Das; Umair Z. Ahmed; Amey Karkare; Sumit Gulwani (CoRR, 2016)

ParseIT: A Question-Answer based Tool to Learn Parsing Techniques. - Amey Karkare; Nimisha Agarwal (COMPUTE, 2017)

Automatic Grading and Feedback using Program Repair for Introductory Programming Courses. - Sagar Parihar; Ziyaan Dadachanji; Praveen Kumar Singh; Rajdeep Das; Amey Karkare; Arnab Bhattacharya 001 (ITiCSE, 2017)

A feasibility study of using automated program repair for introductory programming assignments. - Jooyong Yi; Umair Z. Ahmed; Amey Karkare; Shin Hwei Tan; Abhik Roychoudhury (ESEC/SIGSOFT FSE, 2017)

GREENER: A Tool for Improving Energy Efficiency of Register Files. - Vishwesh Jatala; Jayvant Anantpur; Amey Karkare (CoRR, 2017)

An Incremental Slicing Method for Functional Programs. - Prasanna Kumar K.; Amitabha Sanyal; Amey Karkare (CoRR, 2017)

Scratchpad Sharing in GPUs. - Vishwesh Jatala; Jayvant Anantpur; Amey Karkare (ACM Trans. Archit. Code Optim., 2017)

TipsC: Tips and Corrections for programming MOOCs. - Saksham Sharma; Pallav Agarwal; Parv Mor; Amey Karkare (AIED (2), 2018)

Reducing GPU Register File Energy. - Vishwesh Jatala; Jayvant Anantpur; Amey Karkare (Euro-Par, 2018)

Compilation error repair: for the student programs, from the student programs. - Umair Z. Ahmed; Pawan Kumar; Amey Karkare; Purushottam Kar; Sumit Gulwani (ICSE (SEET), 2018)

TwAS: two-stage shape analysis for speed and precision. - Amey Karkare (SAC, 2018)

A static slicing method for functional programs and its incremental version. - Prasanna Kumar K.; Amitabha Sanyal; Amey Karkare; Saswat Padhi (CC, 2019)

Compiler Error Messages Considered Unhelpful: The Landscape of Text-Based Programming Error Message Research. - Brett A. Becker; Paul Denny 001; Raymond Pettit; Durell Bouchard; Dennis J. Bouvier; Brian Harrington 001; Amir Kamil; Amey Karkare; Chris McDonald; Peter-Michael Osera; Janice L. Pearce; James Prather (ITiCSE-WGR, 2019)

Unexpected Tokens: A Review of Programming Error Messages and Design Guidelines for the Future. - Brett A. Becker; Paul Denny 001; Raymond Pettit; Durell Bouchard; Dennis J. Bouvier; Brian Harrington 001; Amir Kamil; Amey Karkare; Chris McDonald; Peter-Michael Osera; Janice L. Pearce; James Prather (ITiCSE, 2019)

Targeted Example Generation for Compilation Errors. - Umair Z. Ahmed; Renuka Sindhgatta; Nisheeth Srivastava; Amey Karkare (ASE, 2019)

Accessibility Evaluation of Computer Based Tests. - Pawan Kumar Patel; Amey Karkare (CoRR, 2019)

A report on 1st Software Engineering Research in India Update Meeting (SERI 2019). - Sai Anirudh Karre; Lalit Mohan S.; Y. Raghu Reddy; K. V. Raghavan; R. D. Naik; Rahul Purandare; Amey Karkare (ACM SIGSOFT Softw. Eng. Notes, 2019)

Characterizing the pedagogical benefits of adaptive feedback for compilation errors by novice programmers. - Umair Z. Ahmed; Nisheeth Srivastava; Renuka Sindhgatta; Amey Karkare (ICSE (SEET), 2020)

A Report on Tutorials co-located with ISEC 2020. - Amey Karkare (ISEC, 2020)

Selection of Code Segments for Exclusion from Code Similarity Detection. - Simon; Oscar Karnalim; Judy Sheard; Ilir Dema; Amey Karkare; Juho Leinonen 001; Michael Liut; Renée McCauley (ITiCSE, 2020)

Choosing Code Segments to Exclude from Code Similarity Detection. - Simon; Oscar Karnalim; Judy Sheard; Ilir Dema; Amey Karkare; Juho Leinonen 001; Michael Liut; Renée McCauley (ITiCSE-WGR, 2020)

Instructor Performance on Progressively Complex Programming Tasks: A Multi-Institutional Study from India. - Viraj Kumar; Amey Karkare (ITiCSE (1), 2021)

Inclusive Accommodations for Persons with Visual Impairments in Computer-Based Tests. - Pawan Kumar Patel; Amey Karkare; Gaurav Raheja (UD, 2021)

LEGenT: Localizing Errors and Generating Testcases for CS1. - Nimisha Agarwal; Amey Karkare (L@S, 2022)

Prutor: an intelligent learning and management system for programming courses. - Amey Karkare; Purushottam Kar (Commun. ACM, 2022)

ScrawlD: A Dataset of Real World Ethereum Smart Contracts Labelled with Vulnerabilities. - Chavhan Sujeet Yashavant; Saurabh Kumar 007; Amey Karkare (CoRR, 2022)

A Bug's New Life: Creating Refute Questions from Filtered CS1 Student Code Snapshots. - Nimisha Agarwal; Viraj Kumar; Arun Raman; Amey Karkare (CompEd (1), 2023)

P2RUTOR: A Programming Tutor for Parallel Programming. - Deepak B. Hegde; Preeti Malakar; Amey Karkare (HiPCW, 2023)

PRIORITY: An Intelligent Problem Indicator Repository. - Sharath H. Padmanabha; Fahad Shaikh; Mayank Bansal; Debanjan Chatterjee; Preeti Singh; Amey Karkare; Purushottam Kar (ISEC, 2023)

Advances in Automated Pedagogical Compile-time Error Repair. - Sharath H. Padmanabha; Fahad Shaikh; Mayank Bansal; Debanjan Chatterjee; Preeti Singh; Amey Karkare; Purushottam Kar (ISEC, 2023)

Network-Level Vulnerability Assessment of Synchrophasor Measurement Devices. - Kamakshi P. Swain; Ankush Sharma 001; Amey Karkare; Saikat Chakrabarti 003; Elena N. Gryazina; Vladimir V. Terzija (IEEE Access, 2024)

SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset. - Chavhan Sujeet Yashavant; MitrajSinh Chavda; Saurabh Kumar 007; Amey Karkare; Angshuman Karmakar (MSR, 2025)

Feasibility Study of Augmenting Teaching Assistants with AI for CS1 Programming Feedback. - Umair Z. Ahmed; Shubham Sahai; Ben Leong; Amey Karkare (SIGCSE (1), 2025)