-
Chapter and Conference Paper
Ordered Scheduling in Control-Flow Distributed Transactional Memory
Consider the control-flow model of transaction execution in a distributed system modeled as a communication graph where shared objects positioned at nodes of the graph are immobile but the transactions accessing ...
-
Chapter and Conference Paper
Brief Announcement Blockguard: Adaptive Blockchain Security
We change the security of blockchain transactions by varying the size of consensus committees. To improve performance, such committees operate concurrently. We present two algorithms that allow adaptive securi...
-
Chapter and Conference Paper
Load Balanced Distributed Directories
We present LB-Spiral, a novel distributed directory protocol for shared objects, suitable for large-scale distributed shared memory systems. Each shared object has an owner node that can modify its value. The own...