On the Complexity of Crafting Crash-Consistent Applications (2014) [pdf]usenix.org36 pointspcr9103037 years ago