activity
20132025
most citedPersistent Memory Transactions

16 citations · 58 across the 19 of their papers we have counts for

collaborators

19 papers

cs.DC2025

Hapax Locks : Value-Based Mutual Exclusion

Dave Dice, Alex Kogan

We present Hapax Locks, a novel locking algorithm that is simple, enjoys constant-time arrival and unlock paths, provides FIFO admission order, and which is also space efficient an…

cs.DC2025

Semaphores Augmented with a Waiting Array

Dave Dice, Alex Kogan

Semaphores are a widely used and foundational synchronization and coordination construct used for shared memory multithreaded programming. They are a keystone concept, in the sense…

cs.DC2025

Reciprocating Locks

Dave Dice, Alex Kogan

We present "Reciprocating Locks", a novel mutual exclusion locking algorithm, targeting cache-coherent shared memory (CC), that enjoys a number of desirable properties. The doorway…

cs.OS2024

Exploring Time-Space trade-offs for synchronized in Lilliput

Dave Dice, Alex Kogan

In the context of Project Lilliput, which attempts to reduce the size of object header in the HotSpot Java Virtual Machine (JVM), we explore a curated set of synchronization algori…

cs.LG2022★ 1 cited

FedPerm: Private and Robust Federated Learning by Parameter Permutation

Hamid Mozaffari, Virendra J. Marathe, Dave Dice

Federated Learning (FL) is a distributed learning paradigm that enables mutually untrusting clients to collaboratively train a common machine learning model. Client data privacy is…

cs.DC2021

Intra-process Caching and Reuse of Threads

Dave Dice, Alex Kogan

Creating and destroying threads on modern Linux systems incurs high latency, absent concurrency, and fails to scale as we increase concurrency. To address this concern we introduce…