269 search results - page 42 / 54 » Pointer Analysis for Multithreaded Programs |
PASTE
2010
ACM
13 years 9 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
PPOPP
2011
ACM
12 years 10 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
TACAS
2012
Springer
12 years 3 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
CC
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. This paper presents a framework for supporting the optimization of Java programs using attributes in Java class files. We show how class file attributes may be used to ...
IWMM
2000
Springer
13 years 11 months ago
2000
Springer
We describe a novel approach to obtaining type-accurate information for garbage collection in a hardware and language independent way. Our approach uses a run-time analysis to pro...