Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Effective Static Race Detection for Java Mayur Naik Alex Aiken John Whaley

Summary: Effective Static Race Detection for Java
Mayur Naik Alex Aiken John Whaley
Computer Science Department
Stanford University
We present a novel technique for static race detection in Java pro-
grams, 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 ex-
periments 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 Engineer-
ing]: Software/Program Verification -- Reliability; D.2.5 [Soft-
ware Engineering]: Testing and Debugging -- Debugging aids
General Terms Experimentation, Reliability
Keywords static race detection, Java, synchronization, concur-
rency, multi-threading


Source: Aiken, Alex - Department of Computer Science, Stanford University


Collections: Computer Technologies and Information Sciences