Array Shadow State Compression for Precise Dynamic Race Detection (T). - James R. Wilcox; Parker Finch; Cormac Flanagan; Stephen N. Freund (ASE, 2015)