861 search results - page 94 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
154
click to vote
PASTE
2010
ACM
15 years 5 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...
137
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
164
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
Recent advances in polyhedral compilation technology have made it feasible to automatically transform affine sequential loop nests for tiled parallel execution on multi-core proce...
120
click to vote
MSR
2006
ACM
15 years 9 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
148
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...