Abstract We present taffo, a framework that automatically performs precision tuning to exploit the performance/accuracy trade-off. In order avoid expensive dynamic analyses, taffo leverages programmer annotations which encapsulate domain knowledge about conditions under software being optimized will run. As result, is easy use and provides state-of-the-art optimization efficacy in vari...