Amey Karkare

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 40

Top Topics

Introductory Programming

Sas Business Intelligence

Novice Programmers

Functional Programs

Top Venues

Publications

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