Effective static race detection for Java (2006)
| Venue: | In PLDI |
| Citations: | 106 - 6 self |
BibTeX
@INPROCEEDINGS{Naik06effectivestatic,
author = {Mayur Naik and Alex Aiken and John Whaley},
title = {Effective static race detection for Java},
booktitle = {In PLDI},
year = {2006},
pages = {308--319},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 accessespotentially 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 bugsin large, widely-used programs with few false alarms.
