Back to homepage

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Publications / Technical Writings

(DBLP)
  1. A Bug's New Life: Creating Refute Questions from Filtered CS1 Student Code Snapshots, Nimisha Agarwal, Viraj Kumar, Arun Raman & Amey Karkare, in CompEd, Hyderabad, India, 2023. [*Best Paper Award*]
  2. P2RUTOR: A Programming Tutor for Parallel Programming, Deepak B. Hegde, Preeti Malakar & Amey Karkare, in HiPC 2023 - Workshop, Goa, India, 2023.
  3. Advances in Automated Pedagogical Error Repair, Sharath H. Padmanabha, Fahad Shaikh, Mayank Bansal, Debanjan Chatterjee, Preeti Singh, Amey Karkare & Purushottam Kar, in Innovations in Software Engineering , Prayagraj, India, 2023. [*Best Paper Award*]
  4. PRIORITY: An Intelligent Problem Indicator Repository, Sharath H. Padmanabha, Fahad Shaikh, Mayank Bansal, Debanjan Chatterjee, Preeti Singh, Amey Karkare & Purushottam Kar, in Innovations in Software Engineering , Prayagraj, India, 2023.
  5. Prutor: An Intelligent Learning and Management System for Programming Courses, Amey Karkare and Purushottam Kar, in Communications of the ACM, Volume 65, Issue 11, November 2022.
  6. LEGenT: Localizing Errors and Generating Testcases for CS1, Nimisha Agarwal & Amey Karkare, in Learning at Scale (L@S), New York City, USA, 2022.
  7. Instructor Performance on Progressively Complex Programming Tasks: A Multi-Institutional Study from India, Viraj Kumar & Amey Karkare, in 26th annual conference on Innovation and Technology in Computer Science Education (ITiCSE), Paderborn, Germany, 2021.
  8. Inclusive Accommodations for Persons with Visual Impairments in Computer Based Tests, Pawan Patel, Amey Karkare and Gaurav Raheja, in 5th International Conference on Universal Design (UD 2021), Finland, 2021.
  9. 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, in Working Group Reports on Innovation and Technology in Computer Science Education (ITiCSE WGR), Trondheim, Norway, 2020.
  10. 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, in Innovation and Technology in Computer Science Education (ITiCSE), Trondheim, Norway, 2020.
  11. Characterizing the Pedagogical Benefits of Adaptive Feedback for Compilation Errors by Novice Programmers Umair Z. Ahmed, Nisheeth Srivastava, Renuka Sindhgatta & Amey Karkare, in International Conference on Software Engineering (ICSE 2020), Software Engineering Education and Training (SEET) Track, Seoul, South Korea, 2020.
  12. 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, in Working Group Reports on Innovation and Technology in Computer Science Education (ITiCSE WGR), Aberdeen, UK, 2019.
  13. Targeted Example Generation for Compilation Errors, Umair Z. Ahmed, Renuka Sindhgatta, Nisheeth Srivastava & Amey Karkare, in International Conference on Automated Software Engineering (ASE), San Diego, California, USA, 2019. (arXiv version)
  14. Accessibility Evaluation of Computer Based Tests, Pawan Kumar Patel & Amey Karkare, in International Conference of the Association for the Advancement of Assistive Technology in Europe (AAATE), Bologna, Italy, 2019.
  15. 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, in Innovation and Technology in Computer Science Education (ITiCSE), Aberdeen, UK, 2019.
  16. A Static Slicing Method for Functional Programs and Its Incremental Version, Prasanna Kumar, Amitabha Sanyal, Amey Karkare & Saswat Padhi, in International Conference on Compiler Construction (CC), Washington DC, USA, 2019.
  17. Reducing GPU Register File Energy, Vishwesh Jatala, Jayvant Anantpur & Amey Karkare, in Euro-Par, Turin, Italy, 2018. (arXiv version)
  18. TipsC: Tips and Corrections for Programming MOOCs, Saksham Sharma, Pallav Agarwal, Parv Mor & Amey Karkare, in International Conference on Artificial Intelligence in Education (AIED), London, UK, 2018. (arXiv version)
  19. Compilation Error Repair: For the Student Programs, From the Student Programs, Umair Z Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar & Sumit Gulwani, in International Conference on Software Engineering (ICSE), Software Engineering Education and Training (SEET) Track, Gothenburg, Sweden, 2018.
  20. TwAS: Two-stage Shape Analysis for Speed and Precision, Amey Karkare, in ACM/SIGAPP Symposium On Applied Computing (SAC), Pau, France, 2018.
  21. ParseIT: A Question-Answer based Tool to Learn Parsing Techniques, Amey Karkare & Nimisha Agarwal, in 10th Annual ACM India Compute Conference (Compute), Bhopal, India, 2017.
  22. A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments, Jooyong Yi, Umair Ahmed, Amey Karkare, Shin Hwei Tan & Abhik Roychoudhury, in Joint Meeting of the European Software Engineering Conference and the ACM Sigsoft Symposium on the Foundations of Software Engineering (ESEC/FSE), Paderborn, Germany, 2017.
    Artifacts Evaluated - Functional (Download)
  23. Scratchpad Sharing in GPUs, Vishwesh Jatala, Jayvant Anantpur & Amey Karkare, in ACM Transactions on Architecture and Code Optimization (TACO) Volume 14 Issue 2, 2017.
  24. Automatic Grading and Feedback using Program Repair for Introductory Programming Courses, Ziyaan Dadachanji, Praveen Kumar Singh, Sagar Parihar, Rajdeep Das, Amey Karkare & Arnab Bhattacharya, in Innovation and Technology in Computer Science Education (ITiCSE), Bologna, Italy, 2017.
  25. Liveness-Based Garbage Collection for Lazy Languages, Prasanna Kumar, Amitabha Sanyal & Amey Karkare, ACM SIGPLAN International Symposium on Memory Management (ISMM), Santa Barbara, California, USA, 2016.
  26. Improving GPU Performance Through Resource Sharing, Vishwesh Jatala, Jayvant Anantpur & Amey Karkare, in Symposium on High-Performance Parallel and Distributed Computing (HPDC), Kyoto, JAPAN, 2016.
  27. Program Synthesis Using Natural Language, Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R & Subhajit Roy, in International Conference on software Engineering (ICSE), Austin, TX, USA, 2016.
  28. ParseIT: A Tool for Teaching Parsing Techniques, Amey Karkare & Nimisha Agarwal, in SIGCSE (Demo Track), Memphis, TN, USA, 2016.
  29. JolokiaC++: Optimizing Irregular Accesses for GPGPU, Vibha Patel, Sanjeev Aggarwal & Amey Karkare, in International Conference on High Performance Computing & Communications (HPCC), New York, NY, USA, 2015.
  30. Anaphoras without syntax - in a Geometry Construction context, Pankaj Prateek Kewalramani, Jeetesh Mangwani, Amey Karkare, Sumit Gulwani & Amitabha Mukerjee, in International Conference on Natural Language Processing (ICON), Goa, India, 2014 (Short Communication)
  31. JolokiaC++: An Annotation Based Compiler Framework for GPGPU, Vibha Patel, Sanjeev Aggarwal & Amey Karkare, in First International Workshop on Graphical Processing Unit (GPU), Paris, France, 2014
  32. Liveness-Based Garbage Collection, Rahul Asati, Amitabha Sanyal, Amey Karkare & Alan Mycroft, in International Conference on Compiler Construction (CC), Grenoble, France, 2014. [Colored graphs]
  33. Automatically Generating Problems and Solutions for Natural Deduction, Umair Ahmed, Sumit Gulwani & Amey Karkare, in International Joint Conference on Artificial Intelligence (IJCAI), Beijing, China, 2013.
  34. Functional SMT solving with Z3 and Racket, Siddharth Agarwal & Amey Karkare, FME Workshop on Formal Methods in Software Engineering (FormaliSE), San Francisco, USA, 2013.
  35. Precise Shape Analysis using Field Sensitivity, Sandeep Dasgupta, Amey Karkare & Vinay Kr Reddy, in Innovations in Systems and Software Engineering (ISSE), 2013. (Supercedes SAC'2012 version of the paper)
  36. Retargeting GCC: Do We Reinvent the Wheel Every Time?, Saravana Perumal P & Amey Karkare, The Second Asia-Pacific Programming Languages and Compilers Workshop (APPLC), Shenzen, China, 2013.
  37. Precise Shape Analysis using Field Sensitivity, Sandeep Dasgupta & Amey Karkare, in ACM Symposium On Applied Computing (SAC 2012), Riva del Garda (Trento), Italy, 2012.
  38. Heap Dependence Analysis for Sequential Programs, Barnali Basak, Sandeep Dasgupta & Amey Karkare, in International Conference on Parallel Computing (ParCo 2011), Ghent, Belgium, 2011
  39. Heap Reference Analysis Using Access Graphs, Uday Khedker, Amitabha Sanyal & Amey Karkare, in ACM Transactions on Programming Languages & Systems (TOPLAS). 30, 1 (Nov. 2007), 1.
  40. Heap Reference Analysis for Functional Programs, Amey Karkare, Amitabha Sanyal & Uday Khedker, ACM Computing Research Repository, October 2007.
  41. Liveness of Heap Data for Functional Programs, Amey Karkare, Uday Khedker & Amitabha Sanyal, Heap Analysis and Verification workshop, 2007, Braga, Portugal.
  42. Effectiveness of Garbage Collection in MIT/GNU Scheme, Amey Karkare, Amitabha Sanyal & Uday Khedker, ACM Computing Research Repository, November 2006.
  43. Testability Preserving and Enhancing Transformations for Robust Delay Fault Testability, Amey Karkare, Manoj Singla & Ajai Jain, VLSI DESIGN'98, 11th International Conference on VLSI Design, 1998, Chennai.
  44. An Efficient Sorting Algorithm on Butterfly, M. Singla, A. Karkare & P. Gupta, JASS, Vol.39(3), 1998.
  45. A New Paradigm for Computation on Butterfly, M. Singla, A. Karkare & P. Gupta, Proceedings of the International Conference on Computing and Information Technology (ICCIT), 1998, Dhaka, Bangladesh.
  46. Sorting on Butterfly, M. Singla, A. Karkare & P. Gupta, Proceedings of the National Conference on Computer & Information Systems, 1997, Dhaka, Bangladesh.

Posters / Presentations / Other Writings

  1. COMPUTE 2022 Proceedings, Venkatesh Choppella, Amey Karkare, Chitra Babu & Sridhar Chimalakonda, in COMPUTE, Jaipur, 2022.
  2. A Report on Tutorials co-located with ISEC 2020, Amey Karkare, in Innovations in Software Engineering Conference (ISEC), Jabalpur, India, 2020.
  3. A report on 1st Software Engineering Research in India Update Meeting (SERI 2019), Sai Anirudh Karre, Lalit S Mohan, Y Raghu Raghu Reddy, Komondoor V Raghavan, Ravindra Naik, Rahul A Purandare & Amey Karkare, in ACM SIGSOFT Software Engineering Notes, Bangalore, India, 2019.
  4. Resource Sharing for GPUs, Vishwesh Jatala, Jayvant Anantpur & Amey Karkare, in Code Generation and Optimization (CGO, Poster Track), Barcelona, Spain, 2016.
  5. Problem Generation and Solution Generation for Natural Deduction presented at Microsoft Research Redmond Lab Open House, Redmond, WA, USA, 2013.
  6. Functional SMT solving with Z3 and Racket, Siddharth Agarwal & Amey Karkare, 2012 Symposium on Trends in Functional Programming (TFP 2012), University of St Andrews, UK, 2012.
  7. Heap Reference Analysis using Access Graphs presented at Workshop on Formal Methods for Design and Analysis of Software, Microsoft Research India, Bangalore, 2008.