publication venue for Bugaroo: Exposing Memory Model Bugs in Many-core Systems 2018 Approximate Lock: Trading off Accuracy for Performance by Skipping Critical Sections 2016 Detecting, Exposing, and Classifying Sequential Consistency Violations 2016