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
Natural Sciences & Engineering
Natural Sciences & Engineering

Team

Alessio Sclocco
Lead Research Software Engineer
Netherlands eScience Center
Ben van Werkhoven
Ben van Werkhoven
Lead RSE
Netherlands eScience Center
AW
Anton Wijs
Principal investigator
Eindhoven University of Technology
MH
Marieke Huisman
Principal investigator
University of Twente
Rena Bakhshi
Programme Manager
Netherlands eScience Center

Related projects

ConFu

Consolidating and Future-proofing Kernel Tuner by developing Software Engineering Best Practices

Updated 24 months ago
Finished

Enhance Your Research Alliance (EYRA) Benchmark Platform

Supporting researchers to easily set-up benchmarks

Updated 20 months ago
Finished

SecConNet Smart

Smart, secure container networks for trusted big data sharing

Updated 24 months ago
Finished

PROCESS

Providing computing solutions for exascale challenges

Updated 24 months ago
Finished

AutoGraph

Automated multi-scale graph manipulation with topological and flow-based methods

Updated 20 months ago
Finished

City Cloud

From the Things to the Cloud and back

Updated 20 months ago
Finished

A methodology and ecosystem for many-core programming

Boosting the performance of current and future programs

Updated 20 months ago
Finished

Visual Storytelling of Big Imaging Data

Storytelling as a means of visual data communication

Updated 22 months ago
Finished

Massive Point Clouds for eSciences

Using point clouds to their full potential

Updated 21 months ago
Finished

Generic eScience Technologies

Making breakthroughs in data-driven research

Updated 21 months ago
Finished

eStep

Developing an eScience technology platform

Updated 1 month ago
Finished

Related software

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 14 months ago
110 15