71 search results - page 4 / 15 » Fast and Precise Points-to Analysis |
152
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Many statistical M-estimators are based on convex optimization problems formed by the weighted sum of a loss function with a norm-based regularizer. We analyze the convergence rat...
149
Voted
INFSOF
2010
14 years 11 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
133
click to vote
WWW
2011
ACM
14 years 8 months ago
2011
ACM
Malicious web pages that host drive-by-download exploits have become a popular means for compromising hosts on the Internet and, subsequently, for creating large-scale botnets. In...
118
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
127
click to vote
SIAMSC
2008
15 years 1 months ago
2008
Given a vector of floating-point numbers with exact sum s, we present an algorithm for calculating a faithful rounding of s, i.e. the result is one of the immediate floating-point ...