NEBULA: A Future Internet That Supports Trustworthy Cloud Computing
sponsored by 
Project Overview
The Limitations of Cloud Computing
Imagine offering home-care patients automated insulin pumps, with blood sugars relayed to the cloud system and adjusted insulin doses relayed back. Today's clouds lack the reliability and security to trust with applications such as direct patient care.
NEBULA is a collaborative project to research cloud computing networks and build high-assurance cloud-based applications. Details about NEBULA and information on collaborating teams can be found at the NEBULA home page.
At Cornell, our main activity focuses on building a high availability architecture for cluster-hosted routing services including BGP, IS-IS and OSPF. In this effort we teamed up with researchers from industry and other universities to develop seamlessly fault-tolerant routing services.
We have implemented and tested three main tools:
SoNIC network measurement apparatus - Hakim Weatherspoon's group developed SoNIC, a real-time network adapter. With SoNIC-enabled networks we can control the entire networking stack in software that allows us a view into todays high-speed networks that connect modern cloud computing data centers and the Internet itself.
TCPR - Robbert van Renesse's group has created a TCP recovery called TCPR.
Isis2 Cloud Platform - Ken Birman's group developed a cloud platform with highly assured data replication at performance and scalability levels comparable to standard approaches.
People
Publications
Journal Papers
On the Feasibility of Completely Wireless Datacenters. Ji-Yong Shin, E. Gun Sirer, Hakim Weatherspoon, and Darko Kirovski. IEEE/ACM Transactions on Networking. Vol 21, Issue 5, October 2013.
Plug into the Supercloud. Dan Williams, Hani Jamjoom, and Hakim Weatherspoon. In IEEE Internet Computing, Vol 17, No 2, pp 28-34. March-April 2013.
The NEBULA Future Internet Architecture. Tom Anderson, Ken Birman, Robert Broberg, Matthew Caesar, Douglas Comer, Chase Cotton, Michael J. Freedman, Andreas Haeberlen, Zachary G. Ives, Arvind Krishnamurthy, William Lehr, Boon Thau Loo, David Mazieres, Antonio Nicolosi, Jonathan M. Smith, Ion Stoica, Robbert van Renesse, Michael Walfish, Hakim Weatherspoon, Christopher S. Yoo. Lecture Notes in Computer Science, The Future Internet - Future Internet Assembly 2013: Validated Results and New Horizons. Vol 7858, pp 16-26. March 2013.
Routers for the Cloud. Can the Internet Achieve 5-Nines Availability? Andrei Agapi, Ken Birman, Robert Broberg, Chase Cotton, Thilo Kielmann, Martin Millnert, Rick Payne, Robert Surton and Robbert VanRenesse. IEEE Internet Computing. Vol 15, Issue 5, pp 72-77. October 2011.
Conference Papers
Software Defining System Devices with the "Banana" Double-Split Driver Model. Dan Williams, Hani Jamjoom, and Hakim Weatherspoon. The 6th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud). Philadelphia, PA. June 2014.
PHY Covert Channels: Can you see the Idles? Ki Suh Lee, Han Wang and Hakim Weatherspoon. The 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI). Seattle, WA. April 2014.
Sprinkler — Reliable Broadcast for Geographically Dispersed Datacenters. Haoyan Geng and Robbert van Renesse. The ACM/IFIP/USENIX 14th International Middleware Conference. Beijing, China. December 2013.
Application-Driven TCP Recovery. Robert Surton, Ken Birman, and Robbert van Renesse. The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). Budapest, Hungary. June 2013.
SoNIC: Precise Realtime Software Access and Control of Wired Networks. Ki Suh Lee, Han Wang and Hakim Weatherspoon. The 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI). Lombard, IL. April 2013.
On the Feasibility of Completely Wireless Datacenters. Ji-Yong Shin, E. Gun Sirer, Hakim Weatherspoon, and Darko Kirovski. The 8th ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS). Austin, TX. October 2012.
NetSlices: Scalable Multi-Core Packet Processing in User-Space. Tudor Marian, Ki Suh Lee, and Hakim Weatherspoon. The 8th ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS). Austin, TX. October 2012.
Clouds, Cable and Connectivity: Future Internets and Router Requirements. Robert M. Broberg, Andrei Agapi, Ken Birman, Douglas Comer, Chase Cotton, Thilo Kielmann, Bill Lehr, Robbert van Renesse, Robert Surton, and Jonathan M. Smith. 2011 Spring Technical Forum, National Cable and Telecommunications Association. Boston, MA. May 2011.
Exact Temporal Characterization of 10 Gbps Optical Wide-area Network. Daniel A. Freedman, Tudor Marian, Jennifer H. Lee, Ken Birman, Hakim Weatherspoon, and Chris Xu. The 10th ACM SIGCOMM Conference on Internet Measurement (IMC). Melbourne, Australia. November 2010.
Kevlar: A Flexible Infrastructure for Wide-area Collaborative Applications. Qi Huang, Daniel A. Freedman, Ymir Vigfusson, Ken Birman, and Bo Peng. ACM/IFIP/USENIX 11th International Middleware Conference. Bangalore, India. November 2010.
Ph.D. Dissertations
Channel Market Analysis of Application-Driven Connection Recovery. Robert Surton. Cornell University Ph.D. Dissertation. Ithaca, NY. January 2014.
Towards Superclouds. Dan Williams. Cornell University Ph.D. Dissertation. Ithaca, NY. January 2013.
NEBULA: A Future Internet That Supports Trustworthy Cloud Computing
This material is based upon work supported by the National Science Foundation under Grant Number 1040689. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.