Porcupine, a fast linearizability checker written in Gogithub.com/anishathalye1 pointyandrypozo9 years ago