The below list is under construction.
To point out additions, send me a mail.



M.Tech/M.S. Thesis

1. Satyashil Awadhare, Extensions to Tropos for Requirements Engineering, 2004
   
2. E. Vasudeva, A Framework for Ambient Calculus over .NET, 2005
3. Naval Vaidya, Refactoring for Aspects, 2005
   
4. Dinesh Gopalani, A Calculus for Filter Objects, 2005
   
5. Ashutosh Bapat, Pitch Detection of Singing Voice in Tabla Accompaniment, 2005. (as coguide)
   
6. Subash Rajaa, Concurrency Abstractions: New Problems and Solution Techniques, 2005
   
7. Anil Gracias, Towards Re-engineering of Linux Kernel from Procedural to Object-Oriented, 2002
   
8. Yamini Sharma, ARC Function Calls, 1999
   
9. Gangi Srirami Reddy, Filter Objects for Distributed Object Systems, 1999.
   
10. Amit L. Padalkar, Filter Object Framework for MICO - Dynamic Model, 2003.
    
11. Pranav Nabar, Filter Object Framework for MICO - Static Model, 2003.
    
12. L. Aruna, Support for Dynamic Task Distribution on an RPC-based ARC Kernel, 2001
    
13. Amit Soni, Modeling Inheritance using Categories, 2003
    
14. Sneha Phadke, A Framework Approach to Workflow, 2000. (as coguide)
    
15. Dipali Choudhari, Techniques and Tools for Indian languages support on Linux, 2004.
    
16. Harsha Mahuli, Techniques for Automatic Identification of Objects and their Relationships from Procedural Code, 2004
    
17. Sagar Tamhane, Design and Implementation of Web content File System on Raw Disk for Linux, 2003
    
18. Sunitha Reddy, Category Models for Components, 2003
    
19. T. Vamsi Kalyan, Design and Implementation of a Service Oriented ARC Framework for C# over Lan and Internet, 2003
    
20. Ashish Vanarase, Applying Global and Type based Object Identification Techniques, 2005
    
21. Yogesh Muraraka, Enhanced Filter Object Model for Java and its Applications, 2003
    
22. Sonal Bhagat, Component-based Programming and Methodologies, 2001
    
23. Mahesh Soundalgekar, Shodh: Towards a Search Engine for Marathi content on the web, 2002
    
24. Hira Nikhade, Internal Triggers for Object Oriented Programming Languages, 1999
    
25. Maruska Mascarenhas, A Component Adaptation Technique using Filter Objects Framework, 2004
    
26. Neeraj Bhope, Towards Pure Component Programming, 2001
    

B.Tech Projects

1. Satyajit Kumar Jha   Taguchi Method for Software Testing, 2003
   
2. Pankaj Kumar   Orthogonal Arrays and their Application in Software Testing, 2004
   
3. Himanshu Agrawal    Application of Filter Objects Model for Java in online registration system, 2003
4. ... to be updated soon