Porcupine: A fast linearizability checker written in Gogithub.com/anishathalye66 pointscube22228 years ago