Synthesis of Randomized Accuracy-Aware Map-Fold Programs
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 comput...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Published: |
2013
|
| Online Access: | http://hdl.handle.net/1721.1/83397 |
| _version_ | 1826204492988678144 |
|---|---|
| author | Misailovic, Sasa Rinard, Martin |
| author2 | Martin Rinard |
| author_facet | Martin Rinard Misailovic, Sasa Rinard, Martin |
| author_sort | Misailovic, Sasa |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T12:56:28Z |
| id | mit-1721.1/83397 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T12:56:28Z |
| publishDate | 2013 |
| record_format | dspace |
| spelling | mit-1721.1/833972019-04-12T07:16:07Z Synthesis of Randomized Accuracy-Aware Map-Fold Programs Misailovic, Sasa Rinard, Martin Martin Rinard Computer Architecture 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. 2013-12-30T20:00:02Z 2013-12-30T20:00:02Z 2013-12-29 2013-12-30T20:00:02Z http://hdl.handle.net/1721.1/83397 MIT-CSAIL-TR-2013-031 22 p. application/pdf |
| spellingShingle | Misailovic, Sasa Rinard, Martin Synthesis of Randomized Accuracy-Aware Map-Fold Programs |
| title | Synthesis of Randomized Accuracy-Aware Map-Fold Programs |
| title_full | Synthesis of Randomized Accuracy-Aware Map-Fold Programs |
| title_fullStr | Synthesis of Randomized Accuracy-Aware Map-Fold Programs |
| title_full_unstemmed | Synthesis of Randomized Accuracy-Aware Map-Fold Programs |
| title_short | Synthesis of Randomized Accuracy-Aware Map-Fold Programs |
| title_sort | synthesis of randomized accuracy aware map fold programs |
| url | http://hdl.handle.net/1721.1/83397 |
| work_keys_str_mv | AT misailovicsasa synthesisofrandomizedaccuracyawaremapfoldprograms AT rinardmartin synthesisofrandomizedaccuracyawaremapfoldprograms |