Improving the Scalability of Automatic Linearizability Checking in SPIN. - Patrick Doolan; Graeme Smith 001; Chenyi Zhang 001; Padmanabhan Krishnan (ICFEM, 2017)