64 search results - page 5 / 13 » Exception Analysis for Multithreaded Java Programs |
163
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
175
click to vote
ISSTA
2009
ACM
16 years 9 days ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
237
Voted
PLDI
2009
ACM
16 years 18 days ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
145
click to vote
KBSE
2007
IEEE
16 years 2 days ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
182
click to vote
IEEEPACT
2006
IEEE
15 years 12 months ago
2006
IEEE
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...