2 search results - page 1 / 1 » Static ownership inference for reasoning against concurrency... |
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
We propose a new approach for reasoning about concurrency in object-oriented programs. Central to our approach is static ownership inference analysis — we conjecture that this a...
ASPLOS
2010
ACM
13 years 11 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...