Back to homepage

MTech Projects

(*) : Tentative title for work in progress.

terminated


    2022-23

  1. Akansha Singh (Jointly with Prof Arnab Bhattacharya): SQL Tutor. [RESTRICTED]
  2. Ayush Sahni (Jointly with Prof Purushottam Kar): Program Repair and Retrieval an The Prutor Platform - I. [PDF, 1200K]
  3. Jeet Sarangi (Jointly with Prof Purushottam Kar): Program Repair and Retrieval an The Prutor Platform - II. [PDF, 1300K]
  4. Utkarsh Srivastava (Jointly with Prof Purushottam Kar): Program Repair and Retrieval an The Prutor Platform - III. [PDF, 1200K]

    5. 2021-22

  5. Tushar Gautam: ParseIT++: A Teaching tool for Parsing. [PDF, 1600K]
  6. Debanjan Chaterjee (Jointly with Prof Purushottam Kar): Intelligent Program Analysis and Program Indexing - I. [PDF, 1300K]
  7. Preeti Singh (Jointly with Prof Purushottam Kar): Intelligent Program analysis and Program Indexing - II. [PDF, 739K]
  8. Mayank Bansal (Jointly with Prof Purushottam Kar): Intelligent Program Analysis and Program Indexing - III. [PDF, 1800K]

    9. 2020-21

  9. Fahad Mohmedisuf Shaikh (Jointly with Prof Purushottam Kar): Advancements in AI-assisted Compilation Error Repair and Program Retrieval. [PDF, 954K]
  10. Sharath HP (Jointly with Prof Purushottam Kar): Real-world Deployments of AI-assisted Tools for Compilation Error Repair and Program Retrieval. [PDF, 2819K]
  11. Aditya Narhari Kadu: Optimizing and Vulnerability Testing of a Cloud-Based Intelligent Tutoring System. [PDF, 1220K]

    12. 2018-19

  12. Pawan Kr Patel: XsWebAll: Accessible Web for All. [PDF, 1989K]

    13. 2017-18

    -- Akshay Jindal (I was an unofficial supervisor. Official Supervisor: Prof Arnab Bhattacharya): Scaling a Web-Based Tutoring System From Classrooms to MOOCs. [PDF, 4399K]

    2015-16

  13. Praveen Singh (Jointly with Prof Arnab Bhattacharya): Automated Repair of Programs in Introductory Programming Courses. [PDF, 1030K]
  14. Ziyaan Dadachanji (Jointly with Prof Arnab Bhattacharya): Automated Feedback and Grading for Programs in Introductory Programming Courses. [PDF, 916K]

    15. 2014-15

  15. Swapnil Mahajan (Jointly with Prof Arnab Bhattacharya): DB Projector: A Web-based Tool for Querying, Analysis and Visualization of Data. [PDF, 820K]
  16. Sagar Parihar (Jointly with Prof Arnab Bhattacharya): Automated Grading Tool for Introductory Programming. [PDF, 1160K]
  17. Mohit Bhadade: Online Tutoring System for Learning Parsing Techniques. [PDF, 1418K]
  18. Nimisha Agrawal: A Tool for Teaching Parsing Techniques. [PDF, 849K]
  19. Ashwini Kshitij (Jointly with Prof Subhajit Roy): Interprocedural Concolic Execution: An Application to Improve Test Case Generation. [PDF, 997K]
  20. Rajdeep Das (Jointly with Dr Sumit Gulwani, MSR Redmond): A Platform for Data Analysis and Tutoring for Introductory Programming. [PDF, 1731K]
  21. Naman Bansal (Jointly with Dr Sumit Gulwani, MSR Redmond): Translating Natural Language Propositions To First Order Logic. [PDF, 1067K]
  22. Kamna: CRINK: Improved Automatic CUDA Code Generation for Affine C Programs [PDF, 1590K]
  23. Nitin Sharma (Jointly with Dr Dipankar Das, Intel Labs): Improving Loop Execution using Precise B/F Ratio Calculation. [PDF, 822K]

    24. 2013-14

  24. Akanksha Singh (Jointly with Prof Sanjeev Kr Aggarwal): CRINK: Automatic C to CUDA Code Generation for Affine Programs. [PDF, 1876K]
  25. Amruta Adewar (Jointly with Prof Sanjeev Kr Aggarwal):A Framework for Generation of Parallelizing Transformers from Specifications. [PDF, 417K]
  26. Pankaj More: Hot Code Reloading in Cloud Haskell. [PDF, 294K]
  27. Sonam Tiwari (Jointly with Prof Subhajit Roy): Automatic Generation of Testcases for High MCDC Coverage. [PDF, 2291K]
  28. Vineet Hingorani (Jointly with Prof Subhajit Roy): Automating Dictionary Mappings for Translating Natural Language Descriptions to Domain Specific Language Programs. [PDF, 858K]
  29. Vilay Kandi: Liveness based Garbage Collection for Java. [PDF, 1720K]
  30. Nikhil Pangarkar: Improving Liveness based Garbage Collection for Java. [PDF, 1241K]

    31. 2012-13

  31. Sailesh Kumar Raju R: Applying Machine Learning to Rank Domain-specific Logical Expressions of Natural Language Descriptions. [PDF, 1365K]
  32. Shruti Jadon (Student of Banasthali University): Detection of Code Clones using Machine Learning.

    33. 2011-12

  33. Rahul Gupta
  34. Siddarth Agrawal: Functional SMT solving: a new interface for programmers. [PDF, 604K]
  35. Pritesh Agrawal: Parallelizing LINQ program for GPGPU. [PDF, 1534K]
  36. Pankaj Pawan (Jointly with Dr Francesco Zappa Nardelli): Random Testing for Concurrency Compiler Bugs. [PDF, 2436K]
  37. Vinay Kr Reddy: Field Sensitive Shape Analysis : Implementation and Improvements. [PDF, 518K]
  38. Saravana P: Improving GCC Retargetability. [PDF, 751K]
  39. Subhash Kale: QuickEval: An Interactive Tool for Coverage Based Testing of Haskell Programs. [PDF, 941K]

    40. 2010-11

  40. V Praveen Reddy
  41. Sandeep Dasgupta (Jointly with Prof Sanjeev Kr Aggarwal): Precise Shape Analysis using Field Sensitivity. [PDF, 427K]
  42. Barnali Basak (Jointly with Prof Sanjeev Kr Aggarwal): Heap Dependence Analysis for Sequential Programs. [PDF, 325K]