• 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*]

• 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.

• 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.

• LEGenT: Localizing Errors and Generating Testcases for CS1, Nimisha Agarwal & Amey Karkare, in Learning at Scale (L@S), New York City, USA, 2022.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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)

• 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.

• 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.

• 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.

• Reducing GPU Register File Energy, Vishwesh Jatala, Jayvant Anantpur & Amey Karkare, in Euro-Par, Turin, Italy, 2018. (arXiv version)

• 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)

• 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.

• TwAS: Two-stage Shape Analysis for Speed and Precision, Amey Karkare, in ACM/SIGAPP Symposium On Applied Computing (SAC), Pau, France, 2018.

• 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.

• 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)

• Scratchpad Sharing in GPUs, Vishwesh Jatala, Jayvant Anantpur & Amey Karkare, in ACM Transactions on Architecture and Code Optimization (TACO) Volume 14 Issue 2, 2017.

• 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.

• 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.

• 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.

• 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.

• ParseIT: A Tool for Teaching Parsing Techniques, Amey Karkare & Nimisha Agarwal, in SIGCSE (Demo Track), Memphis, TN, USA, 2016.

• 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.

• 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)

• 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

• Liveness-Based Garbage Collection, Rahul Asati, Amitabha Sanyal, Amey Karkare & Alan Mycroft, in International Conference on Compiler Construction (CC), Grenoble, France, 2014. [Colored graphs]

• 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.

• Functional SMT solving with Z3 and Racket, Siddharth Agarwal & Amey Karkare, FME Workshop on Formal Methods in Software Engineering (FormaliSE), San Francisco, USA, 2013.

• 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)

• 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.

• Precise Shape Analysis using Field Sensitivity, Sandeep Dasgupta & Amey Karkare, in ACM Symposium On Applied Computing (SAC 2012), Riva del Garda (Trento), Italy, 2012.

• Heap Dependence Analysis for Sequential Programs, Barnali Basak, Sandeep Dasgupta & Amey Karkare, in International Conference on Parallel Computing (ParCo 2011), Ghent, Belgium, 2011

• 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.

• Heap Reference Analysis for Functional Programs, Amey Karkare, Amitabha Sanyal & Uday Khedker, ACM Computing Research Repository, October 2007.

• Liveness of Heap Data for Functional Programs, Amey Karkare, Uday Khedker & Amitabha Sanyal, Heap Analysis and Verification workshop, 2007, Braga, Portugal.

• Effectiveness of Garbage Collection in MIT/GNU Scheme, Amey Karkare, Amitabha Sanyal & Uday Khedker, ACM Computing Research Repository, November 2006.

• 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.

• An Efficient Sorting Algorithm on Butterfly, M. Singla, A. Karkare & P. Gupta, JASS, Vol.39(3), 1998.

• 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.

• Sorting on Butterfly, M. Singla, A. Karkare & P. Gupta, Proceedings of the National Conference on Computer & Information Systems, 1997, Dhaka, Bangladesh.

• Professor, July 2021 - Present

• Associate Professor, November 2016 - June 2021

• Assistant Professor, June 2010 - November 2016

Synopsys (India) Pvt. Ltd.

• June 2008 - May 2010

• June 1999 - March 2003

Visiting and Short Term Positions

• Visiting Researcher at IIT Bombay, Jan 2016 - Nov 2016

• Visiting Researcher at Microsoft Research, Redmond, June 2013 - Sept 2013

• Intern at Nusym Technology India Pvt Ltd, September 2007 - November 2007

• Epic Systems Corporation, November 1998 - April 1999

• SAP (India) Labs (Formerly Keifer & Veittenger (India) Ltd.), July 1998 - October 1998

• Maintain Prutor: A Tutoring System for Introductory Programming

• Students Supervised: Ph.D., M.Tech., B.Tech.

• Recent Courses at IITK:

  Year	Semester 1	Semester 2
  2022-23	Advanced Compiler Optimizations
  2021-22	Principles of Programming Languages	Compiler Design
  2020-21	Advanced Compiler Optimizations	Compiler Design

  Full list of courses taught.

• [2022] Poonam and Prabhu Goel Chair Fellowship at IIT Kanpur for the duration July 2022 - June 2025.

• [2019] 1989 Batch Faculty Award of IIT Kanpur in recognition of excellence to use innovative and technology enhanced content to improve the quality of undergraduate instruction while reducing the faculty effort.

• [2018] Best Faculty of the Year Award in the category "Innovative Application of Technology Tools in Teaching/Learning" by the Computer Society of India's Mumbai Chapter.

• [2013] P. K. Kelkar Young Faculty Research Fellowship at IIT Kanpur for the duration June 2013 - May 2016.

Office

Room No. 401, Rajeev Motwani Building,
Department of Computer Science and Engineering
IIT Kanpur,
Kanpur 208016

Office Phone: 0512-259-7520 (O)

Email: karkare[AT]iitk.ac.in