Line-up: A complete and automatic linearizability checker (2010)

by Sebastian Burckhardt, Chris Dern, Roy Tan, Madanlal Musuvathi
Venue:In PLDI