Membrane: Operating system support for restartable file systems
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics