Biblio

Yang J, Chen T, Wu M, Xu Z, Liu X, Lin H, Yang M, Long F, Zhang L, Zhou L.  2009.  MODIST: Transparent Model Checking of Unmodified Distributed Systems. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09).

• Google Scholar
• DBLP
• BibTeX

Prabhakaran V, Rodeheffer TL, Zhou L.  2008.  Transactional Flash. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).

• Google Scholar
• DBLP
• BibTeX

MacCormick J, Murphy N, Najork M, Thekkath CA, Zhou L.  2004.  Boxwood: Abstractions as the Foundation for Storage Infrastructure. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).

• Google Scholar
• DBLP
• BibTeX