Efficient predictive analysis for detecting nondeterminism in multi-threaded programs.