Accuracy-aware optimization of approximate programs
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2016
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/101577 |
| _version_ | 1811072172275269632 |
|---|---|
| author | Misailović, Saša |
| author2 | Martin C. Rinard. |
| author_facet | Martin C. Rinard. Misailović, Saša |
| author_sort | Misailović, Saša |
| collection | MIT |
| description | Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015. |
| first_indexed | 2024-09-23T09:01:45Z |
| format | Thesis |
| id | mit-1721.1/101577 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T09:01:45Z |
| publishDate | 2016 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/1015772019-04-10T20:19:02Z Accuracy-aware optimization of approximate programs Misailović, Saša Martin C. Rinard. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015. Cataloged from PDF version of thesis. Includes bibliographical references (pages 168-176). 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 application's execution time or energy consumption. These applications allow us to investigate new, more aggressive optimization approaches. This dissertation presents a foundation of program optimization systems that expose and profitably exploit tradeoffs between the accuracy of the results that the program produces and the time and energy required to produce those results. These systems apply accuracy-aware program transformations that intentionally change the semantics of optimized programs. A key challenge to applying accuracy-aware transformations is understanding the uncertainty that the transformations introduce into the program's execution. To address this challenge, this dissertation presents program analysis techniques that quantify the uncertainty introduced by program transformations. First, this dissertation identifies the properties of subcomputations that are amenable to loop perforation (an accuracy-aware transformation that skips loop iterations). Second, it presents how static analysis can derive expressions that characterize the frequency and magnitude of errors. Third, it presents a system that automatically applies accuracy-aware transformations by formulating accuracy-aware program optimization as standard mathematical optimization problems. The experimental results show that accuracy-aware transformations can help uncover significant performance and energy improvements with acceptable accuracy losses. by Saša Misailović. Ph. D. 2016-03-03T21:10:06Z 2016-03-03T21:10:06Z 2015 2015 Thesis http://hdl.handle.net/1721.1/101577 940777341 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 176 pages application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Misailović, Saša Accuracy-aware optimization of approximate programs |
| title | Accuracy-aware optimization of approximate programs |
| title_full | Accuracy-aware optimization of approximate programs |
| title_fullStr | Accuracy-aware optimization of approximate programs |
| title_full_unstemmed | Accuracy-aware optimization of approximate programs |
| title_short | Accuracy-aware optimization of approximate programs |
| title_sort | accuracy aware optimization of approximate programs |
| topic | Electrical Engineering and Computer Science. |
| url | http://hdl.handle.net/1721.1/101577 |
| work_keys_str_mv | AT misailovicsasa accuracyawareoptimizationofapproximateprograms |