page top


Huzur Saran, Subhashish Banerjee, Sorav Bansal

Baadal is a cloud orchestration software for academic and scientific environments. It is based on open technologies like Linux, KVM, libvirt, OpenVSwitch, Apache, MySQL, and web2py. Workflows are implemented expected in academic and research environments, where a user or student can request a VM, a faculty supervisor can approve it, and an administrator can commission it. Baadal supports multiple organizations sharing a cloud infrastructure, and thus has a provision for an organization-level administrator. Baadal is a multi-tenant implementation, which means that different organizations are isolated from each other against network and system-level security attacks.


Sanjana Singh, Divyanjali, Ishita Jaju, Subodh Sharma

Fence synthesis (of C11 ordering fences) under C11 memory model.


Subodh Sharma

The tool takes as an input an execution trace (a sequence of MPI commands executed along that trace); subsequently it constructs a partial order of communication calls observed along the trace; The partial order along with an over-approximate set of "interleavings" are encoded in a quantifier-free first order logic formula. The tool takes deadlock freedom as the correctness specification. If the resultant formula is found SAT, then we have discovered a real deadlock in the software.

Publications: Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs


Piyus Kedia, Sorav Bansal

Publications: Fast Dynamic Binary Translation for the Kernel

Presentations: SOSP'13 presentation


Piyus Kedia, Sorav Bansal

An efficient VMM that only supports a single VM at any time (precursor to btkernel)


Tarun Beri, Sorav Bansal, Subodh Kumar

An HPC Library for hybrid CPU-GPU clusters

Publications: The Unicorn Runtime: Efficient Distributed Shared Memory Programming for Hybrid CPU-GPU Clusters