Platform for High-Assurance Cloud Computing
sponsored by the DARPA Mission-Oriented Resilient Clouds (MRC) program
Recent Posters
Project Overview
SoNIC
Recent Publications
Journal Papers
Vive la Difference: Paxos vs. Viewstamped Replication vs. Zab. Robbert van Renesse, Nicolas Schiper, and Fred B. Schneider. IEEE Transactions on Dependable and Secure Computing. 2014.
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.
Conference Papers
The Performance of Paxos in the Cloud. Parisa Jalili Marandi, Samuel Benz, Fernando Pedone, and Ken Birman. The 33rd IEEE Symposium on Reliable Distributed Systems (SRDS). Nara, Japan. October 2014.
MiCA: A Compositional Architecture for Gossip Protocols. Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, and Robert Soulé. The 28th European Conference on Object-Oriented Programming (ECOOP). Uppsala, Sweden. July 2014.
Scalable State-Machine Replication. Eduardo Bezerra, Fernando Pedone, and Robbert van Renesse. The 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). Atlanta, GA. June 2014.
The Energy Efficiency of Database Replication Protocols. Nicolas Schiper, Fernando Pedone, and Robbert van Renesse. The 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). Atlanta, GA. June 2014.
Developing Correctly Replicated Databases Using Formal Tools. Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, and Robert Constable. The 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). Atlanta, GA. June 2014.
IronStack: performance, stability and security for power grid data networks. Zhiyuan Teo, Vera Kutsenko, Ken Birman, and Robbert van Renesse. The 1st International Workshop on Trustworthiness of Smart Grids (ToSG). Atlanta, GA. June 2014 (in conjunction with DSN).
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.
Majority is not Enough: Bitcoin Mining is Vulnerable. Ittay Eyal and Emin Gun Sirer. The Eighteenth International Conference on Financial Cryptography and Data Security (FC'14). Barbados. March 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.
An Analysis of Facebook Photo Caching. Qi Huang, Ken Birman, Robbert van Renesse, Wyatt Lloyd, Sanjeev Kumar, and Harry C. Li. The 24th ACM Symposium on Operating Systems Principles (SOSP). Farmington, PA. November 2013.
Consistency-Based Service Level Agreements for Cloud Storage. Douglas B. Terry, Vijayan Prabhakaran, Ramakrishna Kotla, Mahesh Balakrishnan, Marcos K. Aguilera, and Hussam Abu-Libdeh. The 24th ACM Symposium on Operating Systems Principles (SOSP). Farmington, PA. November 2013.
Ordering Transactions with Prediction in Distributed Object Stores. Ittay Eyal, Ken Birman, Idit Keidar, and Robbert van Renesse. The 7th Workshop on Large-Scale Distributed Systems and Middleware (LADIS), at SOSP. Farmington, PA. November 2013.
Cooperative Client Caching Strategies for Social and Web Applications. Stavros Nikolaou, Robbert van Renesse and Nicolas Schiper. The 7th Workshop on Large-Scale Distributed Systems and Middleware (LADIS), at SOSP. Farmington, PA. November 2013.
Compositional Gossip Protocols for Infrastructure Management. Lonnie Princehouse, Ken Birman, and Nate Foster. The 7th Workshop on Large-Scale Distributed Systems and Middleware (LADIS), at SOSP. Farmington, PA. November 2013.
Hosting Dynamic Data in the Cloud with Isis2 and the Ida DHT. Ken Birman and Heesung Sohn. The ACM SIGOPS Conference on Timely Results in Operating Systems (TRIOS), at SOSP. Farmington, PA. November 2013.
Leveraging Sharding in the Design of Scalable Replication Protocols. Hussam Abu-Libdeh, Robbert van Renesse, and Ymir Vigfusson. The 4th ACM Symposium on Cloud Computing (SoCC). Santa Clara, CA. October 2013.
SuperCloud: Economical Cloud Service on Multiple Vendors. Qin Jia, Robbert Van Renesse, and Hakim Weatherspoon. Poster presentation at the 4th ACM Symposium on Cloud Computing (SoCC). Santa Clara, CA. October 2013.
Application-Driven TCP Recovery and Non-Stop BGP. 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.