Search
Now showing items 11-20 of 35
Synthesis of Randomized Accuracy-Aware Map-Fold Programs
(2013-12-29)
We present Syndy, a technique for automatically synthesizing randomized map/fold computations that trade accuracy for performance. Given a specification of a fully accurate computation, Syndy automatically synthesizes ...
On Randomized Path Coverage of Configuration Spaces
(2013-11-18)
We present a sampling-based algorithm that generates a set of locally-optimal paths that differ in visibility.
Bridging Utility Maximization and Regret Minimization
(2013-12-03)
We relate the strategies obtained by (1) utility maximizers who use regret to refine their set of undominated strategies, and (2) regret minimizers who use weak domination to refine their sets of regret-minimizing strategies.
Jigsaw: Scalable Software-Defined Caches (Extended Version)
(2013-09-01)
Shared last-level caches, widely used in chip-multiprocessors (CMPs), face two fundamental limitations. First, the latency and energy of shared caches degrade as the system scales up. Second, when multiple workloads share ...
Does invariant recognition predict tuning of neurons in sensory cortex?
(2013-08-06)
Tuning properties of simple cells in cortical V1 can be described in terms of a "universal shape" characterized by parameter values which hold across different species. This puzzling set of findings begs for a general ...
Sound Input Filter Generation for Integer Overflow Errors
(2013-08-06)
We present a system, SIFT, for generating input filters that nullify integer overflow errors associated with critical program sites such as memory allocation or block copy sites. SIFT uses a static program analysis to ...
Harvesting Application Information for Industry-Scale Relational Schema Matching
(2013-09-10)
Consider the problem of migrating a company's CRM or ERP database from one application to another, or integrating two such databases as a result of a merger. This problem requires matching two large relational schemas with ...
Coded Emulation of Shared Atomic Memory for Message Passing Architectures
(2013-07-17)
This paper considers the communication and storage costs of emulating atomic (linearizable) read/write shared memory in distributed message-passing systems. We analyze the costs of previously-proposed algorithms by Attiya, ...
Mouse Behavior Recognition with The Wisdom of Crowd
(2013-09-19)
In this thesis, we designed and implemented a crowdsourcing system to annotatemouse behaviors in videos; this involves the development of a novel clip-based video labeling tools, that is more efficient than traditional ...
Distributed Shared State with History Maintenance
(2013-10-08)
Shared mutable state is challenging to maintain in a distributed environment. We develop a technique, based on the Operational Transform, that guides independent agents into producing consistent states through inconsistent ...