RELAY: static race detection on millions of lines of code

@inproceedings{Voung2007RELAYSR,
  title={RELAY: static race detection on millions of lines of code},
  author={Jan Wen Voung and Ranjit Jhala and Sorin Lerner},
  booktitle={ESEC/SIGSOFT FSE},
  year={2007}
}
Data races occur when multiple threads are about to access the same piece of memory, and at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs that are time consuming to debug and fix. We present RELAY, a static and scalable race detection analysis in which unsoundness is modularized to a few sources. We describe the analysis and results from our experiments using RELAY to find data races in the Linux kernel, which includes about 4.5 million lines of code. 
Highly Influential
This paper has highly influenced 24 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 303 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 180 citations

303 Citations

02040'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 303 citations based on the available data.

See our FAQ for additional information.