•I propose Parallel Nondeterminator to:
•Check the determinacy race in the
parallel execution of the program written in the language like Cilk
•Develop efficient algorithm to
decide the concurrency between threads
•Develop efficient algorithm to
reduce the number of entries in access history