Verified construction of correct and optimised parallel software

Welcome! On this site, we keep track of the progress of the ChEOPS project. Look at the list of publications, the latest news or the people that are involved.

Latest News

  • Paper accepted iFM 2020
    Our paper with the name “Formal methods for GPGPU programming: is the demand met?” has been accepted on the Integrated Formal Methods conference, which takes place 16–20 November 2020. In this paper, we looked at Stack Overflow, to see what issues developers struggled with whilst programming for GPUs, using OpenCL or CUDA. We made an […]

New Archive