research
∙
12/02/2020
Making Weak Memory Models Fair
We observe that the standard notion of thread fairness is insufficient f...
share
research
∙
05/21/2020
Repairing and Mechanising the JavaScript Relaxed Memory Model
Modern JavaScript includes the SharedArrayBuffer feature, which provides...
research
∙
11/15/2019
Reconciling Event Structures with Modern Multiprocessors
Weakestmo is a recently proposed memory consistency model that uses even...
research
∙
07/20/2018