Department of Computer Science
Tuesday, August 24, 2004
B17 Upson Hall
Recent Discoveries from Paxos
The rapid decrease in the cost of
computing and networks has made fault tolerance much cheaper. The gradual
increase in the IQ of system designers is leading to a switch from programming
hacks to provably fault-tolerant algorithms. These developments have motivated
the resumption of archaeological research on Paxos. A newly discovered algorithm
led to faster decisions in the absence of concurrently proposed laws. By
reformulating the foundations of the legal system, Paxos mathematicians allowed
faster decisions to be made despite non-conflicting concurrent proposals.
No part of the talk will be in Greek, and only one Greek letter will be used.
Refreshments will be available in the first floor Upson Hall lounge at 9:30am.