Memory access protocols: certified data-race freedom for GPU kernels

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)134-171
Number of pages38
JournalFormal Methods in System Design
Volume63
Issue number1-3
DOIs
StatePublished - Oct 2024

ASJC Scopus Subject Areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture

Keywords

  • Behavioural types
  • Data-race
  • GPU
  • Static analysis

Fingerprint

Dive into the research topics of 'Memory access protocols: certified data-race freedom for GPU kernels'. Together they form a unique fingerprint.

Cite this