@inproceedings{92206,
  author = {Arnab Sinha and Sharad Malik and Aarti Gupta},
  title = {Efficient predictive analysis for detecting nondeterminism in multi-threaded programs},
  year = {2012},
  journal = {Formal Methods in Computer-Aided Design (FMCAD), 2012},
  pages = {6{\textendash}15},
  publisher = {IEEE},
  language = {eng},
}