Modern software engineering practice increasingly brings redundant code into software
products, which has caused a phenomenon called bloatware, leading to software system …

A great deal of research on sanitizer placement, sanitizer correctness, checking path validity,
and policy inference, has been done in the last five to ten years, involving type systems …

Modern generational garbage collectors look for garbage among the young objects,
because they have high mortality; however, these objects include the very youngest objects …

Context: Obfuscation is a common technique used to protect software against malicious
reverse engineering. Obfuscators manipulate the source code to make it harder to analyze …

Clustering is an efficient topology control approach for maximizing the lifetime and scalability
of Wireless Sensor Networks (WSNs). Many cluster-based routing techniques have been …

Precise dynamic race detectors report an error if and only if an observed program trace
exhibits a data race. They must typically check for races on all memory accesses to ensure …

Type-based analysis is an approach to static analysis of programs that has been studied for
more than a decade. A type-based analysis assumes that the program type checks, and the …

This introduction describes the demand for better application programming technology
before we present the hypothesis that orthogonal persistence might be such a technology …

We introduce a new approach to computing interprocedural modification side effects for
Java programs in the presence of dynamic class loading. When compile-time unknown …

A lifetime optimal algorithm, called MC-PRE, is presented for the first time that performs
speculative PRE based on edge profiles. In addition to being computationally optimal in the …