Making the Impossible Possible: Building Distributed Systems Worthy of Our Trust

This talk will consider whether we can trust distributed systems to behave as we expect and to be available to us when we need them. We'll take a whistle-stop tour of the academic literature, visiting key results on what's possible, and more importantly, what's impossible, in the context of distribu