Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures | IEEE Conference Publication | IEEE Xplore