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

Fast and Accurate Static Data-Race Detection for Concurrent Programs.

Vineet KahlonYu YangSriram SankaranarayananAarti Gupta
Published in: CAV (2007)
Keyphrases
  • end users
  • data sets
  • databases
  • computer systems
  • artificial intelligence
  • distributed systems
  • business process
  • concurrent programs