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.
Fence synthesis (of C11 ordering fences) under C11 memory model.
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: Fast Dynamic Binary Translation for the Kernel
Presentations: SOSP'13 presentation
An efficient VMM that only supports a single VM at any time (precursor to btkernel)
An HPC Library for hybrid CPU-GPU clusters