December 2011 saw the kick-off of an ambitious research project called “CARP: Correct and Efficient Accelerator Programming”, which aims to boost the programmability of accelerator hardware, such as graphics processing units (GPUs), by innovating in programming language design and implementation, as well as formal verification techniques. Funded by the European Commission’s Seventh Framework Programme (FP7), the consortium, which consists of eight partners—including Khronos members ARM, Imperial College London and Rightware—seeks to provide a unified flow for developing correct and efficient accelerator software, thus increasing reliability and energy efficiency of computing systems.