| Student |
Title |
| Arnab De | Automatic Predicate Abstraction of Single-Threaded Java Programs
|
| Debmalya Panigraphi | Fast Algorithms in Graph Connectivity
|
| Sqn. Ldr. R. Kumar (Defence) | Clock Synchronization in Wireless Sensor Networks
|
| Anand S | Journaling and Tagged Flash File System
|
| Subhasree (QIP) | Decision Procedures for Constraint Temporal Logic
|
| Akinapelli Sandeep | Online Construction of Search-Friendly Persistent Suffix-tree Layouts
|
| Ropeesh S | Security Analysis of an Archival Storage Protocol
|
| Krishnan Suresh Kumar | A Randomized Algorithm for Large Scale Almost Linearly Separable Classification Problems with Applications to Text
|
| Bayapuneni V K Chaitanya | Unmodified Linux Device Driver Reuse on L4
|
| Gottipati Naveen Kumar | Distributed Simulation of Semiconductor Manufacturing Systems
|
| Vaghela Sanjaykumar Ishvarbhai | Fast Algorithms for RNA Secondary Structure Prediction
|
| K. Karthik | Fast, Language Independent, Handwriting Recognition Algorithms for Handheld Devices
|
| Manikantan R | Performance Enhancement Schemes for Supercsalar Processors : Exploiting Narrow Width Results and Limited Prefetching
|
| Keyur Kumar V Faldu | Efficient and Scalable Tagged Flash File System
|
| Prakash Prabhu J | Field Flow Sensitive Pointer and Escape Analysis for Java as Logic Programs using SSA
|
| Muralidhar (QIP) | Performance Analysis of 3G-WLAN Multimode System
|
| Prateem Mandal | A Persistent SEMEQUAL Operator
|
| Kalyana Chakravarthi M | N E C T A R : Nash Equilibria CompuTAtion Resource
|
| Vineet Kumar Chugh | Development of Ontology for Fault Diagnosis in Southern Power Grid of India
|
