16 search results - page 1 / 4 » Conditional must not aliasing for static race detection |
POPL
2007
ACM
14 years 5 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
PADL
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
SOSP
2003
ACM
14 years 1 months ago
2003
ACM
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
ADAEUROPE
2010
Springer
13 years 3 months ago
2010
Springer
CAV
2007
Springer
13 years 11 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...