269 search results - page 13 / 54 » Pointer Analysis for Multithreaded Programs |
ASWEC
2001
IEEE
15 years 3 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...
109
Voted
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
IEEEPACT
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...
APAQS
2001
IEEE
15 years 3 months ago
2001
IEEE
85
Voted
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...