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

  1. Scratchpad Sharing in GPUs, Vishwesh Jatala, Jayvant Anantpur, Amey Karkare, ACM Transactions on Architecture and Code Optimization (accepted), 2017.
  2. Automatic Grading and Feedback using Program Repair for Introductory Programming Courses, Ziyaan Dadachanji, Praveen Kumar Singh, Sagar Parihar, Rajdeep Das, Amey Karkare and Arnab Bhattacharya, Innovation and Technology in Computer Science Education (ITiCSE), 2017.
  3. Liveness-Based Garbage Collection for Lazy Languages, Prasanna Kumar, Amitabha Sanyal & Amey Karkare, ACM SIGPLAN International Symposium on Memory Management (ISMM), 2016.
  4. Improving GPU Performance Through Resource Sharing, Vishwesh Jatala, Jayvant Anantpur & Amey Karkare, 25th Symposium on High-Performance Parallel and Distributed Computing (HPDC), Kyoto, JAPAN, 2016.
  5. Program Synthesis Using Natural Language, Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R & Subhajit Roy, International Conference on software Engineering (ICSE), Austin, TX, USA, 2016.
  6. ParseIT: A Tool for Teaching Parsing Techniques, Amey Karkare & Nimisha Agarwal, SIGCSE (Demo Track), Memphis, TN, USA, 2016.
  7. JolokiaC++: Optimizing Irregular Accesses for GPGPU, Vibha Patel, Sanjeev Aggarwal & Amey Karkare, International Conference on High Performance Computing and Communications (HPCC), New York, NY, USA, 2015.
  8. Anaphoras without syntax - in a Geometry Construction context, Pankaj Prateek Kewalramani, Jeetesh Mangwani, Amey Karkare, Sumit Gulwani and Amitabha Mukerjee, 11th International Conference on Natural Language Processing (ICON), Goa, India, 2014 (Short Communication)
  9. JolokiaC++: An Annotation Based Compiler Framework for GPGPU, Vibha Patel, Sanjeev Aggarwal & Amey Karkare, First International Workshop on Graphical Processing Unit (GPU), Paris, France, 2014
  10. Liveness-Based Garbage Collection, Rahul Asati, Amitabha Sanyal, Amey Karkare & Alan Mycroft, International Conference on Compiler Construction (CC), Grenoble, France, 2014. [Colored graphs]
  11. Automatically Generating Problems and Solutions for Natural Deduction, Umair Ahmed, Sumit Gulwani and Amey Karkare, International Joint Conference on Artificial Intelligence (IJCAI), Beijing, China, 2013.
  12. Functional SMT solving with Z3 and Racket, Siddharth Agarwal & Amey Karkare, FME Workshop on Formal Methods in Software Engineering (FormaliSE), San Francisco, USA, 2013.
  13. Precise Shape Analysis using Field Sensitivity, Sandeep Dasgupta, Amey Karkare & Vinay Kr Reddy, Innovations in Systems and Software Engineering (ISSE), 2013. (Supercedes SAC'2012 version of the paper)
  14. 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, Feb 2013.
  15. Precise Shape Analysis using Field Sensitivity, Sandeep Dasgupta & Amey Karkare, 27th ACM Symposium On Applied Computing (SAC 2012), Riva del Garda (Trento), Italy, March 25-29, 2012.
  16. Heap Dependence Analysis for Sequential Programs, Barnali Basak, Sandeep Dasgupta & Amey Karkare, International Conference on Parallel Computing (ParCo 2011), Ghent, Belgium, August 30 - September 2, 2011
  17. Heap Reference Analysis Using Access Graphs, Uday Khedker, Amitabha Sanyal & Amey Karkare, ACM Transactions on Programming Languages & Systems (TOPLAS). 30, 1 (Nov. 2007), 1.
  18. Heap Reference Analysis for Functional Programs, Amey Karkare, Amitabha Sanyal & Uday Khedker, ACM Computing Research Repository, October 2007.
  19. Liveness of Heap Data for Functional Programs, Amey Karkare, Uday Khedker & Amitabha Sanyal, Heap Analysis and Verification workshop, March 2007, Braga, Portugal.
  20. Effectiveness of Garbage Collection in MIT/GNU Scheme, Amey Karkare, Amitabha Sanyal & Uday Khedker, ACM Computing Research Repository, November 2006.
  21. 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, Chennai, January 4-7, 1998, pp 370-373.
  22. An Efficient Sorting Algorithm on Butterfly, M. Singla, A. Karkare & P. Gupta, JASS, Vol.39(3), 1998.
  23. A New Paradigm for Computation on Butterfly, M. Singla, A. Karkare & P. Gupta, Proceeding of the International Conference on Computing and Information Technology (ICCIT), Dhaka, Bangladesh, 1998.
  24. Sorting on Butterfly, M. Singla, A. Karkare & P. Gupta, Proceedings of the National Conference on Computer & Information Systems, Dhaka, Bangladesh, 1997.

Posters / Presentations

  1. Resource Sharing for GPUs, Vishwesh Jatala, Jayvant Anantpur & Amey Karkare, Code Generation and Optimization (CGO, Poster Track), Barcelona, Spain, 2016.
  2. Problem Generation and Solution Generation for Natural Deduction presented at Microsoft Research Redmond Lab Open House, June 18, 2013.
  3. 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, June 12-14, 2012.
  4. Heap Reference Analysis using Access Graphs presented at Workshop on Formal Methods for Design and Analysis of Software, October 7-8, 2005, Microsoft Research India, Bangalore.