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

by Sebastian Burckhardt , Chris Dern , Roy Tan , Madanlal Musuvathi
Venue:In PLDI
Citations:21 - 0 self

Document Versions

Line-up: A complete and automatic linearizability checker –Sebastian Burckhardt, Chris Dern, Roy Tan, Madanlal Musuvathi — 2010 — In PLDI