External Links

    Journal: ACM Trans. Comput. Syst.

    Volume 24, Issue 4

    333 -- 360Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, Henry M. Levy. Recovering device drivers
    361 -- 392Edmund B. Nightingale, Peter M. Chen, Jason Flinn. Speculative execution in a distributed file system
    393 -- 423Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi. Using model checking to find serious file system errors
    runs on