research
∙
01/15/2022
View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version)
The rise of persistent memory is disrupting computing to its core. Our w...
share
research
∙
09/13/2021
Specifying and Testing GPU Workgroup Progress Models
As GPU availability has increased and programming support has matured, a...
research
∙
10/01/2019
ARCHITECT: Arbitrary-precision Hardware with Digit Elision for Efficient Iterative Compute
Many algorithms feature an iterative loop that converges to the result o...
research
∙
10/13/2017
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
Weak memory models provide a complex, system-centric semantics for concu...
research
∙
10/13/2017