April, 2008 Archive

Experiences with Formal Specification of Fault-Tolerant File Systems

Roxana Geambasu, John MacCormick, Andrew Birrell Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-DCCS), April, 2008 Abstract Fault-tolerant, replicated file systems are a crucial component of today’s data centers. Despite their huge complexity, these systems are typically specified only in brief prose, which makes them difficult to reason about or verify. This paper describes …

Read More

Columbia University Department of Computer Science