178
Voted
PLDI
2006
ACM
16 years 28 days ago
2006
ACM
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 pa...
178
click to vote
ASWEC
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...