Martin Rinard

TL;DR: The implemented SpeedPress compiler can automatically apply code perforation to existing computations with no developer intervention whatsoever and the result is a transformed computation that can respond almost immediately to a range of increased performance demands while keeping any resulting output distortion within acceptable user-defined bounds.

TL;DR: Experimental results using seven donor applications to eliminate ten errors in seven recipient applications highlight the ability of CP to transfer code across applications to eliminated out of bounds access, integer overflow, and divide by zero errors.

TL;DR: Chisel as discussed by the authors is a system for reliability and accuracy-aware optimization of approximate computational kernels that run on approximate hardware platforms, given a combined reliability and/or accuracy specification, automatically selects approximate kernel operations to synthesize an approximate computation that minimizes energy consumption.

TL;DR: The results indicate that automatic constraint generation produces constraints that enable programs to execute successfully through data structure consistency errors, and compared to manual specification, automatic generation can produce more comprehensive sets of constraints that cover a larger range ofData structure consistency properties.

TL;DR: The experimental results show that the implemented optimization algorithm enables Chisel to optimize the authors' set of benchmark kernels to obtain energy savings from 8.7% to 19.8% compared to the fully reliable kernel implementations while preserving important reliability guarantees.