Sciweavers

Share
PLDI
2006
ACM

Effective static race detection for Java

9 years 7 months ago
Effective static race detection for Java
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pairs of memory accesses potentially involved in a race. We have implemented our technique and applied it to a suite of multi-threaded Java programs. Our experiments show that it is precise, scalable, and useful, reporting tens to hundreds of serious and previously unknown concurrency bugs in large, widely-used programs with few false alarms. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification — Reliability; D.2.5 [Software Engineering]: Testing and Debugging — Debugging aids General Terms Experimentation, Reliability Keywords static race detection, Java, synchronization, concurrency, multi-threading
Mayur Naik, Alex Aiken, John Whaley
Added 14 Jun 2010
Updated 14 Jun 2010
Type Conference
Year 2006
Where PLDI
Authors Mayur Naik, Alex Aiken, John Whaley
Comments (0)
books