Baadal

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.

Mopper

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

Monitor

Piyus Kedia, Sorav Bansal

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