PAC: Program Analysis for Approximation-aware Compilation | IEEE Conference Publication | IEEE Xplore