This paper describes a generative theory of bugs. It claims that all bugs of D procedural skill con be derived by a highly constrained form of problem solving acting on incomplete procedures. These procedures are characterized by formal deletion operations that model incomplete learning and forgetting. The problem solver and the deletion operator have been constrained to make it impossible to d...

Understanding movement and dispersal of the common bed bug (Cimex lectularius L.) under field conditions is important in the control of infestations and for managing the spread of bed bugs to new locations. We investigated bed bug movement within and between apartments using mark-release-recapture (m-r-r) technique combined with apartment-wide monitoring using pitfall-style interceptors. Bed bu...

Memory access bugs, including buffer overflows and uses of freed heap memory, remain a serious problem for programming languages like C and C++. Many memory error detectors exist, but most of them are either slow or detect a limited set of bugs, or both. This paper presents AddressSanitizer, a new memory error detector. Our tool finds out-of-bounds accesses to heap, stack, and global objects, a...

We highlight the problem of scalability bugs, a new class of bugs that appear in “cloud-scale” distributed systems. Scalability bugs are latent bugs that are clusterscale dependent, whose symptoms typically surface in large-scale deployments, but not in small or mediumscale deployments. The standard practice to test large distributed systems is to deploy them on a large number of machines (“rea...