Here is a summary of the crash-only software paper at muratbuffalo blog. It is a really neat concept.

http://muratbuffalo.blogspot.com/2011/01/crash-only-software...