CHEOPS

Verified construction of correct and optimised parallel software

GPUs have an increasingly big impact on industry and academia, due to their great computational capabilities. However, in practice, one usually needs to have expert knowledge on GPU architectures to optimally gain advantage of those capabilities. At the Eindhoven University of Technology, Wijs will work on modelling GPU applications using a Domain Specific Language, formally verifying the correctness of the models, and automatically generating GPU code. At the University of Twente, Huisman will work on the structured optimisation of GPU code, while ensuring that functional correctness is preserved. Existing formal verification techniques, model checking and code verification, will be combined to create, for the first time, a complete end-to-end development workflow for GPU applications.

To ensure the practical effectiveness of the resulting workflow, a users committee, consisting of SURFsara, the Netherlands eScience Center, Stream HPC, and CodePlay (UK), will provide real-life cases and provide feedback throughout the project.

Participating organisations

Eindhoven University of Technology
Netherlands eScience Center
University of Twente

Team

Contact person

BvW

Ben van Werkhoven

Netherlands eScience Center
Mail Ben
AW
Anton Wijs
Principal investigator
Eindhoven University of Technology
BvW
Ben van Werkhoven
Senior eScience Research Engineer
Netherlands eScience Center
MH
Marieke Huisman
Principal investigator
University of Twente
RB
Rena Bakhshi
Programme Manager
Netherlands eScience Center

Related projects

Enhance Your Research Alliance (EYRA) Benchmark Platform

Supporting researchers to easily set-up benchmarks

Updated 2 months ago
Finished

SecConNet Smart

Smart, secure container networks for trusted big data sharing

Updated 1 week ago
Finished

A methodology and ecosystem for many-core programming

Boosting the performance of current and future programs

Updated 2 months ago
Finished

Generic eScience Technologies

Making breakthroughs in data-driven research

Updated 2 months ago
Finished

Related tools

Kernel Tuner

KE

Kernel Tuner greatly simplifies the development of highly-optimized and auto-tuned CUDA, OpenCL, and C code, supporting many advanced use-cases and optimization strategies that speed up the auto-tuning process.

Updated 3 weeks ago
30 mentions, 13 contributors