[PDF][PDF] Towards Unified Analysis of GPU Consistency
H Tong, N Gavrilenko, HP de León, K Heljanko - 2024 - hernanponcedeleon.github.io
After more than 30 years of research, there is a solid understanding of the consistency
guarantees given by CPU systems. Unfortunately, the same is not yet true for GPUs. The …
guarantees given by CPU systems. Unfortunately, the same is not yet true for GPUs. The …
[PDF][PDF] Towards relaxed memory semantics for the Autonomous Data Language
This work presents an alternative operational semantics for the Autonomous Data Language
(AuDaLa) with relaxed memory consistency and incoherent memory. We show how the …
(AuDaLa) with relaxed memory consistency and incoherent memory. We show how the …
Puss In Boots: on formalising Arm's Virtual Memory System Architecture (extended version)
J Alglave, R Grisenthwaite, A Khyzha, L Maranget… - 2024 - inria.hal.science
We present our formalisation of Arm's Virtual Memory System Architecture (VMSA). This
work has been developed with, and ratified by, Arm and its partners, and is now part of the …
work has been developed with, and ratified by, Arm and its partners, and is now part of the …
[PDF][PDF] Formalisation of a new weak Semantics for AuDaLa
GP Leemrijse, TTP Franken, T Neele - tneele.com
The Autonomous Data Language (AuDaLa) is a recently introduced programming language
and is supported by an operational semantics. This work presents a new operational …
and is supported by an operational semantics. This work presents a new operational …