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

AVIO: detecting atomicity violations via access interleaving invariants.

Shan LuJoseph TucekFeng QinYuanyuan Zhou
Published in: ASPLOS (2006)
Keyphrases
  • access control
  • multidatabase systems
  • electronic commerce
  • random access
  • remote access
  • data mining
  • distributed database systems
  • quasi invariant