H.S. Gunawi, C. Rubio-González, A.C. Arpaci-Dusseau, R.H. Arpaci-Dusseau, and B. Liblit. EIO: Error Handling is Occasionally Correct. In the 6th USENIX Conference on File and Storage Technologies (FAST '08), San Jose, California, Feb. 2008.
[
Abstract;
Postscript;
PDF;
BibTeX
]
C. Rubio. Class Invariant Shape Analysis. Master's thesis, University of Wisconsin-Milwaukee, 2004. Call number: T9999.R8966 2004.
[ PDF ]
