Array Shadow State Compression for Precise Dynamic Race Detection (T) | IEEE Conference Publication | IEEE Xplore