Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
{mhn,aiken,jwhaley}@cs.stanford.edu
Abstract
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