DATE: Thursday, October 13, 2005
TIME: Noon - 1 pm
PLACE: Wean Hall 8220

SPEAKER:
Michael Abd-El-Malek
CMU

TITLE:
Lazy verification in fault-tolerant distributed storage systems

ABSTRACT:
Verification of write operations is a crucial component of Byzantine fault-tolerant consistency protocols for storage. Lazy verification shifts this work out of the critical path of client operations. This shift enables the system to amortize verification effort over multiple operations, to perform verification during otherwise idle time, and to have only a subset of storage-nodes perform verification. In this talk, I will introduce lazy verification and describe implementation techniques for exploiting its potential.  I will also show results comparing the traditional write- and read-time verification approaches with lazy verification.

BIO:
Michael Abd-El-Malek is a third-year graduate student at Carnegie Mellon, co-advised by Greg Ganger and Mike Reiter. His research interests lie in distributed systems and storage systems. Mike received his BS in Computer Engineering from the University of Waterloo.

SDI / LCS Seminar Questions?
Karen Lindenfelser, 86716, or visit www.pdl.cmu.edu/SDI/