Errors reported in our OSDI04 paper, Using Model Checking to Find Serious File System Errors, can be found here (bz2 or gz). The file trace-inspected summaries all the bugs we found. The detailed explanation for each bug can be found under the directory named by the bug's id.
We found 32 serious bugs in total; 21 have been fixed and 9 of the remaining 11 confirmed. They are all included in this tar ball. The 3 intended errors are also included.