269 search results - page 41 / 54 » Pointer Analysis for Multithreaded Programs |
POPL
2008
ACM
14 years 8 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
Garbage collection has proven benefits, including fewer memoryrelated errors and reduced programmer effort. Garbage collection, however, trades space for time. It reclaims memory...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
ISCA
2012
IEEE
11 years 10 months ago
2012
IEEE
Efficient execution of well-parallelized applications is central to performance in the multicore era. Program analysis tools support the hardware and software sides of this effor...