Line-up: a complete and automatic linearizability checker. - Sebastian Burckhardt; Chris Dern; Madanlal Musuvathi; Roy Tan (PLDI, 2010)