Amey Karkare

According to our database, Amey Karkare authored at least 48 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Advances in Automated Pedagogical Compile-time Error Repair.

Sharath H. Padmanabha, Fahad Shaikh, Mayank Bansal, Debanjan Chatterjee, Preeti Singh, Amey Karkare, Purushottam Kar

Proceedings of the 16th Innovations in Software Engineering Conference, 2023

PRIORITY: An Intelligent Problem Indicator Repository.

Sharath H. Padmanabha, Fahad Shaikh, Mayank Bansal, Debanjan Chatterjee, Preeti Singh, Amey Karkare, Purushottam Kar

Proceedings of the 16th Innovations in Software Engineering Conference, 2023

A Bug's New Life: Creating Refute Questions from Filtered CS1 Student Code Snapshots.

Nimisha Agarwal, Viraj Kumar, Arun Raman, Amey Karkare

Proceedings of the ACM Conference on Global Computing Education Vol 1, 2023

2022

ScrawlD: A Dataset of Real World Ethereum Smart Contracts Labelled with Vulnerabilities.

Chavhan Sujeet Yashavant, Saurabh Kumar, Amey Karkare

CoRR, 2022

Prutor: an intelligent learning and management system for programming courses.

Amey Karkare, Purushottam Kar

Commun. ACM, 2022

LEGenT: Localizing Errors and Generating Testcases for CS1.

Nimisha Agarwal, Amey Karkare

Proceedings of the L@S'22: Ninth ACM Conference on Learning @ Scale, New York City, NY, USA, June 1, 2022

2021

Inclusive Accommodations for Persons with Visual Impairments in Computer-Based Tests.

Pawan Kumar Patel, Amey Karkare, Gaurav Raheja

Proceedings of the Universal Design 2021: From Special to Mainstream Solutions, Proceedings of the th International Conference on Universal Design (UD 2021), virtual event, 9, 2021

Instructor Performance on Progressively Complex Programming Tasks: A Multi-Institutional Study from India.

Viraj Kumar, Amey Karkare

Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021

2020

Choosing Code Segments to Exclude from Code Similarity Detection.

Simon, Oscar Karnalim, Judy Sheard, Ilir Dema, Amey Karkare, Juho Leinonen, Michael Liut, Renée McCauley

Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education, 2020

Selection of Code Segments for Exclusion from Code Similarity Detection.

Simon, Oscar Karnalim, Judy Sheard, Ilir Dema, Amey Karkare, Juho Leinonen, Michael Liut, Renée McCauley

Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

A Report on Tutorials co-located with ISEC 2020.

Amey Karkare

Proceedings of the ISEC 2020: 13th Innovations in Software Engineering Conference, 2020

Characterizing the pedagogical benefits of adaptive feedback for compilation errors by novice programmers.

Umair Z. Ahmed, Nisheeth Srivastava, Renuka Sindhgatta, Amey Karkare

Proceedings of the ICSE-SEET 2020: 42nd International Conference on Software Engineering, Software Engineering Education and Training, Seoul, South Korea, 27 June, 2020

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

Accessibility Evaluation of Computer Based Tests.

Pawan Kumar Patel, Amey Karkare

CoRR, 2019

Targeted Example Generation for Compilation Errors.

Umair Z. Ahmed, Renuka Sindhgatta, Nisheeth Srivastava, Amey Karkare

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

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

Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

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

Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education, 2019

A static slicing method for functional programs and its incremental version.

Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi

Proceedings of the 28th International Conference on Compiler Construction, 2019

2018

TwAS: two-stage shape analysis for speed and precision.

Amey Karkare

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Compilation error repair: for the student programs, from the student programs.

Umair Z. Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani

Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training, 2018

Reducing GPU Register File Energy.

Vishwesh Jatala, Jayvant Anantpur, Amey Karkare

Proceedings of the Euro-Par 2018: Parallel Processing, 2018

TipsC: Tips and Corrections for programming MOOCs.

Saksham Sharma, Pallav Agarwal, Parv Mor, Amey Karkare

Proceedings of the Artificial Intelligence in Education - 19th International Conference, 2018

2017

Scratchpad Sharing in GPUs.

Vishwesh Jatala, Jayvant Anantpur, Amey Karkare

ACM Trans. Archit. Code Optim., 2017

An Incremental Slicing Method for Functional Programs.

Prasanna Kumar K., Amitabha Sanyal, Amey Karkare

CoRR, 2017

GREENER: A Tool for Improving Energy Efficiency of Register Files.

Vishwesh Jatala, Jayvant Anantpur, Amey Karkare

CoRR, 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

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 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

Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, 2017

ParseIT: A Question-Answer based Tool to Learn Parsing Techniques.

Amey Karkare, Nimisha Agarwal

Proceedings of the 10th Annual ACM India Compute Conference, 2017

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 Tool for Teaching Parsing Techniques.

Amey Karkare, Nimisha Agarwal

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

Liveness-based garbage collection for lazy languages.

Prasanna Kumar K., Amitabha Sanyal, Amey Karkare

Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, CA, USA, June 14, 2016

Program synthesis using natural language.

Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy

Proceedings of the 38th International Conference on Software Engineering, 2016

Improving GPU Performance Through Resource Sharing.

Vishwesh Jatala, Jayvant Anantpur, Amey Karkare

Proceedings of the 25th ACM International Symposium on High-Performance Parallel and Distributed Computing, 2016

2015

The More We Share, The More We Have: Improving GPU performance through Register Sharing.

Vishwesh Jatala, Jayvant Anantpur, Amey Karkare

CoRR, 2015

JolokiaC++: Optimizing Irregular Accesses for GPGPU.

Vibha Patel, Sanjeev Aggarwal, Amey Karkare

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2014

JolokiaC++: An Annotation Based Compiler Framework for GPGPUs.

Vibha Patel, Sanjeev Aggarwal, Amey Karkare

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

Liveness-Based Garbage Collection.

Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013

Precise shape analysis using field sensitivity.

Sandeep Dasgupta, Amey Karkare, Vinay K. Reddy

Innov. Syst. Softw. Eng., 2013

Retargeting GCC: Do We Reinvent the Wheel Every Time?

Saravana Perumal P., Amey Karkare

CoRR, 2013

Automatically Generating Problems and Solutions for Natural Deduction.

Umair Z. Ahmed, Sumit Gulwani, Amey Karkare

Proceedings of the IJCAI 2013, 2013

Functional SMT solving with Z3 and racket.

Siddharth Agarwal, Amey Karkare

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2012

Precise shape analysis using field sensitivity.

Sandeep Dasgupta, Amey Karkare

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

Heap Dependence Analysis for Sequential Programs.

Barnali Basak, Sandeep Dasgupta, Amey Karkare

Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011

2007

Heap reference analysis using access graphs.

Uday P. Khedker, Amitabha Sanyal, Amey Karkare

ACM Trans. Program. Lang. Syst., 2007

Liveness of Heap Data for Functional Programs

Amey Karkare, Uday P. Khedker, Amitabha Sanyal

CoRR, 2007

Heap Reference Analysis for Functional Programs

Amey Karkare, Amitabha Sanyal, Uday P. Khedker

CoRR, 2007

2006

Effectiveness of Garbage Collection in MIT/GNU Scheme

Amey Karkare, Amitabha Sanyal, Uday P. Khedker

CoRR, 2006

1998

Testability Preserving and Enhancing Transformations for Robust Delay Fault Testabilit.

Amey Karkare, Manoj Singla, Ajai Jain

Proceedings of the 11th International Conference on VLSI Design (VLSI Design 1991), 1998