Towards verified construction of correct and optimised GPU software

Marieke Huisman, Anton Wijs

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Abstract

Techniques are required that support developers to produce GPU software that is both functionally correct and high-performing. We envision an integration of push-button formal verification techniques into a Model Driven Engineering workflow. In this paper, we present our vision on this topic, and how we plan to make steps in that direction in the coming five years.

Original languageEnglish
Title of host publicationFTfJP 2020
Subtitle of host publicationProceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs
EditorsWytse Oortwijn
PublisherAssociation for Computing Machinery (ACM)
Pages10-14
Number of pages5
ISBN (Electronic)9781450381864
DOIs
Publication statusPublished - 23 Jul 2020
Event22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2020 - Online
Duration: 23 Jul 202023 Jul 2020
Conference number: 22

Workshop

Workshop22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2020
Abbreviated titleFTfJP
Period23/07/2023/07/20

Keywords

  • Code generation
  • Formal verification
  • GPU software
  • Model transformation

Fingerprint Dive into the research topics of 'Towards verified construction of correct and optimised GPU software'. Together they form a unique fingerprint.

Cite this