Hybrid dynamic data race detection

By Robert O'Callahan, Jong-Deok Choi. ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, 2003

466 citations recorded by the source corpus.

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

View Paper: https://www.semanticscholar.org/paper/0fc3b585f417c57c6491e2bbe6285f37823474e7

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. Koushik Sen
2. Shan Lu
3. Yuanyuan Zhou
4. A. Aiken
5. Cormac Flanagan
6. Stephen N. Freund
7. Feng Qin
8. Joseph A. Tucek

In Computer Networks and Communications

1. Yuanyuan Zhou
2. Shan Lu
3. Koushik Sen
4. Mayur Naik
5. John Whaley
6. A. Aiken
7. Cormac Flanagan
8. Feng Qin

In Hardware and Architecture

1. Koushik Sen
2. Yuanyuan Zhou
3. Shan Lu
4. Cormac Flanagan
5. Stephen N. Freund
6. Feng Qin
7. Joseph A. Tucek
8. A. Aiken

Citations in the corpus

• Atomizer: a dynamic atomicity checker for multithreaded programs (2004, methodology): “This lockbased synchronization discipline is supported by a variety of type systems [21, 20, 19, 22, 8, 7, 28] and other static [49, 23, 10, 13] and dynamic [47, 11, 51, 42 , 45] analyses.”
• Hybrid type checking (2006, background): “Specialized hybrid analyses have been proposed for other problems as well, such as data race condition checking [41, 34, 2].”
• ThreadSanitizer: data race detection in practice (2009, methodology): “A detailed description of these algorithms is given in [21].”
• Effective static race detection for Java (2006, background): “Since then, several hybrid techniques have been proposed that gain the benefits of both approaches without suffering the disadvantages of either [28, 39, 40, 54].”
• RaceTrack: efficient detection of data race conditions via adaptive tracking (2005, methodology): “This is in fact the basic approach of Dinning and Schonberg [8] and O’Callahan and Choi [22].”
• AVIO: detecting atomicity violations via access interleaving invariants (2006, background): “Many extensions and combinations have been proposed to reduce false positives or overhead [27, 29, 43].”
• Race directed random testing of concurrent programs (2008, methodology): “For example, a hybrid dynamic race detection tool [37] reports 51 data races for tomcat, out of which 39 are false warnings.”
• FastTrack: efficient and precise dynamic race detection (2009, methodology): “7x, which is competitive with similar Eraser implementations built on top of unmodified JVMs, such as [28].”