This paper identifies and formalizes a prevalent class of asymptotic performance bugs called
redundant traversal bugs and presents a novel static analysis for automatically detecting …

Calling context--the set of active methods on the stack--is critical for understanding the
dynamic behavior of large programs. Dynamic program analysis tools, however, are almost …

We present the design of Parfait, a static layered program analysis framework for bug
checking, designed for scalability and precision by improving false positive rates and scale …

Performance bugs are programming errors that slow down program execution. While
existing techniques can detect various types of performance bugs, a crucial and practical …

Performance bugs are programming errors that create significant performance degradation.
While developers often use automated oracles for detecting functional bugs, detecting …

Fixing software bugs has always been an important and time-consuming process in software
development. Fixing concurrency bugs has become especially critical in the multicore era …

A number of hardware and software techniques have been proposed to detect dynamic
program behaviors that may indicate a bug in a program. Because these techniques suffer …

We introduce the concept of residual investigation for program analysis. A residual
investigation is a dynamic check installed as a result of running a static analysis that reports …

FindBugs looks for bugs in Java programs. It is based on the concept of bug patterns. A bug
pattern is a code idiom that is often an error. Bug patterns arise for a variety of reasons, such …

Memory bugs in C/C++ programs severely affect system availability and security. This paper
presents First-Aid, a lightweight runtime system that survives software failures caused by …