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}
}
132 Citations
6 Highly Influenced Papers
63 Cite Background
51 Cite Methods
2 Cite Results

Topics from this paper.

Explore Further: Topics Discussed in This Paper

      Citations

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

      9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010, October 4-6, 2010, Vancouver, BC, Canada, Proceedings

      Brad Chen, Haowen Chan, +23 authors Steve Zdancewic
      • OSDI
      • 2010
      VIEW 8 EXCERPTS
      CITES METHODS & BACKGROUND
      HIGHLY INFLUENCED

      Types for atomicity: Static checking and inference for Java

      Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer
      • ACM Trans. Program. Lang. Syst.
      • 2008
      VIEW 5 EXCERPTS
      CITES BACKGROUND & METHODS
      HIGHLY INFLUENCED

      RacerX: effective, static detection of race conditions and deadlocks

      Dawson R. Engler, Ken Ashcraft
      • SOSP
      • 2003
      VIEW 7 EXCERPTS
      CITES METHODS & RESULTS
      HIGHLY INFLUENCED

      Programming Languages and Systems

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

      Practical detection of concurrency issues at coding time

      Luc Bläser
      • ISSTA
      • 2018
      VIEW 4 EXCERPTS
      CITES METHODS & BACKGROUND
      HIGHLY INFLUENCED

      Effective static race detection for Java

      Mayur Naik, Alexander Aiken, John Whaley
      • PLDI
      • 2006
      VIEW 4 EXCERPTS
      CITES BACKGROUND & METHODS
      HIGHLY INFLUENCED

      Detecting All High-Level Dataraces in an RTOS Kernel

      Suvam Mukherjee, Arun Kumar, Deepak D'Souza
      • VMCAI
      • 2017
      VIEW 2 EXCERPTS
      CITES BACKGROUND

      Dynamic race detection for C++11

      Christopher Lidbury, Alastair F. Donaldson
      • POPL
      • 2017

      Predicting Errors in Concurrent Systems

      Luis Manuel Carril Rodríguez
      • 2017

      Software Analysis Techniques for Detecting Data Race

      Pilsung Kang
      • IEICE Transactions
      • 2017
      VIEW 1 EXCERPT
      CITES METHODS

      FILTER CITATIONS BY YEAR

      1992
      2018

      CITATION STATISTICS

      • 6 Highly Influenced Citations