Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models

von Armstrong, Alasdair
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Relaxed virtual memory in Armv8-A

von Simner, Ben
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures

von Simner, Ben
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)