Jepsen: Distributed Systems Safety Analysis
Why isn't PostgreSQL in the list on the first page? It is in the [blog posts] page though.I would love to see the multixact data corruption problems introduced in 9.3 analyzed, and see if he can verify them to be solved in the latest version.