What happens-after the first race? Enhancing the predictive power of happens-before based dynamic race detection

Umang Mathur, Dileep Kini, Mahesh Viswanathan

Research output: Contribution to journalArticlepeer-review

Original languageEnglish (US)
Article number145
JournalProceedings of the ACM on Programming Languages
Issue numberOOPSLA
StatePublished - Nov 2018


  • Concurrency
  • Dynamic Program Analysis
  • Happens-Before
  • Race Detection
  • Soundness

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this