research
∙
02/01/2023
Constant RMR Recoverable Mutex under System-wide Crashes
We design two Recoverable Mutual Exclusion (RME) locks for the system-wi...
share
research
∙
02/01/2023
A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms
Linearizability has been the long standing gold standard for consistency...
research
∙
01/31/2023
Durable Algorithms for Writable LL/SC and CAS with Dynamic Joining
We present durable implementations for two well known universal primitiv...
research
∙
12/05/2020
Recoverable Mutual Exclusion with Abortability
Recent advances in non-volatile main memory (NVRAM) technology have spur...
research
∙
04/03/2019
Recoverable Mutual Exclusion with Sub-logarithmic RMR Complexity on CC and DSM machines
In light of recent advances in non-volatile main memory technology, Gola...
research
∙
09/12/2018