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
∙
04/22/2021
Nash Equilibria of The Multiplayer Colonel Blotto Game on Arbitrary Measure Spaces
The Colonel Blotto Problem proposed by Borel in 1921 has served as a wid...
research
∙
02/12/2020
The Multiplayer Colonel Blotto Game
We initiate the study of the natural multiplayer generalization of the c...
research
∙
06/21/2019
Learning from weakly dependent data under Dobrushin's condition
Statistical learning theory has largely focused on learning and generali...
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
∙
11/26/2018
HOGWILD!-Gibbs can be PanAccurate
Asynchronous Gibbs sampling has been recently shown to be fast-mixing an...
research
∙
09/12/2018