CARP- Correct and Accurate Accelerator Programming