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 - Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2020, co-located with ECOOP 2020/SPLASH 2020
EditorsWytse Oortwijn
PublisherAssociation for Computing Machinery, Inc
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, co-located with ECOOP 2020/SPLASH 2020 - Virtual, Online, United States
Duration: 23 Jul 2020 → …

Conference

Conference22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2020, co-located with ECOOP 2020/SPLASH 2020
CountryUnited States
CityVirtual, Online
Period23/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