12084 search results - page 79 / 2417 » Effect Systems with Subtyping |
142
click to vote
SOSP
2003
ACM
16 years 3 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...
86
Voted
HICSS
2008
IEEE
16 years 18 days ago
2008
IEEE
HICSS
2008
IEEE
16 years 18 days ago
2008
IEEE
170
click to vote
EUROPAR
2007
Springer
16 years 9 days 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...