US11294652B2 - Low-Overhead Detection Techniques for Synchronization Problems in Parallel and Concurrent Software