@dblp

Array Shadow State Compression for Precise Dynamic Race Detection (T).

, , , and . ASE, page 155-165. IEEE Computer Society, (2015)

Links and resources

Tags