Line-up: a complete and automatic linearizability checker.

Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan

Browse the full PLDI paper archive.