Computing in the Cloud:
Science of Cloud-Scale Computing

sponsored by

Related Projects

GridControl - Our goal with this DoE/ARPA-E sponsored project and partners at Washington State University is to work with cloud computing projects in the smart power grid community, where there is a desire to host high assurance power grid monitoring and control applications on the cloud and to explore the potential of the cloud model for real-time reactive control algorithms that might optimize the configuration of the grid as conditions evolve, or even intervene to prevent a blackout.

Platform for High-Assurance Cloud Computing - Our goal with this DARPA sponsored project is a cloud computing system that can bring cloud-hosted machine-learning and automated reasoning to bear on critical military applications with high assurance, scalability, and cost savings.

NEBULA - This NSF sponsored project is a collaborative project to research cloud computing networks and build high-assurance cloud-based applications.

Superclouds - Weatherspoon's group will demonstrate virtualization and cloud storage with: computation migration, replication, and consistency; VirtualWire, virtual network migration; and reliable cloud storage even in a contested environment.  

Van Renesse's group is building a new kind of elastic replication layer that combines Byzantine Fault Tolerant state machine replication with distributed hash tables that shard data into small groups organized along the edge of the DHT ring. He then implements a standard put/get API, but with far stronger consistency and assurance properties than are possible with any standard solution to this problem.