12084 search results - page 79 / 2417 » Effect Systems with Subtyping |
SOSP
2003
ACM
14 years 6 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...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
EUROPAR
2007
Springer
14 years 3 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE