Fully Automatic and Precise Detection of Thread Safety Violations (supplementary material)


This page provides supplementary material for our PLDI'12 paper entitled Fully Automatic and Precise Detection of Thread Safety Violations.

The thread safety is checker is available as an online checker and for download: www.thread-safe.org

The supplementary material for download includes:

  • Classes with thread safety violations (from the JDK and other popular Java software)
  • Executable tests that expose thread safety violations
  • Everything conveniently packaged as Eclipse projects

Feel free to use this material to evaluate your research. For any questions, please contact Michael Pradel.