November, 2006 Archive

EXPLODE: a Lightweight, General System for Finding Serious Storage System Errors

Junfeng Yang, Can Sar, Dawson Engler Proceedings of the Seventh Symposium on Operating Systems Design and Implementation (OSDI ’06), November, 2006, pp. 131-146 Abstract Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy, making its irrevocable loss …

Read More

Using Model Checking to Find Serious File System Errors

Junfeng Yang, Paul Twohey, Dawson Engler, Madanlal Musuvathi ACM Transactions on Computer Systems, Volume 24, Issue 4, November, 2006, pp. 393–423 Abstract This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring the state spaces defined by a system. File …

Read More

Columbia University Department of Computer Science