default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAmey Karkare
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j6]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: 72491-72503 (2024)- 2023
- [c34]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: 7-14 - [c33]Deepak B. Hegde, Preeti Malakar, Amey Karkare:
P2RUTOR: A Programming Tutor for Parallel Programming. HiPCW 2023: 15-22 - [c32]Sharath H. Padmanabha, Fahad Shaikh, Mayank Bansal, Debanjan Chatterjee, Preeti Singh, Amey Karkare, Purushottam Kar:
PRIORITY: An Intelligent Problem Indicator Repository. ISEC 2023: 9:1-9:10 - [c31]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: 11:1-11:11 - [e2]Chitra Babu, Neeraj Goel, Amey Karkare:
Proceedings of the 16th Annual ACM India Compute Conference, COMPUTE 2023, Hyderabad, India, December 9-11, 2023. ACM 2023 [contents] - 2022
- [j5]Amey Karkare, Purushottam Kar:
Prutor: an intelligent learning and management system for programming courses. Commun. ACM 65(11): 62-64 (2022) - [c30]Nimisha Agarwal, Amey Karkare:
LEGenT: Localizing Errors and Generating Testcases for CS1. L@S 2022: 102-112 - [e1]Venkatesh Choppella, Amey Karkare, Chitra Babu, Sridhar Chimalakonda:
COMPUTE 2022, Jaipur, India, November 9-11, 2022. ACM 2022, ISBN 978-1-4503-9775-9 [contents] - [i17]Chavhan Sujeet Yashavant, Saurabh Kumar, Amey Karkare:
ScrawlD: A Dataset of Real World Ethereum Smart Contracts Labelled with Vulnerabilities. CoRR abs/2202.11409 (2022) - 2021
- [c29]Viraj Kumar, Amey Karkare:
Instructor Performance on Progressively Complex Programming Tasks: A Multi-Institutional Study from India. ITiCSE (1) 2021: 561-567 - [c28]Pawan Kumar Patel, Amey Karkare, Gaurav Raheja:
Inclusive Accommodations for Persons with Visual Impairments in Computer-Based Tests. UD 2021: 219-237 - 2020
- [c27]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: 139-150 - [c26]Amey Karkare:
A Report on Tutorials co-located with ISEC 2020. ISEC 2020: 23:1-23:2 - [c25]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-WGR 2020: 1-19 - [c24]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: 500-501
2010 – 2019
- 2019
- [j4]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): 41-42 (2019) - [c23]Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi:
A static slicing method for functional programs and its incremental version. CC 2019: 53-64 - [c22]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-WGR 2019: 177-210 - [c21]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: 253-254 - [c20]Umair Z. Ahmed, Renuka Sindhgatta, Nisheeth Srivastava, Amey Karkare:
Targeted Example Generation for Compilation Errors. ASE 2019: 327-338 - [i16]Pawan Kumar Patel, Amey Karkare:
Accessibility Evaluation of Computer Based Tests. CoRR abs/1905.01825 (2019) - [i15]Umair Z. Ahmed, Renuka Sindhgatta, Nisheeth Srivastava, Amey Karkare:
Targeted Example Generation for Compilation Errors. CoRR abs/1909.00769 (2019) - 2018
- [c19]Saksham Sharma, Pallav Agarwal, Parv Mor, Amey Karkare:
TipsC: Tips and Corrections for programming MOOCs. AIED (2) 2018: 322-326 - [c18]Vishwesh Jatala, Jayvant Anantpur, Amey Karkare:
Reducing GPU Register File Energy. Euro-Par 2018: 77-91 - [c17]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: 78-87 - [c16]Amey Karkare:
TwAS: two-stage shape analysis for speed and precision. SAC 2018: 1857-1864 - [i14]Saksham Sharma, Pallav Agarwal, Parv Mor, Amey Karkare:
TipsC: Tips and Corrections for programming MOOCs. CoRR abs/1804.00373 (2018) - 2017
- [j3]Vishwesh Jatala, Jayvant Anantpur, Amey Karkare:
Scratchpad Sharing in GPUs. ACM Trans. Archit. Code Optim. 14(2): 15:1-15:29 (2017) - [c15]Amey Karkare, Nimisha Agarwal:
ParseIT: A Question-Answer based Tool to Learn Parsing Techniques. COMPUTE 2017: 115-120 - [c14]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: 92-97 - [c13]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: 740-751 - [i13]Amey Karkare, Nimisha Agarwal:
ParseIT: A Question-Answer based Tool to Learn Parsing Techniques. CoRR abs/1702.00562 (2017) - [i12]Vishwesh Jatala, Jayvant Anantpur, Amey Karkare:
GREENER: A Tool for Improving Energy Efficiency of Register Files. CoRR abs/1709.04697 (2017) - [i11]Prasanna Kumar K., Amitabha Sanyal, Amey Karkare:
An Incremental Slicing Method for Functional Programs. CoRR abs/1709.08016 (2017) - 2016
- [c12]Vishwesh Jatala, Jayvant Anantpur, Amey Karkare:
Improving GPU Performance Through Resource Sharing. HPDC 2016: 203-214 - [c11]Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy:
Program synthesis using natural language. ICSE 2016: 345-356 - [c10]Prasanna Kumar K., Amitabha Sanyal, Amey Karkare:
Liveness-based garbage collection for lazy languages. ISMM 2016: 122-133 - [c9]Amey Karkare, Nimisha Agarwal:
ParseIT: A Tool for Teaching Parsing Techniques. SIGCSE 2016: 590 - [i10]Prasanna Kumar K., Amitabha Sanyal, Amey Karkare:
Liveness-Based Garbage Collection for Lazy Languages. CoRR abs/1604.05841 (2016) - [i9]Vishwesh Jatala, Jayvant Anantpur, Amey Karkare:
Scratchpad Sharing in GPUs. CoRR abs/1607.03238 (2016) - [i8]Rajdeep Das, Umair Z. Ahmed, Amey Karkare, Sumit Gulwani:
Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis. CoRR abs/1608.03828 (2016) - 2015
- [c8]Vibha Patel, Sanjeev Aggarwal, Amey Karkare:
JolokiaC++: Optimizing Irregular Accesses for GPGPU. HPCC/CSS/ICESS 2015: 583-590 - [i7]Vishwesh Jatala, Jayvant Anantpur, Amey Karkare:
The More We Share, The More We Have: Improving GPU performance through Register Sharing. CoRR abs/1503.05694 (2015) - [i6]Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy:
Program Synthesis using Natural Language. CoRR abs/1509.00413 (2015) - 2014
- [c7]Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft:
Liveness-Based Garbage Collection. CC 2014: 85-106 - [c6]Vibha Patel, Sanjeev Aggarwal, Amey Karkare:
JolokiaC++: An Annotation Based Compiler Framework for GPGPUs. HPCC/CSS/ICESS 2014: 1134-1141 - 2013
- [j2]Sandeep Dasgupta, Amey Karkare, Vinay K. Reddy:
Precise shape analysis using field sensitivity. Innov. Syst. Softw. Eng. 9(2): 79-93 (2013) - [c5]Siddharth Agarwal, Amey Karkare:
Functional SMT solving with Z3 and racket. FormaliSE@ICSE 2013: 15-21 - [c4]Umair Z. Ahmed, Sumit Gulwani, Amey Karkare:
Automatically Generating Problems and Solutions for Natural Deduction. IJCAI 2013: 1968-1975 - [i5]Saravana Perumal P., Amey Karkare:
Retargeting GCC: Do We Reinvent the Wheel Every Time? CoRR abs/1309.7685 (2013) - 2012
- [c3]Sandeep Dasgupta, Amey Karkare:
Precise shape analysis using field sensitivity. SAC 2012: 1300-1307 - 2011
- [c2]Barnali Basak, Sandeep Dasgupta, Amey Karkare:
Heap Dependence Analysis for Sequential Programs. PARCO 2011: 99-106
2000 – 2009
- 2007
- [j1]Uday P. Khedker, Amitabha Sanyal, Amey Karkare:
Heap reference analysis using access graphs. ACM Trans. Program. Lang. Syst. 30(1): 1 (2007) - [i4]Amey Karkare, Amitabha Sanyal, Uday P. Khedker:
Heap Reference Analysis for Functional Programs. CoRR abs/0710.1482 (2007) - [i3]Amey Karkare, Uday P. Khedker, Amitabha Sanyal:
Liveness of Heap Data for Functional Programs. CoRR abs/cs/0703155 (2007) - 2006
- [i2]Uday P. Khedker, Amitabha Sanyal, Amey Karkare:
Heap Reference Analysis Using Access Graphs. CoRR abs/cs/0608104 (2006) - [i1]Amey Karkare, Amitabha Sanyal, Uday P. Khedker:
Effectiveness of Garbage Collection in MIT/GNU Scheme. CoRR abs/cs/0611093 (2006)
1990 – 1999
- 1998
- [c1]Amey Karkare, Manoj Singla, Ajai Jain:
Testability Preserving and Enhancing Transformations for Robust Delay Fault Testabilit. VLSI Design 1998: 370-373
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
