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

Arnab Sinha, Sharad Malik, Aarti Gupta

Browse the full FMCAD paper archive.