269 search results - page 25 / 54 » Pointer Analysis for Multithreaded Programs |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
POPL
2007
ACM
14 years 8 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...
POPL
1998
ACM
13 years 12 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
To compute accurate information efficiently for programs that use pointer variables, a program analysis must account for the fact that a procedure may access different sets of mem...