Porcupine, a fast linearizability checker for distributed systems in Gogithub.com/anishathalye2 pointsjinqueeny8 years ago