1452 search results - page 115 / 291 » Algorithmic Analysis of Array-Accessing Programs |
206
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Termination of a heap-manipulating program generally depends on preconditions that express heap assumptions (i.e., assertions describing reachability, aliasing, separation and shar...
156
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
200
click to vote
JMLR
2012
13 years 8 months ago
2012
We develop a high dimensional nonparametric classification method named sparse additive machine (SAM), which can be viewed as a functional version of support vector machine (SVM)...
184
click to vote
SAS
2010
Springer
15 years 4 months ago
2010
Springer
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
164
Voted
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Inclusion-based points-to analysis provides a good trade-off between precision of results and speed of analysis, and it has been incorporated into several production compilers inc...