Adversarial memory for detecting destructive races.

Cormac Flanagan Stephen N. Freund

Published in: PLDI (2010)

Keyphrases

memory requirements
automatic detection
memory usage
limited memory
memory space
data mining
multi agent
expert systems
hidden markov models
random access
memory capacity