research
∙
06/02/2023
Specifying and Verifying Persistent Libraries
We present a general framework for specifying and verifying persistent l...
share
research
∙
11/14/2022
The Path to Durable Linearizability
There is an increasing body of literature proposing new and efficient pe...
research
∙
02/12/2021
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report)
This technical report contains material accompanying our work with same ...
research
∙
12/02/2020
Making Weak Memory Models Fair
We observe that the standard notion of thread fairness is insufficient f...
research
∙
07/20/2020
The Decidability of Verification under Promising 2.0
In PLDI'20, Lee et al. introduced the promising semantics PS 2.0 of the...
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
Bridging the Gap Between Programming Languages and Hardware Weak Memory Models
We develop a new intermediate weak memory model, IMM, as a way of modula...
research
∙
05/16/2018
