WARLOCK - A Static Data Race Analysis Tool

@inproceedings{Sterling1993WARLOCKA,
  title={WARLOCK - A Static Data Race Analysis Tool},
  author={Nicholas Sterling},
  booktitle={USENIX Winter},
  year={1993}
}

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 132 CITATIONS

Types for atomicity: Static checking and inference for Java

  • ACM Trans. Program. Lang. Syst.
  • 2008
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

RacerX: effective, static detection of race conditions and deadlocks

VIEW 7 EXCERPTS
CITES METHODS & RESULTS
HIGHLY INFLUENCED

Programming Languages and Systems

  • Lecture Notes in Computer Science
  • 1999
VIEW 11 EXCERPTS
CITES BACKGROUND, RESULTS & METHODS
HIGHLY INFLUENCED

Practical detection of concurrency issues at coding time

  • ISSTA
  • 2018
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Effective static race detection for Java

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Software Analysis Techniques for Detecting Data Race

  • IEICE Transactions
  • 2017
VIEW 1 EXCERPT
CITES METHODS

FILTER CITATIONS BY YEAR

1992
2018

CITATION STATISTICS

  • 6 Highly Influenced Citations