• Publications
  • Influence
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services
TLDR
We prove this conjecture in the asynchronous network model, and then discuss solutions to this dilemma in the partially synchronous model. Expand
  • 1,637
  • 99
  • PDF
A Secure Sharding Protocol For Open Blockchains
TLDR
We propose a new distributed agreement protocol for permission-less blockchains called ELASTICO, which scales almost linearly with available computation. Expand
  • 512
  • 76
  • PDF
Rambo II: rapidly reconfigurable atomic memory for dynamic networks
TLDR
This paper presents a new algorithm implementing reconfigurable atomic read/write memory for highly dynamic environments. Expand
  • 98
  • 7
  • PDF
Rambo: a robust, reconfigurable atomic memory service for dynamic networks
TLDR
In this paper, we present Rambo, an algorithm for emulating a read/write distributed shared memory in a dynamic, rapidly changing environment. Expand
  • 84
  • 7
  • PDF
Concurrent cache-oblivious b-trees
TLDR
This paper presents concurrent cache-oblivious (CO) B-trees that are linearizable, meaning that completed operations appear to an outside viewer as though they occurred in some serialized order. Expand
  • 96
  • 6
  • PDF
On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs
TLDR
A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. Expand
  • 53
  • 6
  • PDF
GeoQuorums: implementing atomic memory in mobile ad hoc networks
TLDR
We present a new approach, the GeoQuorums approach, for implementing atomic read/write shared memory in mobile ad hoc networks. Expand
  • 102
  • 5
  • PDF
Broadcast in the Ad Hoc SINR Model
TLDR
An increasing amount of attention is being turned toward the study of distributed algorithms in wireless network models based on calculations of the signal to noise and interference ratio SINR. Expand
  • 49
  • 5
  • PDF
The wireless synchronization problem
TLDR
In this paper, we study the wireless synchronization problem, which requires devices activated at different times on a congested single-hop radio network to synchronize their round numbering. Expand
  • 47
  • 5
  • PDF
The virtual node layer: a programming abstraction for wireless sensor networks
TLDR
The Virtual Node Layer programming abstraction provides programmable, predictable automata--virtual nodes--emulated by the low-level network nodes. Expand
  • 44
  • 5
  • PDF