Pooja Roy, Jianxing Wang, Weng-Fai Wong: PAC: Program Analysis for Approximation-aware Compilation. CASES 2015: 69-78