research
∙
05/21/2018
Constructing a Weak Memory Model
Weak memory models are a consequence of the desire on part of architects...
share
research
∙
10/11/2017
Weak Memory Models with Matching Axiomatic and Operational Definitions
Memory consistency models are notorious for being difficult to define pr...
research
∙
07/19/2017
Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility
The memory model for RISC-V, a newly developed open source ISA, has not ...
research
∙
05/16/2017
An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution
There has been great progress recently in formally specifying the memory...
research
∙
06/17/2016
