James R. Wilcox, Parker Finch, Cormac Flanagan, Stephen N. Freund. Array Shadow State Compression for Precise Dynamic Race Detection (T). In Myra B. Cohen, Lars Grunske, Michael Whalen, editors, 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015. pages 155-165, IEEE, 2015. [doi]
Abstract is missing.