This document summarizes a talk on round-up checking of quasi linearizability of concurrent data structures. The talk introduces the concept of quasi linearizability, which allows bounded out-of-order behaviors to improve performance over strict linearizability. It then describes a two phase method for automatically checking quasi linearizability in C/C++ code: 1) generating sequential histories and 2) generating concurrent histories to check for violations. Experimental results on textbook examples and Scala benchmarks found previously unknown bugs and demonstrated the method is fully automated with no false positives.