Porcupine is a fast linearizability checker for distributed systemsgithub.com/anishathalye3 pointsgjvc3 years ago