CS 5090: Software Fault Tolerance  - Spring 2008