Nut Taesombut and Andrew A. Chien Department of Computer Science and Engineering
Banal Because Format Checking is So Trite
The virtue of dependent failures in multi-site systems