• Calendar

November 29, Tuesday
12:00 – 13:00

In recent years the computing industry has been showing a growing interest in distributed computing frameworks as the only way to achieve the massive scale, high reliability and continuous availability that are required by enterprise data centers and cloud computing infrastructure. This talk will focus on research we did on the Virtual Synchrony framework of Birman and Jones. We created an axiomatic model for their framework that enables a great simplification of the description of failure behaviors in the cluster and very precise proofs of the correctness of their protocols.