RELAY: static race detection on millions of lines of code

By Jan Wen Voung, Ranjit Jhala, Sorin Lerner. ESEC-FSE '07, 2007

367 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/a45adba59080ad625e3005c669345c3a96ad3e18

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Cormac Flanagan
2. Stephen N. Freund
3. Shaz Qadeer
4. Koushik Sen
5. Jeremy G. Siek
6. Dawson R. Engler
7. Martin C. Rinard
8. Chandrasekhar Boyapati

In Computer Networks and Communications

1. Cormac Flanagan
2. Stephen N. Freund
3. Shaz Qadeer
4. M. Musuvathi

In Hardware and Architecture

1. Cormac Flanagan
2. Stephen N. Freund
3. Shaz Qadeer
4. Koushik Sen
5. Dawson R. Engler
6. Martin C. Rinard
7. Chandrasekhar Boyapati
8. Dinghao Wu

Citations in the corpus

• FastTrack: efficient and precise dynamic race detection (2009, background): “FASTTRACK is even comparable in speed to ERASER on our Java benchmarks, while never reporting false alarms.”