consensus

Heterogeneous Consensus

We invented and implemented a Consensus algorithm in which not all participants agree on who may fail, and how.

Heterogeneous Consensus

The first [consensus](https://en.wikipedia.org/wiki/Consensus_(computer_science)) algorithm with [heterogeneous failures](http://plan9.bell-labs.co/who/garay/continuum.ps), heterogeneous participants, and heterogeneous observers.

Heterogeneous Consensus

A work-in-progress talk about our Heterogeneous Consensus algorithm.

Distributed Protocols and Heterogeneous Trust

We use the [Decentralized Label Model](http://www.cs.cornell.edu/andru/papers/iflow-tosem.pdf) to show how distributed algorithms, like [Bosco](https://www.cs.cornell.edu/projects/Quicksilver/public_pdfs/52180438.pdf) and [Nysiad](https://www.usenix.org/legacy/events/nsdi08/tech/full_papers/ho/ho.pdf), can be generalized from more complex trust environments.

Distributed Protocols and Heterogeneous Trust

We've been looking at modeling distributed system failures with information flow tools, and expressing heterogeneous trust. 


Stable Paxos

We investigate some potential "slowdown" cases of the classic [multi-Paxos](http://www.cs.cornell.edu/courses/cs7412/2011sp/paxos.pdf) algorithm, and developed some new variants to avoid them.