PhD Thesis Supervised

  1. Inferring Grammar Rules from Programs, Alpana Dubey, July 2006
  2. Program Verification, Saurabh Joshi, In Progress
  3. HPC using Graphic Processor Units, Vibha Patel, In Progress

MTech Thesis Supervised

  1. A Method for Compiler Generation using Rewrite Rules, K C S Reddy, Jan 1991
  2. F2C: A F77 to C Covertor, J Mahesh Kumar, Jul 1991
  3. A Systolic array Parallelizing Compiler, C S Raghvendra Feb 1992
  4. A Modular Compiler Structure: Its Design and Implementation for C, K Venu Madhav Apr 1992
  5. A Workbench for Denotational Semantics, S Shylaja, Jan 1993
  6. A modular Distributed Constrained Logic Programming System, A Karve, Jan 1993
  7. Fortran-D Parallelizing Compiler: Restructuring Phase, R Ananda, Feb 1993
  8. Fortran-D Parallelizing Compiler: Scheduling Phase, S Gautam, Feb 1993
  9. On Re-engineering Cobol Programs, P L Srinivas, Mar 1993
  10. Frontend of a SISAL compiler, V P Riyaz, Mar 1993
  11. Fortran-D Parallelizing Compiler: Frontend Phase, R K Singh, Apr 1993
  12. Program Development Environment for Twine RISC machine, P Shyamsunder, Feb 1994
  13. Optimization of Fortran90 Programs: Alias Analysis, B Murali, Apr 1994
  14. Code Generator for Convex-220, G Narasimhan, Oct 1994
  15. Optimizing Loops for Execution on Vector Processors, S Govindraj, Feb 1995
  16. Automatic Parallelization of Loops, B Muralidhar, Feb 1995
  17. Data Dependence Tests for Loop Parallelization, S Singhai, Feb 1995
  18. Code Generator for Twine-RISC, M S S Rao, Feb 1995
  19. Design, Simulation and Algorithm Mapping for A DSP Multiprocessor array-I, S Kamath, Feb 1995
  20. Design, Simulation and Algorithm Mapping for A DSP Multiprocessor array-II, B Venugopal, Feb 1995
  21. A G-Machine Based Compiler for Lazy and Eager Functional Languages, E K Kumar, Mar 1995
  22. Re-engineering: Cobol to C-SQL, A Sathish Kumar, Feb 1996
  23. Recovery of data model from Cobol programs, S Suresh Kumar, Apr 1996
  24. Incremental data dependence analysis, K V Praveen, Apr 1996
  25. Compiling HPF for network of workstations, Davi Gupta, Apr 1996
  26. Enhancement of Gatest, Ch Sudhakar, Apr 1996
  27. Tools for enforcing software coding standards, D Kakati, Jan 1997
  28. A generative approach for development of Test coverage analyzers, U Bhattacharya, Jan 1997
  29. Impact Analysis and Its Applications in the Year2000 Problem, H S Paul, Apr 1998
  30. A Logic Based Approach for Enforcing Coding Standards, S Gorti, Mar 1998
  31. Compiler Back End Generation from nML Machine Description, Shishir Mondal, Jun 1999
  32. Recovery of Grammars from Legacy Programs, Rahul Jain, Feb 2000
  33. Automatic Generation of Code Compliance Tools, R S Venkata Raghavan, Mar 2000
  34. Automatic Generation of Coverage Analyzers, G M Khan, Apr 2000
  35. Parallelization of Application Programs for a Network of Work Stations using MPI, Yatin Nayak, May 2000
  36. Development of Code Generator Generator for GNU Set of Compilers, Prashant Pogde, May 2000
  37. A Framework for Automatic Generation of Code Optimizers, Kingshuk Karuri, May 2001 (won the Cadence Medal for the best thesis)
  38. A Framework for Automatic Data Layout for Distributed Memory Machines, R Maloo, Apr 2001
  39. A Workbench for Loop Transformations, B V Mohan Reddy, Apr 2001
  40. Debugging Optimized Code: Value Change Problem, M Sarath Kumar, Apr 2001
  41. Automated Generation of Code Compliance Checkers, Y Prasanth, Apr 2001
  42. Code generators for GNU Compilers from Sim-NML, Sourav Bhattacharya, July 2001
  43. Analysis and Optimization of Adaptive Irregular Problems, Ashutosh Vyas, Nov 2001
  44. Efficient code generation on an SMP cluster, Vaibhav Krishna, April 2003
  45. Recovery of CFG from Programs, Shiladitya Biswas, May 2003
  46. Temporal Profile based Code Layout OPtimizations, Ankur Arora, Jul 2004
  47. Loop Optimizations, Dhanunjaya Naidu Yandrapu, Nov 2004
  48. Workflow Editors for Composing Applications on Grids, Arati Kadav, May 2005
  49. Code generation for Irregular Data Distribution Programs, Anshu Jain, Jun 2005
  50. Debuggers for Distributed environments, Pratik Mehta, Jul 2005
  51. Modeling and Verifying Workflows for Computational Grids, Sumit Sorde, Jul 2006
  52. An Interactive Debugger for Message Passing Parallel Programs, R Kaushik, Jul 2006
  53. An Ontology based Service Discovery System for Workflow Composition, Vivek Mishra, Jun 2007
  54. A Tools for Parallelizing Programs for Multi-core architectures, Renjith Varma, Jul 2007
  55. Design and Implementation of a SET Language, Anurag Saxena, Jul 2007
  56. Slicing OpenMP Programs, Avik Paul, Jul 2007
  57. Hierarchical Dynamic Scheduler for Grid Workflow Applications, Nitin Gorde, May 2008
  58. Energy Aware Scheduling on Grid Environment with Static Performance Prediction, Kamal Sharma, May 2008
  59. Code Generation using Parallel Patterns, Rishabh Uppal, May 2008
  60. Tool Assisted Modification of Features in Software, Pooja Dixit, June 2008
  61. Compiling Irregular Accesses for the Cell Broadband Engine, Pramod Bhatotia, June 2008
  62. Generating Code Compliance Checkers from Coding Specifications, Praveen Yedlapalli, June 2008
  63. Compiler for languages for Programmable Logic Controllers, Hitendra Singh, July 2008
  64. Improving Speculative Loop Parallelization via Slective Squash and Speculation Reuse, Santosh Sharma, May 2009
  65. Configurable Static Code Analysis Tool: CodeChecker, Makarand Gawade, May 2009 (won Pankaj Jalote Award for the best Software)
  66. Speeding Up Scilab Code, Darshana Wagh, May 2009
  67. Towards a Parallel Program Development Environment Based on Parallel Patterns, Nitin Agarwal, May 2009
  68. A Workbench for Code Optimization, Sachin B Khot, June 2009
  69. Towards Automatic Speculative Parallelization on the Cell Broadband Engine, Kshitiz Garg, June 2009
  70. Vishwesh Inamdar, Workbench, In Progress
  71. M Deepak, Speculative Parallelism, In Progress
  72. Abhishek B Gupta, Parallel Patterns, In Progress
  73. Ankur Deshwal, GPU Processors, In Progress
  74. Deepti Vidyarthi, Verification and testing, In Progress
  75. Sahil Suneja, Parallel I/O, In Progress

