MIT researchers are planning to present a paper at the ACM Symposium on Operating Systems Principles in October, with details of the first computer file system that is mathematically guaranteed ...