Towards a Formalization of the HSA Memory Model in the cat Language
Résumé
This document describes the HSA memory model formalization in the cat language. The cat language is domain-specific and allows users to define axiomatic models by stating constraints over the candidate executions of a concurrent program.