Synthesis of Randomized Accuracy-Aware Map-Fold Programs
Name
MIT-CSAIL-TR-2013-031.pdf
Size
284.51 KB
Format
Adobe PDF
Checksum (MD5)
f15a52183f0b32afd3bb54f411c22002
Download all files submitted through automated deposit
Author(s)
Misailovic, Sasa
Rinard, Martin
Advisor(s)
Martin Rinard
Date Issued
December 29, 2013
Series/Report no.
MIT-CSAIL-TR-2013-031
Abstract
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 approximate implementations of map and fold tasks, explores the approximate computation space that these approximations induce, and derives an accuracy versus performance tradeoff curve that characterizes the explored space. Each point on the curve corresponds to an approximate randomized program configuration that realizes the probabilistic error and time bounds associated with that point.
Persistent DSpace Link
