181 search results - page 21 / 37 » Using Static Analysis to Find Bugs |
114
Voted
ICTAI
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...
111
click to vote
IEEEVAST
2010
14 years 5 months ago
2010
Finding patterns in temporal data is an important data analysis task in many domains. Static visualizations can help users easily see certain instances of patterns, but are not sp...
87
Voted
KDD
2006
ACM
15 years 11 months ago
2006
ACM
Abstract. In this paper we present static and dynamic studies of duplicate and near-duplicate documents in the Web. The static and dynamic studies involve the analysis of similar c...
107
click to vote
ASPLOS
2010
ACM
15 years 2 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...