Data Race
•Very different from traditional definition in Nondeterminator
•Assumption (correct parallelization)
•Definition (1st half of Kai’s master thesis)
–Efficient detection (v.s. NP-complete proved by Kai)
–Make use of current algorithms/tools
•