A framework for quality-adaptive media streaming--encode once, stream anywhere

Operating system support for low-latency streaming

High resolution voice transformation

A framework for representing non-stationary data with mixtures of linear models

Value recursion in monadic computations

Punctuated data streams

Knowledge discovery for time series

High-Level Abstractions for Low-Level Programming

Exploiting deferred destruction an analysis of read-copy-update techniques in operating system kernels