Title:
Expectation-Oriented Framework for Automating Approximate Programming
Expectation-Oriented Framework for Automating Approximate Programming
| dc.contributor.author | Esmaeilzadeh, Hadi | |
| dc.contributor.author | Ni, Kangqi | |
| dc.contributor.author | Naik, Mayur | |
| dc.contributor.corporatename | Georgia Institute of Technology. College of Computing | en_US |
| dc.contributor.corporatename | Georgia Institute of Technology. School of Computer Science | en_US |
| dc.date.accessioned | 2013-12-03T20:48:01Z | |
| dc.date.available | 2013-12-03T20:48:01Z | |
| dc.date.issued | 2013 | |
| dc.description | Research areas: Programming Languages, Computer Architecture | en_US |
| dc.description.abstract | This paper describes ExpAX, a framework for automating approximate programming based on programmer-specified error expectations. Three components constitute ExpAX: (1) a programming model based on a new kind of program specification, which we refer to as expectations. Our programming model enables programmers to implicitly relax the accuracy constraints without explicitly marking operations approximate; (2) a novel approximation safety analysis that automatically identifies a safe-to-approximate subset of the program operations; and (3) an optimization that automatically marks a subset of the safe-to-approximate operations as approximate while considering the error expectation. Further, we formulate the process of automatically marking operations as approximate as an optimization problem and provide a genetic algorithm to solve it. We evaluate ExpAX using a diverse set of applications and show that it can provide significant energy savings while improving the quality-of-result degradation. ExpAX automatically excludes the safe-to-approximate operations that if approximated lead to significant quality degradation. | en_US |
| dc.embargo.terms | null | en_US |
| dc.identifier.uri | http://hdl.handle.net/1853/49755 | |
| dc.language.iso | en_US | en_US |
| dc.publisher | Georgia Institute of Technology | en_US |
| dc.relation.ispartofseries | SCS Technical Report ; GT-CS-13-07 | en_US |
| dc.subject | Approximate computing | en_US |
| dc.subject | Constraints | en_US |
| dc.subject | ExpAX | en_US |
| dc.subject | Expectation-oriented programming | en_US |
| dc.subject | Genetic algorithms | en_US |
| dc.subject | Optimization | en_US |
| dc.subject | Program safety analysis | en_US |
| dc.subject | Program specification | en_US |
| dc.title | Expectation-Oriented Framework for Automating Approximate Programming | en_US |
| dc.type | Text | |
| dc.type.genre | Technical Report | |
| dspace.entity.type | Publication | |
| local.contributor.corporatename | College of Computing | |
| local.contributor.corporatename | School of Computer Science | |
| local.relation.ispartofseries | College of Computing Technical Report Series | |
| local.relation.ispartofseries | School of Computer Science Technical Report Series | |
| relation.isOrgUnitOfPublication | c8892b3c-8db6-4b7b-a33a-1b67f7db2021 | |
| relation.isOrgUnitOfPublication | 6b42174a-e0e1-40e3-a581-47bed0470a1e | |
| relation.isSeriesOfPublication | 35c9e8fc-dd67-4201-b1d5-016381ef65b8 | |
| relation.isSeriesOfPublication | 26e8e5bc-dc81-469c-bd15-88e6f98f741d |