11 search results - page 1 / 3 » Static Detection of Race Conditions in Erlang |
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 ...
ICFP
2009
ACM
13 years 11 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
POPL
2007
ACM
14 years 4 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...
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 2 months ago
2010
Springer
