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

James R. Wilcox Parker Finch Cormac Flanagan Stephen N. Freund

Published in: ASE (2015)

Keyphrases

false alarms
real time
dynamic environments
compression algorithm
data compression
image compression
detection method
compression scheme
dynamic behavior
shadow detection
data sets
neural network
automatic detection
compression ratio