Finding linearization violations in lock-free concurrent data structures | AMiner