4725 search results - page 126 / 945 » Dependence-Based Program Analysis |
164
click to vote
PARA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Array privatization is one of the most effective ways to improve...
128
click to vote
PC
1998
15 years 4 months ago
1998
In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...
167
click to vote
JOT
2010
15 years 3 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
142
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
133
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...