• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Adversarial memory for detecting destructive races.

Cormac FlanaganStephen 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