I have done research (RnD) projects in primararily two fields:
First is the field of static program analysis. This is part of the compilers and programming languages. I have been working on designing and implementing interprocedural static analysis on concurrent programs.
I have also worked in the field of performance analysis of distributed networked applications. One of my project involves understading the power performance trade-offs of networked applications. I have also worked on the problem of cell outage compensation in mobile networks (simulation), which also has power-performance tradeoffs.
Heap Reference Analysis for Concurrent Programs
Undergraduate Thesis under Prof. Uday Khedkar, IIT-Bombay
- Working on understanding program analysis techniques for concurrent programs. Final aim is to implement heap reference analysis for concurrent programs. The analysis should be static and inter-procedural.
- Currently understanding the mechanism to perform data flow analysis for non-racy concurrent programs. Need to integrate this with the SOOT framework to perform data flow analysis for Java.
- Also working on implementing inter-procedural analysis in SOOT. This requires the use of Context Sensitivity using value contexts (VASCO) for carrying out analysis.
- Would need to use VASCO on concurrent programs to implement a heap reference analysis , which is liveness analysis followed by points to analysis on the input program.
Understanding the power-performance of networked applications.
Research & Development Project under Prof. Varsha Apte, IIT-Bombay
- Performing validation of the model to estimate the expected power consumption of a networked application.
- Main goal is to design experiments on a server cluster and measure the power consumption. This need to be matched with the PowerPerfCenter tool, whose model is to be validated. Also studying the dependence between the operating frequency of a CPU, CPU utilization and the average power consumed.
- Currently, experimenting by generating different levels of load for a simple web-calendar application hosted on a 8-core machine. Also performed benchmarking on machines to confirm the linear dependence of power consumed with utilization for a fixed operating CPU frequency.
Cell Outage Compensation
TU-Braunschweig, Germany, Guided by Prof. Thomas Kuerner
Worked on current research problems in self-organizing networks (SON), particularly algorithms for the use case cell-outage compensation in 4th generation cellular networks.
- Prototyped the algorithms in the MATLAB-based simulation platform SiMoNe. Compensation of outage would autonomously be achieved by optimally changing the control parameters iteratively.
- Also observed a power-performance trade-off in the situation of an outage. High power is required in the neighbouring cells to improve performance in the cell in outage. Presented the results in a colloquium at the institute