Quick Links
Professor Amey Karkare
PhD (IIT Bombay)
Professor, Department of Computer Science and Engineering
Research Interest
Compilers, Functional Programming, Program Analysis & Code Optimization, Programming Languages and Education.
Office
Room No. 401, Rajeev Motwani Building,
Department of Computer Science and Engineering
IIT Kanpur,
Kanpur 208016
Education
PhD, IIT Bombay (2003 - 2008)
B.Tech., IIT Kanpur (1994 - 1998)
Teaching Area
Maintain Prutor: A Tutoring System for Introductory Programming
Students Supervised: Ph.D., M.Tech., B.Tech.
Recent Courses at IITK:Semester 1 (2022-23)Advanced Compiler Optimizations
Semester 1 (2021-22) Principles of Programming LanguagesSemester 2Compiler Design
Semester 1 (2020-21)Advanced Compiler OptimizationsSemester 2 Compiler DesignFull list of courses taught.
Previous Work Experience
IIT KanpurProfessor, 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 PositionsVisiting 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
Selected Publications
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.
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.
Awards & Fellowships
[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.