Statically verifying behavioral properties of programs is an important research problem. An efficient solution to this problem will have visible effects over multiple domains, ranging from program development, program ...

Many novel approaches have been proposed to improve storage densities of magnetic recording beyond the existing 1 Tb/in2. These include heat-assisted magnetic recording (HAMR), bit-patterned media (BPM) and two-dimensional ...

Opportunistic selection is a key technique to improve the performance of wireless systems. In it, the best set of users among the available ones is selected on the basis of their instantaneous channel gains or local ...

Cloud computing applications have dynamic workloads, and they often observe spikes in the incoming traffic which might result in system overloads. System overloads are generally handled by various load balancing techniques ...

The problem of signal reconstruction from inaccurate and possibly incomplete set of linear/non-linear measurements occurs in a variety of signal and image processing applications. In this thesis, we develop reconstruction ...

Modern SSDs can store multiple bits per transistor which enables it to have higher storage capacities. Low cost per bit of such SSDs has made it a commercial success. As of 2018, cells with an ability to store three bits ...

Multilingual information retrieval (MLIR) methods generally rely on linguistic resources such as dictionaries, parallel corpora, etc., to overcome the language barrier. For low resource languages without these resources, ...

The evolution of multicore systems with thousands of cores has led to the exploration of non-traditional procrastination-based synchronization techniques such as Read-Copy- Update (RCU). Deferred destruction is the ...

Capturing raw 3D data from the real world is the initial step for many 3D reconstruction pipelines in different computer vision applications. However, due to inaccuracies in measurement and oversimplification in mathematical ...

The reliable storage of Big Data across a spatially distributed network of nodes, calls for erasure-correcting codes that in addition to protecting against data loss, can also efficiently handle node repair. The need for ...