Expectation-Oriented Framework for Automating Approximate Programming

Show full item record

Please use this identifier to cite or link to this item: http://hdl.handle.net/1853/49755

Title: Expectation-Oriented Framework for Automating Approximate Programming
Author: Esmaeilzadeh, Hadi ; Ni, Kangqi ; Naik, Mayur
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.
Description: Research areas: Programming Languages, Computer Architecture
Type: Technical Report
URI: http://hdl.handle.net/1853/49755
Date: 2013
Contributor: Georgia Institute of Technology. College of Computing
Georgia Institute of Technology. School of Computer Science
Relation: SCS Technical Report ; GT-CS-13-07
Publisher: Georgia Institute of Technology
Subject: Approximate computing
Constraints
ExpAX
Expectation-oriented programming
Genetic algorithms
Optimization
Program safety analysis
Program specification

All materials in SMARTech are protected under U.S. Copyright Law and all rights are reserved, unless otherwise specifically indicated on or in the materials.

Files in this item

Files Size Format View
GT-CS-13-07.pdf 617.6Kb PDF View/ Open

This item appears in the following Collection(s)

Show full item record