The focus of this dissertation is the analysis of and verification of discrete time stochastic
systems using martingales. Martingale theory yields a powerful set of tools that have recently …

A number of approximate program transformations have recently emerged that enable
transformed programs to trade accuracy of their results for increased performance by …

We present a new synchronization-free space-subdivision tree construction algorithm.
Despite data races, this algorithm produces trees that are consistent enough for the client …

Processor designs for portable, ubiquitous computing devices such as cell phones have
widely incorporated hardware accelerators to support energy-efficient execution of common …

A large part of the development effort of compute-intensive applications is devoted to
optimization, ie, achieving the computation within a finite budget of time, space or energy …

Energy efficiency is a key concern in the design of modern computer systems. One
promising approach to energy-efficient computation, approximate computing, trades off …

Packet delay variation (or delay jitter) measurements are used by applications to estimate
the service quality received from the network, or by network operators to monitor network …

Adults with intellectual disabilities have historically faced various challenges and barriers in
developing romantic or sexual relationships despite expressing their desire to have these …

Many modern applications (such as multimedia processing, machine learning, and big data
analytics) exhibit a natural tradeoff between the accuracy of the results they produce and the …

We present Syndy, a technique for automatically synthesizing randomized map/fold
computations that trade accuracy for performance. Given a specification of a fully accurate …