General purpose operating systems sacrifice per-application performance in order to
preserve generality. On the other hand, substantial effort is required to customize or …

The NSF-funded Open Cloud Testbed (OCT) project is building and supporting a testbed for
research and experimentation into new cloud platforms–the underlying software which …

SecCloud is a new architecture for bare-metal clouds that enables tenants to control
tradeoffs between security, price, and performance. It enables security-sensitive tenants to …

Infrastructure-as-a-Service (IaaS) cloud providers hide available interfaces for virtual
machine (VM) placement and migration, CPU capping, memory ballooning, page sharing …

Bolted is a new architecture for a bare metal cloud with the goal of providing security-
sensitive customers of a cloud the same level of security and control that they can obtain in …

Existing bare-metal cloud services that provide users with physical servers have a number of
serious disadvantages over their virtual alternatives, including slow provisioning times …

Continuous verification and security analysis of software systems are of paramount
importance to many organizations. The state-of-the-art for such operations implements agent …

Technological inertia leads many organizations to continue employing static provisioning
strategies for bare-metal deployments, resulting in architectural and runtime inefficiencies …

One of the great advances in computation over the last 20 years is the availability,
connectivity, and growth of datacenters. These advances in the datacenter have motivated …

Today's computing ecosystem, comprising commodity heterogeneous interconnected
computing (CHIC) platforms, is increasingly being employed for critical applications …