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.
- Paper accepted iFM 2020Our 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 […]
- August 2020 (1)