Virtual machines face significant performance challenges beyond those confronted by
traditional static optimizers. First, portable program representations and dynamic language …

Published in 1996, Richard Jones's Garbage Collection was a milestone in the area of
automatic memory management. Its widely acclaimed successor, The Garbage Collection …

We propose a low-overhead sampling infrastructure for gathering information from the
executions experienced by a program's user community. Several example applications …

Profiling can accurately analyze program behavior for select data inputs. We show that
profiling can also predict program locality for inputs other than profiled ones. Here locality is …

This paper proposes a strategy for automatically fixing faults in a program by combining the
processes of mutation and fault localization. Statements that are ranked in order of their …

Statistical debugging aims to automate the process of isolating bugs by profiling several
runs of the program and using statistical analysis to pinpoint the likely causes of failure. In …

Data races are one of the most common and subtle causes of pernicious concurrency bugs.
Static techniques for preventing data races are overly conservative and do not scale well to …

Sampling has been successfully used to identify performance optimization opportunities. We
would like to apply similar techniques to check program correctness. Unfortunately …

Test case prioritization is used in regression testing to schedule the execution order of test
cases so as to expose faults earlier in testing. Over the past few years, many test case …

This paper describes a decentralized consistency protocol for survivable storage that
exploits local data versioning within each storage-node. Such versioning enables the …