Amey Karkare

Orcid: 0000-0002-3664-6490

According to our database1, Amey Karkare authored at least 50 papers between 1998 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Network-Level Vulnerability Assessment of Synchrophasor Measurement Devices.
IEEE Access, 2024

2023
Advances in Automated Pedagogical Compile-time Error Repair.
Proceedings of the 16th Innovations in Software Engineering Conference, 2023

PRIORITY: An Intelligent Problem Indicator Repository.
Proceedings of the 16th Innovations in Software Engineering Conference, 2023

P<sup>2</sup>RUTOR: A Programming Tutor for Parallel Programming.
Proceedings of the 30th IEEE International Conference on High Performance Computing, 2023

A Bug's New Life: Creating Refute Questions from Filtered CS1 Student Code Snapshots.
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.
CoRR, 2022

Prutor: an intelligent learning and management system for programming courses.
Commun. ACM, 2022

LEGenT: Localizing Errors and Generating Testcases for CS1.
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.
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.
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.
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.
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

A Report on Tutorials co-located with ISEC 2020.
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.
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).
ACM SIGSOFT Softw. Eng. Notes, 2019

Accessibility Evaluation of Computer Based Tests.
CoRR, 2019

Targeted Example Generation for Compilation Errors.
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.
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.
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.
Proceedings of the 28th International Conference on Compiler Construction, 2019

2018
TwAS: two-stage shape analysis for speed and precision.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Compilation error repair: for the student programs, from the student programs.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training, 2018

Reducing GPU Register File Energy.
Proceedings of the Euro-Par 2018: Parallel Processing, 2018

TipsC: Tips and Corrections for programming MOOCs.
Proceedings of the Artificial Intelligence in Education - 19th International Conference, 2018

2017
Scratchpad Sharing in GPUs.
ACM Trans. Archit. Code Optim., 2017

An Incremental Slicing Method for Functional Programs.
CoRR, 2017

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

A feasibility study of using automated program repair for introductory programming assignments.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Automatic Grading and Feedback using Program Repair for Introductory Programming Courses.
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.
Proceedings of the 10th Annual ACM India Compute Conference, 2017

2016
Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis.
CoRR, 2016

ParseIT: A Tool for Teaching Parsing Techniques.
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

Liveness-based garbage collection for lazy languages.
Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, CA, USA, June 14, 2016

Program synthesis using natural language.
Proceedings of the 38th International Conference on Software Engineering, 2016

Improving GPU Performance Through Resource Sharing.
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.
CoRR, 2015

JolokiaC++: Optimizing Irregular Accesses for GPGPU.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2014
JolokiaC++: An Annotation Based Compiler Framework for GPGPUs.
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

Liveness-Based Garbage Collection.
Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013
Precise shape analysis using field sensitivity.
Innov. Syst. Softw. Eng., 2013

Retargeting GCC: Do We Reinvent the Wheel Every Time?
CoRR, 2013

Automatically Generating Problems and Solutions for Natural Deduction.
Proceedings of the IJCAI 2013, 2013

Functional SMT solving with Z3 and racket.
Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2012
Precise shape analysis using field sensitivity.
Proceedings of the ACM Symposium on Applied Computing, 2012

2011
Heap Dependence Analysis for Sequential Programs.
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.
ACM Trans. Program. Lang. Syst., 2007

Liveness of Heap Data for Functional Programs
CoRR, 2007

Heap Reference Analysis for Functional Programs
CoRR, 2007

2006
Effectiveness of Garbage Collection in MIT/GNU Scheme
CoRR, 2006

1998
Testability Preserving and Enhancing Transformations for Robust Delay Fault Testabilit.
Proceedings of the 11th International Conference on VLSI Design (VLSI Design 1991), 1998


  Loading...