BTech Projects Supervised

  1. A Tool to perform vectorization, V Purohit and R K Singh, 1991
  2. F8X Compiler Front-end, S Kamath and M Moorthy, 1992
  3. APL to F8X Convertor, S Nayak and M K Das, 1992
  4. A Compiler for VLIW Machine, Ashwin Goel and N Sinha, 1992
  5. Generation of Term Rewriting Rules for Compiler backends using Denotational Specifications, A Bajaj and S Giri, 1992
  6. A Workbench for Computational Geometry, A Meena and Saibal Das, 1992
  7. Fortran 90 Compiler for Convex - 220, V Mohan and V S Anil Kumar, 1993
  8. Assembler and dis-assembler for T800, S Pradeep and P Parikh, 1994
  9. Graphical representation of SISAL Programs, Rajeev Rai and S Prasad, 1994
  10. Re-engineering of Cobol programs, SAS Sastry, 1995
  11. A compiler Construction Workbench, M Plakal, 1996
  12. Test Data coverage for a Parser, A Chandra, 1997
  13. Software cost and performance estimation in CFSM based Hardware and Software Co-design, T V Prasanna Vinay Kumar, 1997
  14. Year2000 Problem, A Mishra and P Prakash, 1997
  15. Syntax Directed Folding Editor for C++, Anup, 1998
  16. Test Coverage Analyzer for C++, Sunil Jain, 1999
  17. Parallelizer: A Tool for Parallelizing Sequential Code, Alok Kumar, 1999
  18. Debugging Optimized Code, Abhishek Prabhat, 2001
  19. Checkpointing Fortran/MPI Programs for Computational Grid, Manav Ratan Mittal and Chaitanya Mishra, 2004
  20. Compiler Algorithm Language (CAL): An interpreter and COmpiler, Abhinav Bhatele and Shubham Satyarth, 2005
  21. Analysis of Binary Programs, Vikas Kumar, Kapil Kumar, 2005
  22. Program Analysis for generating Sandbox Policies, Pankaj Goel, 2005
  23. Symbolic Time Complexity of Recursive Procedures, Sagar Jain, 2009 (Won the Best BTP Award)


2011-01-25