SLIMFAST: Reducing Metadata Redundancy in Sound and Complete Dynamic Data Race Detection | IEEE Conference Publication | IEEE Xplore